The paper treats pseudodifferential operators $ P = \operatorname{Op}(p(\xi)) $ with homogeneous complex symbol $ p(\xi) $ of order $ 2a > 0 $, generalizing the fractional Laplacian $ (-\Delta)^a $ but lacking its symmetries, and taken to act on the halfspace ${\mathbb R}^n_+$. The operators are seen to satisfy a principal $ \mu $-transmission condition relative to ${\mathbb R}^n_+$, but generally not the full $ \mu $-transmission condition satisfied by $ (-\Delta)^a $ and related operators (with $ \mu = a $). However, $ P $ acts well on the so-called $ \mu $-transmission spaces over ${\mathbb R}^n_+$ (defined in earlier works), and when $ P $ moreover is strongly elliptic, these spaces are the solution spaces for the homogeneous Dirichlet problem for $ P $, leading to regularity results with a factor $ x_n^\mu $ (in a limited range of Sobolev spaces). The information is then shown to be sufficient to establish an integration by parts formula over ${\mathbb R}^n_+$ for $ P $ acting on such functions. The formulation in Sobolev spaces, and the results on strongly elliptic operators going beyond certain operators with real kernels, are new. Furthermore, large solutions with nonzero Dirichlet traces are described, and a halfways Green's formula is established, as new results for these operators. Since the principal $ \mu $-transmission condition has weaker requirements than the full $ \mu $-transmission condition assumed in earlier papers, new arguments were needed, relying on work of Vishik and Eskin instead of the Boutet de Monvel theory. The results cover the case of nonsymmetric operators with real kernel that were only partially treated in a preceding paper.
Citation: Gerd Grubb. The principal transmission condition[J]. Mathematics in Engineering, 2022, 4(4): 1-33. doi: 10.3934/mine.2022026
The paper treats pseudodifferential operators $ P = \operatorname{Op}(p(\xi)) $ with homogeneous complex symbol $ p(\xi) $ of order $ 2a > 0 $, generalizing the fractional Laplacian $ (-\Delta)^a $ but lacking its symmetries, and taken to act on the halfspace ${\mathbb R}^n_+$. The operators are seen to satisfy a principal $ \mu $-transmission condition relative to ${\mathbb R}^n_+$, but generally not the full $ \mu $-transmission condition satisfied by $ (-\Delta)^a $ and related operators (with $ \mu = a $). However, $ P $ acts well on the so-called $ \mu $-transmission spaces over ${\mathbb R}^n_+$ (defined in earlier works), and when $ P $ moreover is strongly elliptic, these spaces are the solution spaces for the homogeneous Dirichlet problem for $ P $, leading to regularity results with a factor $ x_n^\mu $ (in a limited range of Sobolev spaces). The information is then shown to be sufficient to establish an integration by parts formula over ${\mathbb R}^n_+$ for $ P $ acting on such functions. The formulation in Sobolev spaces, and the results on strongly elliptic operators going beyond certain operators with real kernels, are new. Furthermore, large solutions with nonzero Dirichlet traces are described, and a halfways Green's formula is established, as new results for these operators. Since the principal $ \mu $-transmission condition has weaker requirements than the full $ \mu $-transmission condition assumed in earlier papers, new arguments were needed, relying on work of Vishik and Eskin instead of the Boutet de Monvel theory. The results cover the case of nonsymmetric operators with real kernel that were only partially treated in a preceding paper.
[1] | N. Abatangelo, Large s-harmonic functions and boundary blow-up solutions for the fractional Laplacian, Discrete Contin. Dyn. Syst., 35 (2015), 5555–5607. doi: 10.3934/dcds.2015.35.5555 |
[2] | N. Abatangelo, D. Gómez-Castro, J. L. Vázquez, Singular boundary behaviour and large solutions for fractional elliptic equations, arXiv: 1910.00366. |
[3] | L. Boutet de Monvel, Comportement d'un opérateur pseudo-différentiel sur une variété a bord, Ⅰ–Ⅱ, J. Anal. Math., 17 (1966), 241–304. doi: 10.1007/BF02788660 |
[4] | L. Boutet de Monvel, Boundary problems for pseudo-differential operators, Acta Math., 126 (1971), 11–51. doi: 10.1007/BF02392024 |
[5] | S. Dipierro, X. Ros-Oton, J. Serra, E. Valdinoci, Non-symmetric stable operators, regularity theory and integration by parts, arXiv: 2012.04833. |
[6] | G. Eskin, Boundary value problems for elliptic pseudodifferential equations, Providence, R.I.: Amer. Math. Soc., 1981. |
[7] | G. Grubb, Distributions and operators, New York: Springer, 2009. |
[8] | G. Grubb, Fractional Laplacians on domains, a development of Hörmander's theory of $\mu $-transmission pseudodifferential operators, Adv. Math., 268 (2015), 478–528. doi: 10.1016/j.aim.2014.09.018 |
[9] | G. Grubb, Local and nonlocal boundary conditions for $\mu$-transmission and fractional elliptic pseudodifferential operators, Anal. PDE, 7 (2014), 1649–1682. doi: 10.2140/apde.2014.7.1649 |
[10] | G. Grubb, Integration by parts and Pohozaev identities for space-dependent fractional-order operators, J. Differ. Equations, 261 (2016), 1835–1879. doi: 10.1016/j.jde.2016.04.017 |
[11] | G. Grubb, Green's formula and a Dirichlet-to-Neumann operator for fractional-order pseudodifferential operators, Commun. Part. Diff. Eq., 43 (2018), 750–789. doi: 10.1080/03605302.2018.1475487 |
[12] | G. Grubb, Limited regularity of solutions to fractional heat and Schrödinger equations, Discrete Contin. Dyn. Syst., 39 (2019), 3609–3634. doi: 10.3934/dcds.2019148 |
[13] | G. Grubb, Integration by parts for nonsymmetric fractional-order operators on a halfspace, J. Math. Anal. Appl., 499 (2021), 125012. doi: 10.1016/j.jmaa.2021.125012 |
[14] | G. Grubb, Corrigendum to: "Integration by parts for nonsymmetric fractional-order operators on a halfspace" [J. Math. Anal. Appl. 499 (2021) 125012], J. Math. Anal. Appl., 505 (2022), 125462. doi: 10.1016/j.jmaa.2021.125462 |
[15] | G. Grubb, N. J. Kokholm, A global calculus of parameter-dependent pseudodifferential boundary problems in $L_p$ Sobolev spaces, Acta Math., 171 (1993), 165–229. doi: 10.1007/BF02392532 |
[16] | L. Hörmander, Seminar notes on pseudo-differential operators and boundary problems, Lectures at IAS Princeton 1965-66. Available from: https://lup.lub.lu.se/search/. |
[17] | L. Hörmander, The analysis of linear partial differential operators, III, Berlin: Springer Verlag, 1985. |
[18] | S. Rempel, B. W. Schulze, Index theory of elliptic boundary problems, Berlin: Akademie Verlag, 1982. |
[19] | X. Ros-Oton, Boundary regularity, Pohozaev identities and nonexistence results, In: Recent developments in nonlocal theory, Berlin, Boston: De Gruyter, 2018,335–358. |
[20] | X. Ros-Oton, J. Serra, The Pohozaev identity for the fractional Laplacian, Arch. Rational Mech. Anal., 213 (2014), 587–628. doi: 10.1007/s00205-014-0740-2 |
[21] | E. Shargorodsky, An $L_p$-analogue of the Vishik-Eskin theory, Memoirs on Differential Equations and Mathematical Physics, 2 (1994), 41–146. |
[22] | N. Wiener, E. Hopf, Üer eine Klasse singulärer Integralgleichungen, Sitzungsber. Preuss. Acad. Wiss. 31 (1931), 696–706. |