The periodic Euler-Bernoulli equation
HTML articles powered by AMS MathViewer
- by Vassilis G. Papanicolaou PDF
- Trans. Amer. Math. Soc. 355 (2003), 3727-3759 Request permission
Abstract:
We continue the study of the Floquet (spectral) theory of the beam equation, namely the fourth-order eigenvalue problem \[ \left [ a(x)u^{\prime \prime }(x)\right ] ^{\prime \prime }=\lambda \rho (x)u(x),\qquad -\infty <x<\infty , \] where the functions $a$ and $\rho$ are periodic and strictly positive. This equation models the transverse vibrations of a thin straight (periodic) beam whose physical characteristics are described by $a$ and $\rho$. Here we develop a theory analogous to the theory of the Hill operator $-(d/dx)^2+q(x)$. We first review some facts and notions from our previous works, including the concept of the pseudospectrum, or $\psi$-spectrum. Our new analysis begins with a detailed study of the zeros of the function $F(\lambda ;k)$, for any given “quasimomentum” $k\in \mathbb {C}$, where $F(\lambda ;k)=0$ is the Floquet-Bloch variety of the beam equation (the Hill quantity corresponding to $F(\lambda ;k)$ is $\Delta (\lambda )-2\cos (kb)$, where $\Delta (\lambda )$ is the discriminant and $b$ the period of $q$). We show that the multiplicity $m(\lambda ^{\ast })$ of any zero $\lambda ^{\ast }$ of $F(\lambda ;k)$ can be one or two and $m(\lambda ^{\ast })=2$ (for some $k$) if and only if $\lambda ^{\ast }$ is also a zero of another entire function $D(\lambda )$, independent of $k$. Furthermore, we show that $D(\lambda )$ has exactly one zero in each gap of the spectrum and two zeros (counting multiplicities) in each $\psi$-gap. If $\lambda ^{\ast }$ is a double zero of $F(\lambda ;k)$, it may happen that there is only one Floquet solution with quasimomentum $k$; thus, there are exceptional cases where the algebraic and geometric multiplicities do not agree. Next we show that if $(\alpha ,\beta )$ is an open $\psi$-gap of the pseudospectrum (i.e., $\alpha <\beta$), then the Floquet matrix $T(\lambda )$ has a specific Jordan anomaly at $\lambda =\alpha$ and $\lambda =\beta$. We then introduce a multipoint (Dirichlet-type) eigenvalue problem which is the analogue of the Dirichlet problem for the Hill equation. We denote by $\{\mu _n\}_{n\in \mathbb {Z}}$ the eigenvalues of this multipoint problem and show that $\{\mu _n\}_{n\in \mathbb {Z}}$ is also characterized as the set of values of $\lambda$ for which there is a proper Floquet solution $f(x;\lambda )$ such that $f(0;\lambda )=0$. We also show (Theorem 7) that each gap of the $L^{2}(\mathbb {R})$-spectrum contains exactly one $\mu _{n}$ and each $\psi$-gap of the pseudospectrum contains exactly two $\mu _{n}$’s, counting multiplicities. Here when we say “gap” or “$\psi$-gap” we also include the endpoints (so that when two consecutive bands or $\psi$-bands touch, the in-between collapsed gap, or $\psi$-gap, is a point). We believe that $\{\mu _{n}\}_{n\in \mathbb {Z}}$ can be used to formulate the associated inverse spectral problem. As an application of Theorem 7, we show that if $\nu ^{*}$ is a collapsed (“closed”) $\psi$-gap, then the Floquet matrix $T(\nu ^{*})$ is diagonalizable. Some of the above results were conjectured in our previous works. However, our conjecture that if all the $\psi$-gaps are closed, then the beam operator is the square of a second-order (Hill-type) operator, is still open.References
- J. E. Avron and B. Simon, Analytic properties of band functions, Ann. Physics 110 (1978), no. 1, 85–101. MR 475384, DOI 10.1016/0003-4916(78)90143-4
- A. Badanin and E. Korotyaev, Quasimomentum of Fourth Order Periodic Operator, preprint, 2001.
- V. Barcilon, Inverse Problem for a Vibrating Beam in the Free-Clamped Configuration, Philosophical Transactions of the Royal Society of London, Series A, 304 (1982), 211–251.
- R. Beals and R. R. Coifman, Scattering and inverse scattering for first order systems, Comm. Pure Appl. Math. 37 (1984), no. 1, 39–90. MR 728266, DOI 10.1002/cpa.3160370105
- Richard Beals, Percy Deift, and Carlos Tomei, Direct and inverse scattering on the line, Mathematical Surveys and Monographs, vol. 28, American Mathematical Society, Providence, RI, 1988. MR 954382, DOI 10.1090/surv/028
- Robert Carlson, Compactness of Floquet isospectral sets for the matrix Hill’s equation, Proc. Amer. Math. Soc. 128 (2000), no. 10, 2933–2941. MR 1709743, DOI 10.1090/S0002-9939-00-05634-3
- Robert Carlson, Eigenvalue estimates and trace formulas for the matrix Hill’s equation, J. Differential Equations 167 (2000), no. 1, 211–244. MR 1785119, DOI 10.1006/jdeq.2000.3785
- Lester F. Caudill Jr., Peter A. Perry, and Albert W. Schueller, Isospectral sets for fourth-order ordinary differential operators, SIAM J. Math. Anal. 29 (1998), no. 4, 935–966. MR 1617706, DOI 10.1137/S0036141096311198
- Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
- Walter Craig, The trace formula for Schrödinger operators on the line, Comm. Math. Phys. 126 (1989), no. 2, 379–407. MR 1027503, DOI 10.1007/BF02125131
- B. A. Dubrovin, Igor Moiseevich Krichever, and S. P. Novikov, Integrable systems. I, Current problems in mathematics. Fundamental directions, Vol. 4, Itogi Nauki i Tekhniki, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1985, pp. 179–284, 291 (Russian). MR 842910
- B. A. Dubrovin, V. B. Matveev, and S. P. Novikov, Nonlinear equations of Korteweg-de Vries type, finite-band linear operators and Abelian varieties, Uspehi Mat. Nauk 31 (1976), no. 1(187), 55–136 (Russian). MR 0427869
- Nelson Dunford and Jacob T. Schwartz, Linear operators. Part I, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1988. General theory; With the assistance of William G. Bade and Robert G. Bartle; Reprint of the 1958 original; A Wiley-Interscience Publication. MR 1009162
- Allan Finkel, Eli Isaacson, and Eugene Trubowitz, An explicit solution of the inverse periodic problem for Hill’s equation, SIAM J. Math. Anal. 18 (1987), no. 1, 46–53. MR 871819, DOI 10.1137/0518003
- F. Gesztesy, H. Holden, B. Simon, and Z. Zhao, Trace formulae and inverse spectral theory for Schrödinger operators, Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 2, 250–255. MR 1215308, DOI 10.1090/S0273-0979-1993-00431-2
- F. Gesztesy and R. Weikard, Floquet theory revisited, Differential equations and mathematical physics (Birmingham, AL, 1994) Int. Press, Boston, MA, 1995, pp. 67–84. MR 1703573
- G. M. L. Gladwell, Inverse problems in vibration, Monographs and Textbooks on Mechanics of Solids and Fluids: Mechanics. Dynamical Systems, vol. 9, Martinus Nijhoff Publishers, Dordrecht, 1986. MR 874749, DOI 10.1007/978-94-015-1178-0
- Russell A. Johnson, $m$-functions and Floquet exponents for linear differential systems, Ann. Mat. Pura Appl. (4) 147 (1987), 211–248 (English, with Italian summary). MR 916710, DOI 10.1007/BF01762419
- R. Johnson and J. Moser, The rotation number for almost periodic potentials, Comm. Math. Phys. 84 (1982), no. 3, 403–438. MR 667409, DOI 10.1007/BF01208484
- W. Kohn, Analytic properties of Bloch waves and Wannier functions, Phys. Rev. (2) 115 (1959), 809–821. MR 108284, DOI 10.1103/PhysRev.115.809
- Peter Kuchment, Floquet theory for partial differential equations, Operator Theory: Advances and Applications, vol. 60, Birkhäuser Verlag, Basel, 1993. MR 1232660, DOI 10.1007/978-3-0348-8573-7
- Wilhelm Magnus and Stanley Winkler, Hill’s equation, Dover Publications, Inc., New York, 1979. Corrected reprint of the 1966 edition. MR 559928
- M. M. Malamud, Necessary conditions for the existence of a transformation operator for higher-order equations, Funktsional. Anal. i Prilozhen. 16 (1982), no. 3, 74–75 (Russian). MR 674021
- H. P. McKean and E. Trubowitz, Hill’s operator and hyperelliptic function theory in the presence of infinitely many branch points, Comm. Pure Appl. Math. 29 (1976), no. 2, 143–226. MR 427731, DOI 10.1002/cpa.3160290203
- H. P. McKean and P. van Moerbeke, The spectrum of Hill’s equation, Invent. Math. 30 (1975), no. 3, 217–274. MR 397076, DOI 10.1007/BF01425567
- Fadil Santosa, Yih Hsing Pao, William W. Symes, and Charles Holland (eds.), Inverse problems of acoustic and elastic waves, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1984. Papers from the international conference held at Cornell University, Ithaca, N.Y., June 4–6, 1984. MR 804613
- Joyce R. McLaughlin, Analytical methods for recovering coefficients in differential equations from spectral data, SIAM Rev. 28 (1986), no. 1, 53–72. MR 828436, DOI 10.1137/1028003
- Robert E. Miller, The eigenvalue problem for a class of long, thin elastic structures with periodic geometry, Quart. Appl. Math. 52 (1994), no. 2, 261–282. MR 1276237, DOI 10.1090/qam/1276237
- Reinhold Baer, Nets and groups, Trans. Amer. Math. Soc. 46 (1939), 110–141. MR 35, DOI 10.1090/S0002-9947-1939-0000035-5
- S. P. Novikov, private communication (April 2001).
- Vassilis G. Papanicolaou, The spectral theory of the vibrating periodic beam, Comm. Math. Phys. 170 (1995), no. 2, 359–373. MR 1334400, DOI 10.1007/BF02108333
- Vassilis G. Papanicolaou and Dimitrios Kravvaritis, An inverse spectral problem for the Euler-Bernoulli equation for the vibrating beam, Inverse Problems 13 (1997), no. 4, 1083–1092. MR 1463595, DOI 10.1088/0266-5611/13/4/013
- Vassilis G. Papanicolaou and Dimitrios Kravvaritis, The Floquet theory of the periodic Euler-Bernoulli equation, J. Differential Equations 150 (1998), no. 1, 24–41. MR 1660270, DOI 10.1006/jdeq.1998.3474
- Michael Reed and Barry Simon, Methods of modern mathematical physics. I. Functional analysis, Academic Press, New York-London, 1972. MR 0493419
- L. A. Sahnovič, Inverse problem for differential operators of order $n>2$ with analytic coefficients, Mat. Sb. N.S. 46(88) (1958), 61–76 (Russian). MR 0099473
- S. Timoshenko and D. H. Young, “Elements of Strength of Materials”, 5th Edition, D. Van Nostrand Company, Inc., Princeton, NJ, 1968.
- E. C. Titchmarsh, “The Theory of Functions”, Second Edition, Oxford University Press, 1939.
- E. Trubowitz, The inverse problem for periodic potentials, Comm. Pure Appl. Math. 30 (1977), no. 3, 321–337. MR 430403, DOI 10.1002/cpa.3160300305
- S. Venakides, private communication.
Additional Information
- Vassilis G. Papanicolaou
- Affiliation: Department of Mathematics and Statistics, Wichita State University, Wichita, Kansas 67260-0033
- Address at time of publication: Department of Mathematics, National Technical University of Athens, Zografou Campus, 157 80, Athens, Greece
- Email: papanico@math.ntua.gr
- Received by editor(s): November 13, 2001
- Received by editor(s) in revised form: November 10, 2002
- Published electronically: May 29, 2003
- © Copyright 2003 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 355 (2003), 3727-3759
- MSC (2000): Primary 34B05, 34B10, 34B30, 34L40, 74B05
- DOI: https://doi.org/10.1090/S0002-9947-03-03315-4
- MathSciNet review: 1990171