A pseudo differential operator is an extension of the concept of the differential operator . They are an important part of the theory of partial differential equations . The basics of the theory come from Lars Hörmander . They were introduced in 1965 by Joseph Kohn and Louis Nirenberg . Your studies form an important part of micro-local analysis .
motivation
Linear differential operators with constant coefficients
Consider the linear differential operator with constant coefficients
![p (D): = \ sum_ \ alpha a_ \ alpha \, D ^ \ alpha](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8d4b56496413eb2fb63cadc52046cf3ebf26fb8)
who operates in the space of smooth functions with compact vehicle in . It can be used as a composition of a Fourier transform , a simple multiplication with the polynomial (the so-called symbol )
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![p (\ xi) = \ sum_ \ alpha a_ \ alpha \, \ xi ^ \ alpha](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6fed05a1a9f70deebbc3f37e1392a4481142338)
and the inverse Fourier transform:
![(1) \ quad p (D) u (x) = \ frac {1} {(2 \ pi) ^ n} \ int _ {\ R ^ n} \ int _ {\ R ^ n} \ mathrm e ^ {\ mathrm i (x - y) \ xi} p (\ xi) u (y) \, \ mathrm dy \, \ mathrm d \ xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/751eea4190d14827af24f9605bfd1f5b5e3d30f6)
to be written. It is
a multi-index ,
a differential operator,
represents the derivative with respect to th component and
are complex numbers.
![\ alpha = (\ alpha_1, \ dots, \ alpha_n) \ in \ N_0 ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/5faee3f16b785f2f545df1a4790bbada882b2c6b)
![D ^ \ alpha = (-i \ partial_1) ^ {\ alpha_1} \ dots (-i \ partial_n) ^ {\ alpha_n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5be9871da6a1172ecb86d588876423c68db173a9)
![\ partial_j](https://wikimedia.org/api/rest_v1/media/math/render/svg/57023ce0c60b39ddd06853b983b3f1dcc04db740)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![a_ \ alpha \,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab65fe582d11fcb0691ca0549dca6d02bb85e943)
Analog is a pseudo differential operator with a symbol on an operator of the form
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![p (x, \ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/657d9ea5d51566bab68b4df5eb1c2c68167a851e)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
-
,
with a more general function in the integrand, as explained below.
![p](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- Derivation of formula (1)
The Fourier transform of a smooth function
, with compact support in
, is
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ hat u (\ xi): = \ int \ mathrm e ^ {- \ mathrm iy \ xi} u (y) \, \ mathrm dy](https://wikimedia.org/api/rest_v1/media/math/render/svg/aecbd5bc8729beca514698d2d571841cce4ce803)
and inverse Fourier transform results
![u (x) = \ frac {1} {(2 \ pi) ^ n} \ int \ mathrm e ^ {\ mathrm ix \ xi} \ hat u (\ xi) \, \ mathrm d \ xi = \ frac { 1} {(2 \ pi) ^ n} \ int \ int \ mathrm e ^ {\ mathrm i (x - y) \ xi} u (y) \, \ mathrm dy \, \ mathrm d \ xi \ ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/82104d22c15c622bff73022fff6840a2d2d34190)
If one applies to this representation of and uses
![p (D)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d3c836183257f935db4d8d46fae3750b21dbc97)
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![p (D) \, \ mathrm e ^ {\ mathrm i (x - y) \ xi} = \ mathrm e ^ {\ mathrm i (x - y) \ xi} \, p (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c79645b7e9e161da595d9641d59b53844bfa23f)
one obtains (1).
Representation of solutions to partial differential equations
To a partial differential equation
![p (D) \, u = f](https://wikimedia.org/api/rest_v1/media/math/render/svg/b70edd56e46be26666e37071651bf88c8dee7009)
to solve both sides are (formally) Fourier transformed, whereby algebraic equations result:
-
.
If the symbol is
always not equal to zero for
, one can use
:
![p (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/722a5061e1a6b168527e738b8419a82fa7a770cb)
![\ xi \ in \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a718e9c68da4acb51d12eb9d9474bd5aed8256)
![p (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/722a5061e1a6b168527e738b8419a82fa7a770cb)
to divide:
![\ hat u (\ xi) = \ frac {1} {p (\ xi)} \ hat f (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/de494f71b061310e244d0b03544872b2ab8dd0c6)
Using the inverse Fourier transform, the solution is:
-
.
The following is assumed:
-
is a linear differential operator with constant coefficients,
- its symbol is never zero for ,
![p (\ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/722a5061e1a6b168527e738b8419a82fa7a770cb)
![\ xi \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/16e60a602d7052b3a63885bc057205f82ee74894)
- both and have well-defined Fourier transforms.
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
The latter assumption can be weakened with the theory of distributions . The first two assumptions can be weakened as follows:
Insert the Fourier transform of f in the last formula :
-
.
This is similar to formula (1), only that is not a polynomial, but a function of a more general kind.
![\ tfrac {1} {p (\ xi)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d01a700526a6683ac32112f8e54b6727c55a0202)
Definition of the pseudo differential operator
The symbol class
Is an infinitely often differentiable function on
, open, with
![a (x, \ xi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7ddd6243ebed602789695c98ba65be0debddd90)
![\ Omega \ times \ mathbb {R} ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6bf9f1c88504a47081e93f1dd169aca6166782b)
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
![| \ partial_ \ xi ^ \ alpha \ partial_x ^ \ beta a (x, \ xi) | \ leq C _ {\ alpha, \ beta, K} \, (1 + | \ xi |) ^ {m - | \ alpha |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/337566db2bf3799c63182a9f9a9cb3dbbb5e4188)
for all , where is compact, for all , all multi-indices , a constant
and real numbers m, then a belongs to the symbol class .
![x \ in K](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9075ef2df706bf2764f76182a1ddf55ff231a92)
![K \ subset \ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/685a8b4e07d58637ae0e38517fc1009c614677b3)
![\ xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0b461aaf61091abd5d2c808931c48b8ff9647db)
![\ alpha, \ beta](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4b46b57cfa0011b643037751809904d915c1b48)
![C _ {\ alpha, \ beta, K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42bb8501757d342de6d27f40de285e6199316a5a)
![S ^ m (\ Omega \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2f087836285ccff8609ab7eb5f0d67147a4c983)
Pseudo differential operator
Again be a smooth function from the symbol class with . A pseudo differential operator of order m is usually a map
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![S ^ m (X \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8651ac72f6b887ae2e8e5718312bf6cdc2148ee4)
![X \ subset \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/23a6b446fb9736703b3fe09ff010de5ef2e75f38)
![\ mathcal {D} (X) \ to \ mathcal {E} (X) \ quad \ text {or} \ quad \ mathcal {S} (X) \ to \ mathcal {S} (X),](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd717ee1c17c4129b971ae6a28630680ed605d1d)
which through
![(P u) (x) = \ frac {1} {(2 \ pi) ^ n} \ int _ {\ mathbb {R} ^ n} \ int _ {\ R ^ n} \ mathrm e ^ {\ mathrm i ( x - y) \ xi} a (x, \ xi) u (y) \, \ mathrm dy \, \ mathrm d \ xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/05b82d2d8cd9b27d8f95781adbc82603eeb7861a)
is defined. The space is the space of the test functions , is the space of the smooth functions and is the Schwartz space .
![{\ mathcal {D}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\ mathcal {E}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c298ed828ff778065aeb5f0f305097f55bb9ae0)
![\ mathcal {S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2302a18e269dbecc43c57c0c2aced3bfae15278d)
Actually worn pseudo differential operator
Let be a pseudo differential operator. The following is
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![K_P (x, y): = \ int _ {\ mathbb {R} ^ n} \ mathrm e ^ {\ mathrm i (x - y) \ xi} a (x, \ xi) \, \ mathrm d \ xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/88240cf58f86956fc0fbacef516b0be3f04222d4)
the integral kernel of the operator . The pseudo differential operator is actually called carried, if the projections are actually .
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
properties
- Linear differential operators of order m with smooth, bounded coefficients can be regarded as pseudo differential operators of order m.
![K (x, y): = \ int _ {\ R ^ n} ^ {OS} \ mathrm e ^ {\ mathrm i \ langle xy, \ xi \ rangle} a (x, \ xi) \, \ mathrm {d } \ xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/c87e8a58e904a364ab6b05f6e8264d4be6630c1c)
- is a smooth black core except on the diagonal .
![\ {(x, y) | x = y \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62d835bafdc89a6d9d74064bb1fbc9471e4a90d1)
- The transpose of a pseudo differential operator is also a pseudo differential operator.
- If a linear differential operator of order m is elliptic , its inverse is a pseudo differential operator of order -m. One can therefore solve linear, elliptical differential equations more or less explicitly with the help of the theory of pseudo differential operators.
- Differential operators are local . This means that one only needs to know the value of a function in the vicinity of a point in order to determine the effect of the operator. Pseudo differential operators are pseudo- local , which means that they do not increase the singular carrier of a distribution. So it applies
-
.
- Since the Schwartz space lies close to the space of the square-integrable functions , it is possible to continue a pseudo differential operator by using continuity arguments . If it also holds, then is a bounded and continuous operator.
![L ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba162c66ca85776c83557af5088cc6f8584d1912)
![A \ in \ Psi ^ 0 (\ R ^ n \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/738e2f126684424f6cf4a17f48debd9fff9c5a64)
![A \ colon L ^ 2 (\ R ^ n) \ to L ^ 2 (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8b47824d2148a5a259908800844c07174327523)
Composition of pseudo differential operators
Pseudo differential operators with the Schwartz space as the domain of definition represent this in themselves. They are even based on an isomorphism . In addition, actually carried pseudo differential operators map the space in itself. It is therefore possible to consider the composition of two pseudo differential operators for such operators , which again results in a pseudo differential operator.
![\ mathcal {S} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0078d18e4675b6e7e2acb6c2c25c65294193e36d)
![\ mathcal {S} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0078d18e4675b6e7e2acb6c2c25c65294193e36d)
![C_c ^ \ infty (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/260741c735b326a154f2737ed63e97f6cb6d7540)
Let and two symbols and let and be the corresponding pseudo differential operators, then again is a pseudo differential operator. The symbol of the operator is an element of space and it has the asymptotic expansion![a \ in S ^ {m_1} (X \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5fbdeca996ab7f2f12ac207627aad852217622e)
![b \ in S ^ {m_2} (X \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/005e0ee2b4d1fba30768f289ea249d9fd27555f0)
![P_a](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5830e67f78d703f1bc6ff6d691691cba661ef48)
![P_b](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b684b99147aa175db98057461b2dc2653f704e)
![P_a \ circ P_b](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab8fad88569c1d21aed52b5738ea83893acc61a)
![c](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a67b81c2de995bd608d5b2df50cd8cd7d92455)
![P_a \ circ P_b](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab8fad88569c1d21aed52b5738ea83893acc61a)
![c \ sim \ sum _ {\ mu = 0} ^ \ infty \ frac {(- i) ^ {| \ mu |}} {\ mu!} \ frac {\ partial ^ \ mu a} {\ partial \ xi ^ \ mu} (x, \ xi) \ frac {\ partial ^ \ mu b} {\ partial x ^ \ mu} (x, \ xi) \ ,,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9e3c0657757328ab0f41d1f3e259d5b0cbf41df)
What
![{\ displaystyle c- \ sum _ {\ mu <N} {\ frac {(-i) ^ {| \ mu |}} {\ mu!}} {\ frac {\ partial ^ {\ mu} a} { \ partial \ xi ^ {\ mu}}} (x, \ xi) {\ frac {\ partial ^ {\ mu} b} {\ partial x ^ {\ mu}}} (x, \ xi) \ in p ^ {m_ {1} + m_ {2} -N} (X \ times \ mathbb {R} ^ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/481773c9b866380dcd4e04b7cd7ab084ece9c4a7)
means.
Adjoint operator
For every pair of Schwartz functions let
![\ phi, \, \ psi](https://wikimedia.org/api/rest_v1/media/math/render/svg/083f06247e07a6d49eed245f4274862730a96775)
![(\ phi, \ psi) = \ int_ {X} \ phi (x) \ overline {\ psi (x)} \ mathrm {d} x](https://wikimedia.org/api/rest_v1/media/math/render/svg/58511ba9060543882b1f4a3729e092a964268756)
be a bilinear form and be a pseudo differential operator with symbol . Then is formally adjoint operator with respect to another pseudo-differential operator and its symbol is an element of the space and it has the asymptotic expansion
![P \ colon \ mathcal {S} (X) \ to \ mathcal {S} (X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7593f8a48b2274c387328d6be98c32f8d35513bc)
![P ^ {*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24635cb75ac6b04bbdb6054de6df7eca458d3ef9)
![(\ cdot, \ cdot)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc515c912925128800226dd0b017be508069e24)
![a ^ {*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8ebbdafec4421aba60c540bcd665fe9aaa5c51)
![S ^ {m} (X \ times \ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8651ac72f6b887ae2e8e5718312bf6cdc2148ee4)
![a ^ * \ sim \ sum _ {\ mu = 0} ^ \ infty \ frac {(- i) ^ {| \ mu |}} {\ mu!} \, \ frac {\ partial ^ \ mu} {\ partial x ^ \ mu} \ frac {\ partial ^ \ mu b} {\ partial \ xi ^ \ mu} \, \ overline {a (x, \ xi)} \ ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/5181d6ce1c9f0c6530d961f76bf9b1376553dcb2)
Pseudo differential operators on distribution spaces
With the help of the formally adjoint operator it is possible to define pseudo differential operators on distribution spaces. For this purpose, instead of the bilinear form, one considers the dual pairing between the Schwartz space and its dual space . The dual pairing can be understood as a continuous continuation of . Therefore it is possible to define pseudo differential operators on the dual space of the Schwartz space, i.e. the space of the tempered distributions .
![(\ cdot, \ cdot) _ {\ mathcal {S} '(\ R ^ n) \ times \ mathcal {S} (\ R ^ n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/359d4021bb9e6ab426a1b56fa0ae236330997b12)
![(\ cdot, \ cdot)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc515c912925128800226dd0b017be508069e24)
Let be a pseudo differential operator and a tempered distribution. Then the continued operator for all is defined by
![P \ colon \ mathcal {S} (\ R ^ n) \ to \ mathcal {S} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2fa3c93bbbbff6b46fcd19f47e64f3c9594667b)
![u \ in \ mathcal {S} '(\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/002f32e103345e665cf34a609b5dc6d901ae6351)
![\ tilde {P} \ colon \ mathcal {S} '(\ R ^ n) \ to \ mathcal {S}' (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5d9cb52ae0e504e2ccc06990c3eb64f47790af6)
![v \ in \ mathcal {S} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24603731948f00fbad05857abff0fddb2f94d20)
![(\ tilde {P} u, v) _ {\ mathcal {S} '(\ R ^ n) \ times \ mathcal {S} (\ R ^ n)}: = (u, P ^ * v) _ { \ mathcal {S} '(\ R ^ n) \ times \ mathcal {S} (\ R ^ n)} \ ,.](https://wikimedia.org/api/rest_v1/media/math/render/svg/09355227fb8241d17a531c09c1755bf638f40b42)
The same applies to pseudo differential operators . The operator adjoint with respect to the bilinear form is a pseudo differential operator and this can also be continued continuously analogous to an operator . Thereby is the space of the distributions and the space of the distributions with a compact carrier.
![P \ colon \ mathcal {D} (\ R ^ n) \ to \ mathcal {E} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5bb8708752a3c21a99c3736e8de5ea48585691d)
![(\ cdot, \ cdot)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc515c912925128800226dd0b017be508069e24)
![P ^ * \ colon \ mathcal {E} (\ R ^ n) \ to \ mathcal {D} (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7371353da73f7efff4ee9e768d0d1681359ebfab)
![\ tilde {P} \ colon \ mathcal {E} '(\ R ^ n) \ to \ mathcal {D}' (\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/534835ef74a5056a0111645da2042f37b47b046a)
![\ mathcal {D} '(\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/963053e27b2c2698296922a9a79e6171c2a2a7a8)
![\ mathcal {E} '(\ R ^ n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6b31e955bf24d690800eff9e33f552adcef3311)
Pseudo differential operators on manifolds
Let the space of the test functions be on , be a compact smooth manifold and be a map of . A steady map
![C_c ^ \ infty (X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/af90942f33f95f8a96827b9a01e5dbb52d5b6514)
![X \ subset \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/23a6b446fb9736703b3fe09ff010de5ef2e75f38)
![(U_j, \ phi_i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e24b6618981c6b08b5bd660ca93238f1a88f63a7)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![P \ colon C ^ \ infty (M) \ to C ^ \ infty (M)](https://wikimedia.org/api/rest_v1/media/math/render/svg/37d2ba72fb5755bb90dcdc3ff57e127850d5fde5)
is a pseudo differential operator if it can be represented locally in each map like a pseudo differential operator in . In concrete terms, this means, is a pseudo differential operator, if for with in a neighborhood of the operator![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![\ psi_0, \, \ psi_1 \ in C_c ^ \ infty (U_j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/53f111016f4c37628e1f50a52093f9934a840d50)
![\ psi_1 = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/185d8a9e5d91f60349f4025399ba449a33417bb7)
![\ tilde {P} _i (u) (y): = \ psi_0 (x) \ cdot P (\ psi_1 \ cdot u \ circ \ phi_i) (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9d5ba4b77724eab7b446ddc6dcd5905c73ef968)
with and is a pseudo differential operator.
![y = \ phi_i (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/544bea8284088438ae80a0546b97db3b0b941486)
![u \ in C ^ \ infty (\ phi_i (\ Omega_i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/29d4413b28ec573d2a044ab228c69e5a4cbad1d4)
literature
- José García-Cuerva: Fourier Analysis and Partial Differential Equations. CRC Press, Boca Raton FL et al. 1995, ISBN 0-8493-7877-X .
- Lars Hörmander: The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators (= basic teachings of the mathematical sciences. Vol. 274). Springer, Berlin 1985, ISBN 3-540-13828-5 .
- Michail A. Shubin: Pseudodifferential Operators and Spectral Theory. 2nd edition. Springer, Berlin et al. 2001, ISBN 3-540-41195-X .
-
Michael E. Taylor : Pseudodifferential Operators (= Princeton Mathematical Series. Vol. 34). Princeton University Press, Princeton NJ 1981, ISBN 0-691-08282-0 .
- Michael E. Taylor: Partial differential equations. Volume 1-2. Springer, New York et al. 1996, ISBN 0-387-94653-5 (Vol. 1), ISBN 0-387-94651-9 (Vol. 2).
-
François Treves : Introduction to Pseudo Differential and Fourier Integral Operators. 2 volumes. Plenum Press, New York NY et al. 1980;
Web link
Individual evidence
-
↑ Man Wah Wong: An introduction to pseudo-differential operator . 2nd Edition. World Scientific, River Edge NJ 1999, ISBN 981-02-3813-4 , pp. 31-33 .
-
↑ Man Wah Wong: An introduction to pseudo-differential operator . 2nd Edition. World Scientific, River Edge NJ 1999, ISBN 981-02-3813-4 , pp. 54-60 .
-
↑ Man Wah Wong: An introduction to pseudo-differential operator . 2nd Edition. World Scientific, River Edge NJ 1999, ISBN 981-02-3813-4 , pp. 62-69 .
-
↑ Christopher D. Sogge: Fourier integral in Classical Analysis. (= Cambridge Tracts in Mathematics. Vol. 105). Digitally printed version. Cambridge University Press, Cambridge et al. 2008, ISBN 978-0-521-06097-4 , p. 106.