Abstract
The Green function \(G_0(x,y)\) for the biharmonic Dirichlet problem on a smooth domain \(\Omega \), that is \(\Delta ^{2}u=f\) in \(\Omega \) with \( u=u_{n}=0 \) on \(\partial \Omega \), can be written as the difference of a positive function, which bears the singularity at \(x=y\), and a rank-one positive function, both of which satisfy the boundary conditions. See Grunau et al. (Proc Am Math Soc 139:2151–2161, 2011). More precisely \(G_0(x,y)= H(x,y)- c\, d(x)^2 d(y)^2\) holds, where \(d(\cdot )\) is the distance to the boundary \(\partial \Omega \) and where H contains the singularity and is positive. We will extend the corresponding estimates to \( G_{\lambda }(x,y)\) for the differential operator \(\Delta ^{2}-\lambda \) with an optimal dependence on \(\lambda \). As a consequence, strict positivity of an eigenfunction with a simple eigenvalue \(\lambda _{i}\) implies a positivity preserving property for \(\left( \Delta ^{2}-\lambda \right) u=f\) in \(\Omega \) with \(u=u_{n}=0\) on \(\partial \Omega \) for \(\lambda \) in a left neighbourhood of \(\lambda _{i} \). This result can be viewed as a converse to the Krein–Rutman theorem.
Similar content being viewed by others
References
Adams, R.A., Fournier, J.: Sobolev Spaces, 2nd edn. Academic Press, San Diego (2003)
Agmon, S.: On kernels, eigenvalues and eigenfunctions of operators related to elliptic problems. Commun. Pure Appl. Math. 18, 627–663 (1965)
Boggio, T.: Sulle funzioni di Green d’ordine \(m\). Rend. Circolo Mat. Palermo 20, 97–135 (1905)
Brown, B.M., Davies, E.B., Jimack, P.K., Mihajlović, M.D.: A numerical investigation of the solution of a class of fourth-order eigenvalue problems. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 456, 1505–1521 (2000)
Cheng, Q.-M., Wei, G.: Upper and lower bounds for eigenvalues of the clamped plate problem. J. Differ. Equ. 255, 220–233 (2013)
Clément, P., Sweers, G.: Uniform anti-maximum principles. J. Differ. Equ. 164, 118–154 (2000)
Coffman, C.V., Duffin, R.J., Shaffer, D.H.: The fundamental mode of vibration of a clamped annular plate is not of one sign. In: Constructive Approaches to Mathematical Models (Proc. Conf. in honor of R.J. Duffin, Pittsburgh, Pa., 1978), pp. 267–277. Academic Press, New York (1979)
Coffman, C.V., Duffin, R.J.: On the structure of biharmonic functions satisfying the clamped plate conditions on a right angle. Adv. Appl. Math. 1(4), 373–389 (1980)
Coffman, C.V., Duffin, R.J.: On the fundamental eigenfunctions of a clamped punctured disk. Adv. Appl. Math. 13, 142–151 (1992)
Courant, R.: Über die Eigenwerte bei den Differentialgleichungen der mathematischen Physik. Math. Z. 7, 1–57 (1920)
Dall’Acqua, A., Sweers, G.: The clamped plate equation on the Lima çon. Ann. Mat. Pura Appl. (4) 184, 361–374 (2005)
Daners, D., Glück, J., Kennedy, J.B.: Eventually and asymptotically positive semigroups on Banach lattices. J. Differ. Equ. 261, 2607–2649 (2016)
Duffin, R.J.: On a question of Hadamard concerning super-biharmonic functions. J. Math. Phys. 27, 253–258 (1949)
Duffin, R.J., Shaffer, D.H.: On the modes of vibration of a ring-shaped plate. Bull. Am. Meteorol. Soc. 58, 652 (1952)
Engliš, M., Peetre, J.: A Green’s function for the annulus. Ann. Mat. Pura Appl. (4) 171, 313–377 (1996)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics, pp. 169–173. Springer, Berlin (2001)
Gazzola, F., Grunau, H.-C.: Eventual local positivity for a biharmonic heat equation in \({\mathbb{R}}^{n}\). Discrete Contin. Dyn. Syst. Ser. S 1, 83–87 (2008)
Gazzola, F., Grunau, H.-C., Sweers, G.: Polyharmonic Boundary Value Problems. Springer, Berlin (2010)
Grunau, H.-C., Robert, F., Sweers, G.: Optimal estimates from below for biharmonic Green functions. Proc. Am. Math. Soc. 139, 2151–2161 (2011)
Grunau, H.-C., Romani, G.: Unexpected differences between fundamental solutions of general higher-order elliptic operators and of products of second-order operators. Preprint. arXiv:1902.06503
Grunau, H.-C., Sweers, G.: Positivity for perturbations of polyharmonic operators with Dirichlet boundary conditions in two dimensions. Math. Nachr. 179, 89–102 (1996)
Grunau, H.-C., Sweers, G.: Positivity for equations involving polyharmonic elliptic operators with Dirichlet boundary conditions. Math. Ann. 307, 589–626 (1997)
Grunau, H.-C., Sweers, G.: Sign change for the Green function and the first eigenfunction of equations of clamped-plate type. Arch. Rat. Mech. Anal. 150, 179–190 (1999)
Grunau, H.-C., Sweers, G.: Optimal conditions for anti-maximum principles. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 30, 499–513 (2001)
Grunau, H.-C., Sweers, G.: Sharp estimates for iterated Green functions. Proc. R. Soc. Edinb. Sect. A 132(1), 91–120 (2002)
Hadamard, J.: Mémoire sur le problème d’analyse relatif à l’équilibrie des plaques élastiques encastrées. In: Œuvres de Jacques Hadamard, Tomes II, pp. 515–641, Centre National de la Recherche Scientifique, Paris 1968, reprint of: Mémoire couronne par l’Académie des Sciences (Prix Vaillant), Mém. Sav. Étrang. 33 (1907)
Hadamard, J.: Sur certains cas intéressants du problème biharmonique. In: Œuvres de Jaques Hadamard, Tome III, pp. 1297–1299, Centre National de la Recherche Scientifique: Paris, 1968, reprint of: Atti IVe Congr. Intern. Mat. Rome 12–14 (1908)
Kreĭn, M.G., Rutman, M.A.: Linear operators leaving invariant a cone in a Banach space, Uspehi Matem. Nauk (N. S.) 3(1(23)), 3–95 (1948) (translation in: Amer. Math. Soc. Translation 1950, (1950). no. 26)
Levine, H.A., Protter, M.H.: Unrestricted lower bounds for eigenvalues for classes of elliptic equations and systems of equations with applications to problems in elasticity. Math. Methods Appl. Sci. 7, 210–222 (1985)
Nakai, M., Sario, L.: Green’s function of the clamped punktured disk. J. Aust. Math. Soc. 20(Series B), 175–181 (1978)
Pulst, L.: Dominance of positivity of the Green’s function associated to a perturbed polyharmonic dirichlet boundary value problem by pointwise estimates. Dissertation (2014). https://doi.org/10.25673/4208
Sweers, G.: When is the first eigenfunction for the clamped plate equation of fixed sign? In Electron. J. Differ. Equ. Conf. 06, 285–296 (2001)
Sweers, G.: Bilaplace eigenfunctions compared with Laplace eigenfunctions in some special cases. In: Buskes, G., et al. (eds.) Positivity and Noncommutative Analysis. Birkhäuser, London (2019)
Weyl, H.: Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen. Math. Ann. 71(4), 441–479 (1912)
Yosida, K.: Functional Analysis. Sixth Edition. Grundlehren der Mathematischen Wissenschaften, vol. 123. Springer, Berlin (1980)
Zhongxin, Zhao: Green function for Schrödinger operator and conditioned Feynman–Kac gauge. J. Math. Anal. Appl. 116, 309–334 (1986)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Computation of the first eigenfunctions for the spherical shell
Computation of the first eigenfunctions for the spherical shell
As for the annulus in 2D the first eigenvalues appear as zeroes of explicit transcendental functions as follows. The eigenfunction \(\varphi _{{\textcircled {1}}}:\Omega _{\varepsilon }\subset {\mathbb {R}}^{3}\rightarrow {\mathbb {R}}\) is radially symmetric. Therefore, we write \(\varphi _{{\textcircled {1}} }(x)={\widetilde{\varphi }}_{{\textcircled {1}}}(|x|)={\widetilde{\varphi }}_{ {\textcircled {1}}}(r)\) and find that the eigenfunction is of the form
Setting \(u_{1}(t)=\frac{\exp (t)}{t}\), \(u_{2}(t)=\frac{\exp (-\,t)}{t}\), \( u_{3}(t)=\frac{\sin (t)}{t}\) and \(u_{4}(t)=\frac{\cos (t)}{t}\) one obtains \(\lambda _{{\textcircled {1}}}\) as the first zero of
Assuming that \(\varphi _{{\textcircled {2}}}:\Omega _{\varepsilon }\subset {\mathbb {R}}^{3}\rightarrow {\mathbb {R}}\) can be written as \(\varphi _{{\textcircled {2}}}(x)=x_{1}\widetilde{\varphi }(\left| x\right| )\) we find that \({\widetilde{\varphi }}\) is of the form
As above we define \(v_{1}(t)=\frac{(1-t)\exp (t)}{t^{3}}\), \(v_{2}(t)=\frac{ (1+t)\exp (-\,t)}{t^{3}}\), \(v_{3}(t)=\frac{\sin (t)-t\cos (t)}{t^{3}}\) and \( v_{4}(t)=\frac{\cos (t)+t\sin (t)}{t^{3}}\). The eigenvalue \(\lambda _{{\textcircled {2}}}\) is the first zero of the function one obtains by replacing \( u_{i}\) by \(v_{i}\) in the determinant above. Numerical approximations of \( \lambda _{{\textcircled {1}}}\) and of \(\lambda _{{\textcircled {2}}}\) as a function of \(\varepsilon \) show that for all \(\varepsilon \in \left( 0,0.3\right) \):
The sketches of \(\varepsilon \mapsto \lambda _{i,\varepsilon }\) with \(i\in \{1,2\}\) are found in Fig. 5.
Rights and permissions
About this article
Cite this article
Schnieders, I., Sweers, G. A biharmonic converse to Krein–Rutman: a maximum principle near a positive eigenfunction. Positivity 24, 677–710 (2020). https://doi.org/10.1007/s11117-019-00702-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-019-00702-3