On Wave-Like Differential Equations
in General Hilbert Space.
The Functional Analytic Investigation of
Euler–Bernoulli Bending Vibrations of a Beam
as an Application in Engineering Science.
Abstract
Wave-like partial differential equations occur in many engineering applications. Here the engineering setup is embedded into the Hilbert space framework of functional analysis of modern mathematical physics. The notion wave-like is a generalization of the primary wave (partial) differential equation.
A short overview over three wave-like problems in physics and engineering is presented. The mathematical procedure for achieving positive, selfadjoint differential operators in an –Hilbert space is described, operators which then may be taken for wave-like differential equations. Also some general results from the functional analytic literature are summarized.
The main part concerns the investigation of the free Euler–Bernoulli bending vibrations of a slender, straight, elastic beam in one spatial dimension in the –Hilbert space setup. Taking suitable Sobolev spaces we perform the mathematically exact introduction and analysis of the corresponding (spatial) positive, selfadjoint differential operators of -th order, which belong to the different boundary conditions arising as supports in statics. A comparison with free wave swinging of a string is added, using a Laplacian as differential operator.
Keywords: wave-like differential equations in Hilbert space, Sobolev spaces, boundary conditions from engineering statics, positive selfadjoint differential operators of 4-th order, Friedrichs extension, Euler–Bernoulli (partial) differential equation in –Hilbert space for beam bending dynamics.
2020 MSC: 35G10, 35Q74, 46E35, 47A07, 47F99, 74H20, 74K10, 00A06
Contents
- 1 Introduction, Overview, Definition of Wave-Like Equation
- 2 Wave-Like Equations in Hilbert Space
- 3 About Applications in –Hilbert Spaces
- 4 Differential Operators for the Interval
- 5 Bending Vibrations of a Beam in One Spatial Dimension
- 6 Solving Concretely the Eigenequation
- 7 Wave Swinging of a String versus Bending Vibrations of a Beam
- 8 Proof of Theorems 5.3 and 5.5 in Subsection 5.1
- References
Before starting let us remark that the present article is an extended, longer, more detailed, better and easier understandable version of the published work [6] from the same authors.
1 Introduction, Overview,
Definition of Wave-Like Equation
In many engineering investigations and applications wave-like partial differential equations play an important role. The engineering calculations to solve such differential equations seem to be very specific to the specially chosen situations. But in this way, deeper mathematical questions remain unanswered. Nevertheless the directly calculating methods used are successful and appropriate for the selected application, which lead to concrete solutions, analytically and numerically, e.g. [12, 10, 13, 3].
For beam dynamics there exist four engineering theories: Euler–Bernoulli model, Rayleigh model, shear model and Timoshenk model. Classically the dynamics of the transversally bending beam is investigated and directly computed by eigenfunction expansion [5].
Here we investigate free Euler–Bernoulli bending vibrations of a slender, straight, elastic beam in a completely different and much larger context, namely in terms of Hilbert space methods of modern mathematical physics.
Functional analysis is capable to provide general statements for very general situations, namely predictions on existence and smoothness degrees of eigenfunctions and solutions (regularity). The mentioned specific engineering techniques are far from being able to deal with this generality. Nevertheless there are limitations, since also in a Hilbert space setting it is not possible to calculate analytically eigenvalues and eigenfunctions of differential operators on an arbitrary spatial region , , which does not possess specific geometric properties like symmetries.
The present article aims to bring together computational and theoretical engineering science with functional analytic methods. The novelty of the present approach is the complete incorporation and investigation of the Euler–Bernoulli differential equation in the general context of Hilbert space operator theory in functional analysis.
In order to be precise let us introduce, what will be understood under a wave-like differential equation in Hilbert space language.
Definition 1.1 (Wave-Like Differential Equation)
A differential equation of type
in a Hilbert space with some positive, selfadjoint operator is called to be wave-like. A solution of which is a trajectory , where in applications the variable is interpreted as the time parameter for evolution in time.
In engineering or physical applications, the operators usually represent differential operators of second or higher order acting in some –Hilbert space of square integrable functions on a spatial region . The primary wave equation concerns a Laplace operator , so the notion wave-like is its generalization. To free Euler–Bernoulli bending vibrations of a beam there belong differential operators of -th order.
In the current article we first outline the general Hilbert space solution of wave-like differential equations, see Section 2.
In Section 3 the necessary mathematical procedure for obtaining positive, selfadjoint differential operators in the –Hilbert space approach is described, but also some general results from the literature are reported. Moreover, a short overview over three wave-like equations for arbitrary spatial regions is given: the primary wave equation as a partial differential equation, the wave decoupling for Maxwell radiation in electromagnetism, and free bending vibrations of a plate.
Section 4 is auxiliary but necessary for bending vibrations of a beam in the next Section 5. It is dedicated to Sobolev spaces corresponding to diverse boundary conditions with associated differential operators of first and second order acting in the open bounded interval with .
In Section 5 we outline in detail the –Hilbert space frame in one spatial dimension for positive, selfadjoint differential operators of -th order, which describe via wave-like equations the free Euler–Bernoulli bending vibrations of a slender, straight, elastic beam placed in . At the ends of the beam, and , the diverse support possibilities from engineering statics are taken, namely the combinations of flexible or fixed support, and free end. Intrinsically involved into the domain of definition of such a differential operator of -th order is the chosen boundary condition (= support) of the beam. Each is identified as the well known Friedrichs extension [8, 14] of the suitable product operator of four differential operators of first order respecting exactly the selected support of the beam. For such positive, selfadjoint we prove the existence of a purely discrete spectrum with help of a Sobolev compact embedding theorem. Two groups of these operators are distinguished. One group with analytically solvable eigenequations, and the other group for which only numerical solutions of the eigenequations are possible, both being considered in detail in Section 6. That reflects directly some properties of the mentioned Friedrichs extensions. We derive operator properties and interrelations, which seem to be unknown in the engineering and mathematical literature.
In Section 7 we discuss similarities and differences between free bending vibrations of a beam and free wave swinging of a string, for comparable boundary conditions.
In order to understand the results and their proofs, the reader should be familiar with some basics on unbounded operators and sesquilinear forms acting in Hilbert spaces, such as closure, closedness, graph norm, core, selfadjointness, spectral calculus, etc. Some of these basic concepts are outlined for the convenience of the reader.
Abbreviating we write IV for initial value(s), IVP for initial value problem(s), BV for boundary value(s), PDE for partial differential equation(s), and ONB for orthonormal basis. Moreover, the natural numbers are without zero, namely .
2 Wave-Like Equations in Hilbert Space
Let be a separable real or complex Hilbert space with inner product , being anti-linear in the first and linear in the second variable in the complex case, and with associated norm . (Note: In some purely mathematical texts the inner product is taken linear in the first factor, but linearity in the second factor is general standard in mathematical physics. Also the notion for the scalar product is common in mathematical physics, but in mathematics one also finds or .)
2.1 Preliminaries on Selfadjoint Operators, Spectral Calculus
All operators used are linear, so we will not mention this anymore. For readers who are not so familiar with the operator concept in Hilbert space theory, let us mention some basics.
Discontinuity of an operator (with respect to the –topology on ) is equivalent to its unboundedness. For such an unbounded operator its domain of definition cannot be the whole Hilbert space . Instead of that, an unbounded is defined on a (norm–) dense domain of definition , only, making necessary a particularly careful mathematical treatment. The differential operators acting in –Hilbert spaces, which we will deal with in the next sections, all are unbounded.
For a possibly densely defined operator with domain , we repeat the following notions common in Hilbert space theory:
-
(a)
is called positive, if for all .
-
(b)
The adjoint of is defined by
(2.1) is unique since is dense, and so the adjoint only exists for a densely defined operator .
-
(c)
is symmetric, if for all , denoted by , that is, if for all .
-
(d)
is called selfadjoint, if , implying symmetry but with the same domains of definition .
Selfadjointness – and not only symmetry – of an unbounded operator is an important property, since only selfadjoint operators enable spectral calculus, e.g., [14] Chapter 8, [11] Vol. I Chapter VIII, for an overview [7] Section 43.3.
Because we need the spectral calculus in Theorem 2.1 below, let us repeat its essentiality in some detail. Given a selfadjoint operator acting in . Spectral calculus is the basis for defining to every ordinary function an operator acting in . Precisely this means, any real- or complex-valued function
being defined on the spectrum of , gives rise to an operator acting in . is selfadjoint, if and only if the ordinary function is real-valued. is a bounded, thus a continuous operator, if is a bounded function. is a positive operator on , if has values only in the positives .
Note that is positive if and only if the spectrum . Therefore, we will work with functions defined on when considering positive, selfadjoint operators as in the next subsection.
2.2 Arbitrary Positive, Selfadjoint Operator
Let be a positive, selfadjoint operator acting in . When is unbounded, then its domain of definition has to be a proper dense subspace of .
Theorem 2.1 (Wave-Like IVP)
Consider the following wave-like IVP for the positive, selfadjoint operator in the Hilbert space ,
wave-like differential equation | (2.2) | |||||
IV (at ) | ||||||
IV (at ) |
with given Hilbert space vectors . Equation (2.2) is the short notion of the differential equation, it is mathematically rigourously formulated in the weak sense as
(2.3) |
Then the unique solution trajectory of the wave-like IVP is given by
(2.4) |
Furthermore, the solution trajectory is continuous with respect to the norm of the Hilbert space .
Remark, as mentioned in the previous subsection, for each the two selfadjoint operators and arise by spectral calculus from the ordinary continuous, bounded, real-valued functions of a single variable,
(2.5) |
Regardless of whether is bounded or unbounded, both selfadjoint operators and are bounded, and thus defined everywhere in . Therefore, the solution formula (2.4) is indeed valid for all IV Hilbert space vectors .
Corollary 2.2
If is a complex Hilbert space, then the solution from (2.4) is related to the strongly continuous unitary group in the following sense,
2.3 Operator with Purely Discrete Spectrum
Let us suppose that the positive, selfadjoint operator in Theorem 2.1 possesses a pure point (= purely discrete) spectrum, , meaning a pure eigenspectrum: There exists an orthonormal basis (ONB) of , which consists of the normalized eigenvectors , , of our operator , corresponding to the eigenvalues (= discrete spectral points) , , in terms of the eigenequation
(2.6) |
(Note, is supposed to be separable, so the ONB is countable.) Thus, for every ordinary function it follows by spectral calculus that
(2.7) |
Corollary 2.3
Proof.
Note, if the spectrum of contains continuous parts (possibly whole intervals), then the solution cannot be written in such a simple way.
Remark 2.4 (Modification by a Physical or Material Constant)
In the next sections we consider such positive, selfadjoint operators for physical, engineering, or technical applications. In general there is modified to with some physical or material constant in the wave-like differential equation (2.2),
Then in our solution formula (2.4) has to be replaced by , implying that is substituted by in the solution (2.8) for eigenvector expansion.
3 About Applications in –Hilbert Spaces
Let be the Hilbert space of – or –valued, Lebesgue square integrable functions defined on the spatial region in real dimensions, with the standard inner product ( complex conjugate to ) and Hilbert space norm,
is chosen as an open and connected subset of , which usually is called a domain or a region. “Connected” means “path connected”, so that any pair of points in may be connected via a continuous path within . The domain is called interior if is bounded, and an exterior region if its set complement is bounded. denotes the topological closure of the domain , and so is just the boundary of .
The subsequent Subsections 3.1 to 3.3 are dedicated to special examples of wave-like equations formulated in –Hilbert space terminology. Subsections 3.4 and 3.5 summarize some general properties of related differential operators and their spectra.
The Procedure 3.1 (Wave-Like Differential Operators in –Hilbert Space)
One starts from partial differentiation within a region with respect to the spatial variables. The first step is to transform this spatial differentiation operation on into a positive, selfadjoint operator acting in the Hilbert space , a process, which in general requires much mathematical effort. Now can be taken for the wave-like differential equation in Section 2, especially Theorem 2.1.
The exact mathematical definition of such a positive, selfadjoint differential operator acting in is often done in terms of a closed, positive sesquilinear form by Friedrichs extension [8, 14], which necessarily has to include the considered boundary condition. That means, the chosen BV are intrinsically involved into the positive, selfadjoint differential operator , and are not an extra condition. Possibly the considered BV require some kind of smoothness for the boundary of the region , e.g. segment property, or uniform cone property, or piece-wise –smoothness, etc.
In Section 5 this procedure is performed for differential operators of -th order describing the tranversal bending vibrations of a slender beam in one spatial dimension.
3.1 Primary Wave PDE in a Spatial Region
Consider the Laplace operator on an arbitrary spatial region ,
with partial differentiation in the -th variable , where .
It is well known that the Laplacian leads indeed to a positive and selfadjoint operator acting on for each of the classical homogeneous boundary conditions such as Dirichlet, or Neumann, or mixed. Even when incorporating an anisotropic, inhomogeneous medium into , in which the waves propagate, with associated generalized Laplacian, then one may also show positivity and selfadjointness in many cases, e.g. [16, 9, 2].
Here the differential equation (2.2) describes the classical propagating wave in , which satisfies the BV for which the positive, selfadjoint Laplacian is defined. The solution trajectory consists of (–classes of) functions
(3.1) |
In terms of two times continuously differentiable functions, the differential equation (2.2) is rewritten as the well known ordinary wave PDE, namely,
(3.2) |
with wave velocity . Here indicates the partial differentiation with respect to the time variable .
3.2 Maxwell Radiation and Wave Equations in Electromagnetism
For the details to the present subsection, the reader is referred to [7] Chapters 4 and 44. We only give a short overview concerning wave equations for electromagnetic radiation.
We consider the Maxwell equations in vacuum in the spatial region . We use the real Hilbert space for –valued functions on (vector-valued functions with 6 components). By it is denoted the electric field and by the magnetic field (three components for each), depending on time . Let us first describe their dynamical behaviour directly in terms of the Maxwell equations.
For simplicity we assume no current and no charge distribution in , implying divergence freeness according to the Maxwell equations,
(3.3) |
The remaining two Maxwell equations are of dynamical nature and are summarized in matrix notation by
(3.4) |
The dielectric constant and the magnetic permeability are set to for the convenience of the reader.
The walls of , that is the boundary , are supposed to consist of a perfect conductor material. This leads to the well known boundary conditions
(3.5) |
where denotes the outer normal vector at the boundary points. The two divergence operators, and , as well as the two curl (rotation) operators, and , are adapted to these perfect conductor boundary conditions, with minimal and maximal Sobolev domains of definition, respectively.
The Maxwell operator is anti-selfadjoint, meaning (that is, in the complexified Hilbert space is selfadjoint), since and for the adjoints. Consequently, , , constitutes a strongly continuous orthogonal group in . With given IV
the unique solution of the IVP (3.4) turns out to be
(3.6) |
Formula (3.6) describes the freely evolving electromagnetic field in the spatial region , namely the electromagnetic radiation, in which intense coupling of the electric and magnetic fields takes place due to the component mixing by the nondiagonal Maxwell matrix operator in equation (3.4).
It is well known that the electric and the magnetic components can be decoupled. Taking the second time derivative in (3.4), we arrive at the wave-like equation
(3.7) |
where we have inserted . It follows that
is a diagonal matrix operator in the electromagnetic field Hilbert space , which thus decouples the electric and magnetic fields. is a positive and selfadjoint operator, and so are both double curl operators and .
The two positive, selfadjoint curlcurl–operators, and , agree with two different Laplace operators, denoted by and , corresponding to the perfect conductor boundary conditions (3.5), but are not covered by the mentioned classical BV cases in the previous subsection. Decoupling ensures that we get two separate wave equations, one for the electric field and another for the magnetic field,
both living now in the Hilbert space with three components, only.
3.3 Free Bending Vibrations of a Plate
The plate is concentrated in the spatial region , and bends transversally into an additional spatial dimension. For an isotropic, homogeneous plate the operator of Section 2 is given e.g. with by
up to some material constant. One may also incorporate anisotropy and inhomogeneity for the plate. In the literature one finds some homogeneous BV, for which such an operator turns out to be positive and selfadjoint, see e.g. [9].
The literature, however, does not cover the case with the diverse BV from engineering statics and technical mechanics, which we will investigate in great mathematical detail in Section 5.
3.4 On Spectral Properties of the Differential Operators
Positive, selfadjoint differential operators of the above types possess (in general) the following spectral properties,
pure point (= purely discrete) spectrum | ||||
absolutely continuous spectrum |
with some mild assumptions about the smoothness of the boundary of the region . In addition, for interior each eigenspace is finite dimensional and the eigenvalues , , from (2.6) may be arranged increasingly and converge to infinity,
Recall from Subsection 2.3, a purely discrete spectrum is just a pure eigenspectrum of , namely: for all , where the are the eigenvalues with corresponding normalized eigenvectors . In addition, the set of eigenvectors constitutes an ONB of the Hilbert space.
There is, however, an exception for the two curlcurl–Laplacians in electromagnetism, and , respectively. The kernels of these both operators (= eigenspaces to eigenvalue zero) are infinite dimensional. These kernels consist of suitable divergence-free fields in accordance with (3.3). For all other eigenvalues, that are the strictly positive eigenvalues , the preceding statements are valid, including finite multiplicity and convergence to infinity.
In general the existence of a discrete spectrum for interior is proven with the help of compact embeddings of related Sobolev spaces into , e.g. [16, 2]. Smoothness properties of the associated eigenvectorfunctions are given by regularity arguments, cf. the next Subsection 3.5. We also use that argument with a compact embedding in section 8 for proving the spectral properties of diverse positive, selfadjoint differential operators of 4-th order in Theorem 5.5 for the Euler–Bernoulli bending vibrations of a slender beam in the bounded (= interior) interval .
3.5 On Regularity of Eigenvectors and Solutions
In the cited and further literature one may find many results concerning regularity. Regularity statements are of the following kind:
-
(a)
Smoothness of the boundary implies smoothness of the eigenvectors , interior supposed.
-
(b)
Regularity of a Hilbert space solution function of (3.1) implies smoothness of the solution function , depending on the smoothness degrees of the boundary and of the two IV functions .
For the detailed definition of smoothness, i.e. continuity or differentiability properties, see e.g. [16, 9, 2, 7].
Summary 3.2 (The Importance of Regularity)
In general, every –Hilbert space element is a class consisting of functions represented by with values either in or in ,
(3.8) |
All functions represented by agree almost everywhere in , only (with respect to the common Lebesgue measure on ). Therefore, a point evaluation or a conventional partial differentiation does make no sense.
That is the reason, why a Hilbert space formulation of differential equations is always a generalization, which has to be formulated weakly like in equation (2.3).
When in addition the class contains an element – a function – with some smoothness properties (= regularity), then that representant of the class allows for a point evaluation or ordinary partial differentiations defined by differential limits. And then the –solution trajectory as in equation (3.1) fulfilling the –Hilbert space wave-like equation, solves the ordinary wave-like PDE in the classical or traditional sense with ordinary partial derivatives in terms of conventional differential limits.
So far in the present section we have presented a short overview of results from functional analysis. But, as mentioned already in Section 1, for a general interior it is not possible to compute analytically the eigenvectors (= eigenfunctions) of a positive, selfadjoint differential operator acting in . Nevertheless Hilbert space theory is able to prove the existence of an eigenspectrum, several regularity results, and more. Concrete calculations of eigenvalues and eigenvectorfunctions are in general possible, only, if has certain geometric properties such as symmetry. Parallelepiped, ball, or circular disc, are standard textbook examples, e.g. [2], and references therein.
The case of a single spatial dimension is obviously such a special case. There an interior domain is always an open bounded interval, e.g. for as taken in the subsequent sections. The interval possesses a “completely smooth boundary”, namely its edge points and . So by regularity arguments, eigenfunctions and solution trajectories should be smooth, provided some smoothness degrees of the IV and .
4 Differential Operators for the Interval
In the interior open interval with boundary (= edge) points and is placed in the next section a slender beam. Before we arrive at the wave-like Euler–Bernoulli differential equation for bending vibrations of that beam, as preparation it is first necessary to introduce several differential operators of first and second order.
Let us abbreviate for the complex Hilbert space of -valued, square integrable functions with inner product and norm
4.1 Sobolev Spaces for the Interior Interval
For the mathematical description of differential operators it is inevitable to work with Sobolev spaces. For completeness we state here some notions and properties we need subsequently.
By we denote the set of infinitely often continuously differentiable functions for the open interval with compact support within , the standard testfunction space in distribution theory for . The elements of are the restrictions of to the open subinterval .
Let be an –times continuously differentiable function and a testfunction on , that is . When integrating –times partially, no boundary terms occur, since the testfunction has compact support in and hence vanishing boundary values for all derivatives,
This is the guiding line for the introduction of the following generalized concept of differentiability.
Definition 4.1 (Square Integrable Distributional Differentiability)
Suppose for a the existence of a vector such that
(4.1) |
Then is called the square integrable -th derivative of (exactly, differentiability in the distributional sense).
Note that, provided existence, the vector is unique because the testfunction space is –dense in .
As shown above, agrees with the conventional higher derivative, whenever is –times continuously differentiable, and so the distributional definition is an extension of ordinary differentiation using conventional differential limits.
Definition 4.2 (Sobolev Spaces)
For each the -th Sobolev space is defined as
It is equipped with the inner product
(4.2) |
with associated -th Sobolev norm .
The index yields and being the conventional scalar product and norm on with .
We present some results from the literature, see e.g. [16], an overview is found in [7] Subsection 44.1.2.
Proposition 4.3 (Properties)
The following assertions are valid:
-
(a)
is a separable complex Hilbert space for every with respect to its Sobolev inner product and -th norm from (4.2).
-
(b)
is –dense in the -th Sobolev space for each . (This way may be defined without distributional derivatives.)
-
(c)
If , then , the –times continuously differentiable functions on the open interval , for which each derivative extends continuously to both boundary points and .
-
(d)
Let . Then the identical embedding is continuous, injective and a compact map. Especially, the identical embedding is compact.
Note, here in one dimension, an absolutely continuous function , is differentiable almost everywhere in the sense of conventional differentiation, and its derivative is integrable over all compact subintervals of , but not necessarily square integrable. This way the first distributional derivative is related to ordinary differentiation by differential limits, provided square integrability is assumed.
4.2 Differential Operators of First Order for Diverse BV
We define four different differential operators of first order acting on (differentiation in the distributional sense),
As mentioned, unboundedness (= discontinuity) makes it impossible that such a differential operator may act on all Hilbert space vectors. Therefore we define four different domains of definition leading to four different operators. The following domains of definition are –dense in , they are according to the subsequent construction indirectly adapted to the following boundary conditions at the two boundary points and of the open interval ,
BV: | ||||||
BV: | ||||||
BV: | ||||||
BV: |
The minus or plus sign in the index means: For “” the BV is fulfilled, and for “” the BV is not fulfilled, corresponding to the left or right boundary point, and , respectively. The closures of these spaces with respect to the first Sobolev norm are defined to be the domains of definition of these operators regarded as operators acting in . Of course, by construction the domains are –closed subspaces of the Sobolev Hilbert space .
From Proposition 4.3(c) we know that is a subspace of (continuous functions on the closed interval ) and thus the above abstract definition with –closures allows for a direct boundary evaluation, in contrast to the previous indirect BV construction, and it follows with Proposition 4.3(b),
Observe that these four differential operators of first order are auxiliary but necessary for introducing the correct BV from engineering statics for the diverse differential operators of 4-th order for the bending beam in the subsequent Section 5.
Lemma 4.4
The four differential operators are closed, and for their –adjoints it holds
Proof.
The graph norm of these operators agrees with the Sobolev norm . So they are closed unbounded operators in by construction. Especially, by that construction,
are cores, which are –dense in the domains , respectively.
Let us first consider the pair and . According to the construction of the adjoint of an operator in (2.1) we have
(4.3) |
Suppose first . Applying the testfunctions to the connection , we arrive at and , especially . Conversely, let . With partial integration (PI, extension from smooth functions to via Proposition 4.3(b)) and for we arrive at
for all . With help of (4.3) we conclude that and . Finally, . Adjoining leads to (note, for every closed operator it holds ).
For the pair and the situation is different. By definition of the adjoint it is
(4.4) |
Let first . Applying the testfunctions to the connection , we arrive at and . In order to prove that we integrate partially (PI)
Thus is fulfilled for all , if and only if the boundary term vanishs. We know for all , but there is no BV at for . Thus a vanishing boundary term forces , implying . So far, for . Conversely, let . Then the above PI yields for all , implying and with help of (4.4). Therefore, , and by adjoining . ∎
Remark 4.5 (Anti-Selfadjoint Differential Operators of First Order)
There
exist
overcountably many anti-selfadjoint differential operators operating in .
For each with the operator is defined as differentiation of first order with BV different to above,
So, fulfills the boundary condition . See e.g. [11] Vol. I p. 259, [11] Vol. II p. 141 f, or [14] p. 240 f, additional properties are found in [7] Subsection 17.5.1.
The operators are related to the two types and , in the sense that
is the smallest, the largest differential operator in , whereas all the anti-selfadjoint operators lie in between, also and .
Note, when multiplying with and with Planck’s constant , one arrives at the selfadjoint momentum operators , used in one dimensional quantum mechanics on the spatial interval .
4.3 Four Different Laplace Operators on the Interval
Here for our interval a Laplace operator is defined to act by double differentiation as on functions , of the single variable . Also when multiplying with the minus sign, that is , the differential operator is denoted a Laplace operator or simply a Laplacian. In order to obtain positivity and selfadjointness of as an operator acting in we have to introduce some BV, e.g. analogously to Subsection 3.1.
Here, however, we proceed by defining 4 different Laplacians in terms of operator products of suitable differential operators of first order, possessing the desired BV and in addition positivity and selfadjointness. So let us recall, that the operator product of the two operators and is defined by
(4.5) |
Since for a closed operator the operator product is always positive and selfadjoint, one immediately obtains the next result with help of Lemma 4.4. The indices, , , etc., denote homogeneous Dirichlet or Neumann BV at the left or right boundary point, or , of the interval , respectively.
Corollary 4.6 (Four Positive, Selfadjoint Laplacians on )
Consider the
following four Laplace operators acting in the Hilbert space (differentiation in the distributional sense).
-
(a)
The positive, selfadjoint Dirichlet Laplacian is given by the operator product
From and the fact that has no BV, it follows that satisfies the BV for , only, namely the homogeneous Dirichlet BV . In the literature this BV commonly is indexed by “” as .
-
(b)
The positive, selfadjoint Neumann Laplacian is given by the operator product
Since has no BV, the BV for arises from the BV of . The operator product condition (4.5) implies for the first derivatives , and hence we arrive at the homogeneous Neumann BV . In the literature this BV commonly is indexed by a zero “”, that is .
-
(c)
The two positive, selfadjoint mixed Laplacians are given by the operator products
with mixed homogeneous Dirichlet and Neumann BV, and , respectively.
Note that by Proposition 4.3(c) we have , and thus and allow for a boundary evaluation, and so the BV are defined as usual.
The eigenspectra with eigenvalues and normalized eigenvectorfunctions ,
of the four Laplacians acting in the Hilbert space from this Corollary 4.6 are well known to be
with , of course. (Note, that may be easily derived with help of the theory of Fourier series expansions by applying certain odd or even symmetry arguments.) Exclusively the Neumann Laplacian possesses the eigenvalue zero for which the constant functions constitute the one-dimensional eigenspace. In each case the normalized eigenfunctions constitute an ONB of the Hilbert space , leading to four different ONBs.
Some of these eigenfunctions are not contained in every domain or range (= image) of the four differential operators , , , of first order. For example, for odd we obtain
(4.6) | ||||
Remark, this fact finally provokes the result that the eigenequation for group (II) in Corollary 5.4 below is not analytically solvable, see Summary 6.2.
5 Bending Vibrations of a Beam in One Spatial Dimension
Here we treat free bending vibrations in detail. Given a slender, isotropic, homogeneous, straight, elastic beam of length with constant cross-sectional area.
The –axis is along the neutral fiber of the beam, and the bending deformations are vertical (transversal) to the –axis with positive –direction down as in the figures.
It is assumed that the beam is supported only at its ends and .
In the figures beside, only as a first example both ends are supported flexibly, that is, each support is free to rotate and has no moment resistance.
![[Uncaptioned image]](x1.png)
![[Uncaptioned image]](x2.png)
As example, both ends are supported
flexibly, denoted as (a)–(a) support.
The beam is along the closed interval with boundary points and . So we deal with spatial functions on the open interval , for which we are interested in their behaviour at the two boundary points, where the BV have to be installed.
In the present section we take over our notions introduced in the previous Section 4. Especially we use our complex Hilbert space of square integrable complex-valued functions on the open interval for describing the bending vibrations of the beam in terms of the wave-like Euler–Bernoulli differential equation. Nevertheless we are interested in real solutions, only.
5.1 Differential Operators of 4-th Order for Beam BV
For beams usually the following three support possibilities are used, well known from statics. That is, for the transverse, purely spatial bending function we choose at one end of the beam, or , the following diverse BV, e.g. [10] etc.,
(a) = flexible support | ||||||
(b) = fixed support | ||||||
(c) = free end |
Notational Remark 5.1
If the left end of the beam, , is supported according to (a) and the right end, , is supported by (b), then we briefly call the beam to be (a)–(b) supported. Analogously, (c)–(b), (b)–(a), , and so on.
For these different possibilities of support at the ends of the beam we will construct positive, selfadjoint differential operators of 4-th order, (differentiation in the distributional sense), so that the BV are respected. Moreover, we add three cases, which are not in agreement with the above supports known from statics.
Subsequently we list in the first column the considered support of the beam, then the associated four BV, and finally in the third column the corresponding product differential operator of 4-th order respecting exactly these four support BV. (See (4.5) for operator products.) Finally the positive, selfadjoint operator turns out to be a unique extension of the product operator for each of the beam supports.
(a)–(a) | BV: | |||||
(a)–(b) | BV: | |||||
(a)–(c) | BV: | |||||
(b)–(b) | BV: | |||||
(b)–(c) | BV: | |||||
(c)–(c) | BV: | |||||
add-(i) | BV: | |||||
add-(ii) | BV: | |||||
add-(iii) | BV: |
For the remaining possibilities (b)–(a), (c)–(a), (c)–(b) of statics, simply invert the beam. Also BV add-(iii) is the inverted beam with BV add-(ii). Note, we have
especially it follows that each is densely defined in our Hilbert space . By construction it holds for each of the above product operators that
Since according to Proposition 4.3(c), the boundary evaluations for , , , and at and are well defined.
Notational Remark 5.2 (Operator Extension)
For an operator to be an extension of the operator , means
denoted as . We write or equivalently , if is a genuine operator extension of , that is with .
Theorem 5.3 (Existence of Unique Positive, Selfadjoint Extensions)
In each of the above support cases, there exists a unique positive, selfadjoint operator extension for the product operator such that
(5.1) |
Moreover, for that unique it holds,
is the so-called Friedrichs extension of the product operator , the smallest form extension of . That procedure to obtain a positive, selfadjoint extension operator of the product operator is based on well known mathematical techniques, e.g., [16], [14] Section 5.5, [8] Chapter six, [11] Vol. 2 section X.3, etc.
Possibly there may exist further positive, selfadjoint extensions of , but then their domains of definition have to contain elements not from the subspace , meaning, condition (5.1) is not fulfilled.
Corollary 5.4
We distinguish two groups (I) and (II) of operators of type or .
-
(I)
In each of the four supports (a)–(a), add-(i), add-(ii), and add-(iii), the positive, selfadjoint operator is not a genuine operator extension of , since already the operator product in is positive and selfadjoint und so coincides with ,
(a)–(a) add-(i) add-(ii) add-(iii) The spectrum of is the square of the spectrum of the associated positive, selfadjoint Laplace operator from Corollary 4.6, but of course with the same normalized eigenvectorfunctions as stated in Subsection 4.3.
-
(II)
In the cases (a)–(b), (a)–(c), (b)–(b), (b)–(c), (c)–(c), the positive, selfadjoint extension is a genuine operator extension of the original product operator , that is . Here each is defined in terms of a positive closed sesquilinear form (Friedrichs extension). Therefore, the spectrum of is not related to the spectra of the four Laplacians from Corollary 4.6.
Proof.
Part (I) is an immediate consequence of Subsection 4.3, since also
the Laplacians are operator products. So is already selfadjoint, and for a selfadjoint operator there do not exist
selfadjoint extensions nor selfadjoint restrictions.
We prove part (II) for the example (a)–(c) with ; all other cases work analogously.
By direct inspection, taking into account the BV as in (4.6), it is seen that none of the eigenfunctions
, , and
, (with odd)
of the Laplacians from Subsection 4.3 is contained in
the domain of definition of the product operator .
Especially, if is an eigenfunction of , then
, since
.
But , and so the last operator cannot be applied.
Hence the spectrum of has nothing to do with the spectrum of any Laplacian.
∎
Nevertheless, for all cases of group (II) of the above Corollary 5.4 one may deduce some general statement concerning the spectrum of the unique positive, selfadjoint extension operator . Since is interior, one expects a spectral result as stated in Subsection 3.4.
Theorem 5.5
Let be an above positive, selfadjoint extension for an arbitrarily chosen support in Theorem 5.3 (both groups in Corollary 5.4). Then it holds:
-
(a)
has a pure point (= purely discrete) spectrum .
-
(b)
Each eigenspace is finite dimensional and the eigenvalues , , from (2.6) may be arranged increasingly,
according to their finite multiplicity. They converge to infinity, .
-
(c)
Only when belongs to one of the supports (a)–(c) [also (c)–(a)], (c)–(c), and add-(i), then possesses the eigenvalue zero. For (a)–(c) [also (c)–(a)] and add-(i) the eigenspace to the eigenvalue zero is one-dimensional, whereas for (c)–(c) the eigenspace to the eigenvalue zero is two-dimensional.
5.2 Euler–Bernoulli Beam Equation in
With the previous Subsection 5.1 the main work is already done. It remains to apply our primary result for the wave-like IVP with purely discrete spectrum for the positive, selfadjoint operator from Subsection 2.3, only.
The Euler–Bernoulli (E-B) differential equation IVP for the bending vibrations reads in Hilbert space language as in Theorem 2.1 but with material modification as outlined in Remark 2.4,
E-B differential equation | (5.2) | |||||
IV (at ) | ||||||
IV (at ) |
with given IV functions . The positive, selfadjoint differential (extension) operator of -th order has to be chosen according to Theorem 5.3 for the considered support, (a)–(b), (b)–(b), etc., multiplied with the material constant
arising from the constant cross-sectional area , the mass density per unit length , the elasticity modulus for the material of the beam, and the second area moment of the cross-section, e.g. [10], etc.
6 Solving Concretely the Eigenequation
6.1 The Eigenequation (5.3) as Ordinary Differential Equation
So far we dealed with the abstract results from functional analysis. In order to arrive at a concrete solution of the Euler–Bernoulli problem, it is necessary to calculate explicitly the eigenvalues and eigenvectors for a chosen positive, selfadjoint operator from the preceding Section 5.
Each positive, selfadjoint differential operator of group (II) in Corollary 5.4 is more than only on fulfilling the associated BV, but possesses a specific domain of definition containing some elements not from . Nevertheless it seems that here regularity can also be proven, similarly for e.g. the Laplace operators in the literature. And so, without giving a proof, we may assume that the eigenfunctions are sufficiently smooth, at least contained in .
Observation 6.1 (Eigenequation for the Eigenfunctions)
Under the preceding assumption of sufficiently smooth eigenvectors the eigenequation (5.3) is just the linear, homogeneous ordinary differential equation of -th order,
(6.1) |
Here for example the (a)–(b) support causes the boundary condition
(6.2) |
The two groups (I) and (II) of support cases in Corollary 5.4 behave very different in solving the eigenequation.
Summary 6.2 (Solving the Eigenequation)
The solution of the ordinary differential (6.1) with associated BV for supports of group (I), namely (a)–(a), add-(i), add-(ii), and add-(iii), is derived in the subsequent Subsection 6.2. These are the only analytically solvable cases, they belong to nonproper operator “extensions” but coincide with the operator products according to Corollary 5.4(I), that is .
For the remaining support cases, group (II) in Corollary 5.4, for which the positive, selfadjoint operators are genuine operator extensions of the product operators , meaning , the eigenequation (6.1) with associated BV (like in example (6.2) for (a)–(b) support) is not solvable analytically, however by numerical methods, only, e.g. [10], [15], and references therein. The numerics is briefly outlined in Subsection 6.3 below.
6.2 The Analytically Solvable Eigenequations
In the four support cases (a)–(a), add-(i), add-(ii), add-(iii) of group (I) in Corollary 5.4 the eigenequation (6.1) is solvable analytically, since each positive, selfadjoint operator is the square of one of the four Laplacians in Subsection 4.3. Consequently, by the spectral calculus (2.7) the eigenvalues of are the square of the eigenvalues of the Laplacians, respectively, but with the same normalized eigenvectors from Subsection 4.3 (with ), leading to
(a)–(a) | ||||||||
add-(i) | ||||||||
add-(ii) | ||||||||
add-(iii) |
For each of these four supports the unique solution of the Euler–Bernoulli beam IVP is given by equation (5.4). For almost all and one arrives at
(6.3) |
6.3 Reporting on the Numerics of the Eigenequation
Let us briefly outline the numerics of the eigenequation from Observation 6.1, but for the strictly positive eigenvalues , only, cf. [10], [15], and references therein. The eigenvalue zero is treated in Theorem 5.5(c). The general solution of the linear ordinary differential equation of -th order occurring in the eigenequation (6.1),
is well known to be given by
(6.4) |
with arbitrary constants , where
As example let us take the (a)–(b) support, not possessing the eigenvalue zero. The other support cases work analogously. The (a)–(b) BV in (6.2) yield
In other words, the BV rewrite as the system of linear equations
(6.5) |
In order to obtain a nontrivial function in (6.4), the vector should be nontrivial. That is only possible when the determinant of the matrix vanishes. It is immediately calculated that is equivalent to
(6.6) |
The latter commonly is called the eigenvalue equation for the (a)–(b) support, too. From the solutions of (6.6) one derives the eigenvalues of the eigenequation (6.1) by
In accordance with Theorem 5.5 the values may be arranged increasingly,
The described procedure ensures that each eigenspace of is one dimensional.
(a)–(b) support belongs to group (II) in Corollary 5.4, and hence the eigenvalue equation (6.6) is solvable numerically, only. A so found numerical then has to be inserted into the linear system (6.5) in order to obtain suitable vectors , from which one finally arrives at a normalized eigenfunction via equation (6.4), being indeed infinitely smooth.
Here at our example for (a)–(b) support the first and second line in (6.5) imply . So the system of linear equation (6.5) reduces to
(Note, also the vanishing determinant here is equivalent to the eigenvalue equation (6.6).) Putting one gets . Thus by (6.4),
(6.7) |
where has to be chosen such that
In order to obtain a numerical solution of the Euler–Bernoulli IVP, one has to use the above solution formula (5.4). However, numerics forces the infinite sum there to be approximately reduced to a finite sum ranging only over some finite number of additive terms, depending on the desired degree of numeric approximation,
(6.8) |
for and . Of course, both occurring scalar products,
(6.9) |
also may be calculated numerically.
7 Wave Swinging of a String versus Bending Vibrations of a Beam
In this section we compare the solution of a wave equation with the solution for the beam bending equation derived in the prior section. Directly comparable are homogeneous Dirichlet BV for the wave IVP and the support case (a)–(a) for the Euler–Bernoulli bending equation, only.
7.1 String Wave Swinging with Homogeneous Dirichlet BV
The IVP for the wave equation in one spatial dimension with homogeneous Dirichlet BV is given in function language as
wave PDE | |||||
IV (at ) | |||||
IV (at ) | |||||
hom. Dirichlet BV |
with wave speed , length , and are two given IV functions. The solution can be interpreted as a swinging string (of a violin or guitar) with length , which is fixed at both ends. Translated into Hilbert space language, we arrive at
wave differential equation | (7.1) | |||||
IV (at ) | ||||||
IV (at ) |
with given IV functions . Note, in Hilbert space terminology the BV are covered by the positive, selfadjoint Dirichlet Laplace operator from Corollary 4.6.
The normalized eigenfunctions of with corresponding eigenvalues are stated in Subsection 4.3, namely
(7.2) |
According to Corollary 2.3 and Remark 2.4 the unique solution of the wave IVP is given in Hilbert space language as
(7.3) |
The inner products of the eigenvectors with the IV functions ,
(7.4) |
appearing in the solution (7.3), constitute just the sine Fourier coefficients and of the (odd extensions to of the) IV functions , respectively. Using these coefficients the wave solution (7.3) rewrites as an ordinary (smooth) function by
(7.5) |
for almost all and all , where
(7.5) is just the sine Fourier series expansion (with respect to the spatial variable ).
7.2 Beam Bending Vibrations with (a)–(a) Support
We take the (a)–(a) operator for the Euler–Bernoulli differential equation from (5.2). The normalized eigenfunctions of with corresponding eigenvalues are stated in Subsection 6.2, namely
Recall, by spectral calculus (2.7) the eigenfunctions are the same as for the Laplacian from (7.2) but with square for the eigenvalues of .
With the sine Fourier coefficients and as defined in equation (7.4) above, the unique solution formula (5.4) or (6.3) of the Euler–Bernoulli IVP turns out to agree with the sine Fourier series expansion (with respect to the spatial variable )
(7.6) |
for almost all and all , where here
For completeness let us state the Euler–Bernoulli IVP in function language. With ordinary solution function and BV support (a)–(a), it writes as
Euler–Bernoulli PDE | ||||
IV (at ) | ||||
IV (at ) | ||||
hom. Dirichlet BV | ||||
hom. second order BV |
7.3 Comparison: Wave IVP and Euler–Bernoulli PDE
Both solutions, wave and Euler–Bernoulli (E-B), look very similar, cf. the formulas (7.5) and (7.6), provided identical IV functions and thus identical Fourier coefficients and by (7.4), because of identical normalized eigenfunctions .
The difference becomes visible from the exponent or in , leading to different eigenvalues and different circular frequencies,
wave: | ||||||||
E-B: |
For each the circular frequency in the bending case of Euler–Bernoulli we may decompose similarly to the string wave swinging as
wave: | with velocity | |||||||
E-B: | with velocity | (7.7) |
Now the solutions of both IVP are rewritten as
wave: | (7.8) | |||||
E-B: | (7.9) |
Let us decompose both solutions into left and right propagating waves (running in negative and positive -direction, respectively) for every -th spatial mode , , respectively. This may be immediatley done by use of the trigonometric addition theorems (for and ),
This finally leads to the mode decompositions
wave: | ||||
E-B: | ||||
8 Proof of Theorems 5.3 and 5.5 in Subsection 5.1
Part (a). By [9] Theorem 2.6(2) there exists a constant so that
Consequently, we arrive at the following estimate for the Sobolev norm (recall, is the –norm)
At the inequality with star we used , therefore . That means, the norm and the second Sobolev norm are equivalent on .
For the demonstration how to proceed, let us take for example the support case (a)–(b); the other cases work analogously. For (a)–(b) it is . Taking adjoints according to Lemma 4.4 one gets
We define the positive sesquilinear form
(since the boundary terms are well defined). Because of the equivalence of the norm and the second Sobolev norm , it follows that the form is closed, since is a –closed subspace of the second Sobolev space . Especially it follows that the product operator is closed.
We now cite [8] Subsection VI § 2, 1 with a result, which is valid for every positive closed form in any real or complex Hilbert space .
Theorem 8.1 (First Representation Theorem of [8])
For the positive closed form there exists a positive, selfadjoint operator acting in (here ), such that:
-
(i)
, and
(8.1) -
(ii)
is a form core for .
-
(iii)
If for and it holds for all from a form core of , then and .
Moreover, uniqueness of is given by (i).
Suppose and . Then two times integrating partially leads to (extension from smooth functions by Proposition 4.3(b))
(8.2) |
Recall for from Proposition 4.3(c), and hence the boundary terms are well defined. Inserting and in (8.2), it follows that
(8.3) |
Consequently we arrive at the equivalence
From the condition together with we conclude from (iii) of the first representation Theorem that and . In other words,
and consequently, is an extension of .
If conversely, , then doubled partial integration (8.3) for all ,
compared with (8.1) ensures . Thus
With Example 2.13 of [8] Subsection VI § 2, 4 one concludes that
(8.4) |
So far we have proven Theorem 5.3 up to the stated uniqueness.
Part (b). Let us turn to derive the stated uniqueness.
We start with support (a)–(a) to be given. Then the equation analogous to (8.4) is
with the positive, selfadjoint Laplacian , in accordance with Corollary 5.4(I). Since for a selfadjoint operator there do not exist proper selfadjoint restrictions nor proper selfadjoint extensions, uniqueness of is already achieved. The same holds for the other support cases in group (I), and so we may exclude subsequently the group (I), namely the support cases (a)–(a), add-(i), add-(ii), and add-(iii). But in the following argumentation an exclusion of group (I) is not necessary.
Let us select now to correspond to any support case. First note that the above form is a closed extension of the positive form
For the detailed proof that is indeed the smallest closed extension of see part (d). The heuristics behind that is explained here: First remember, the norm is equivalent to the second Sobolev norm by part (a), so the –closure of coincides with its closure with respect to within . Now take into account the fact that does not possess a boundary evaluation for and , only for and , in accordance with Proposition 4.3(c). So, when performing the –closure of within , the BV for and of are no longer respected, and the –closure of should agree with
Consequently, is the smallest closed extension, i.e. the closure, of the positive form , and is the Friedrichs extension of , [8] Subsection VI § 2, 3.
For the proof of uniqueness of , assume that is any positive, selfadjoint extension of . Then the corresponding positive form , is closable, its closure be denoted by the same symbol . The operator is the operator associated to by the first representation Theorem, Corollary 2.2 of [8] Subsection VI § 2, 1, that is,
Since is the smallest closed form (its closure) extending , one concludes . If , then by restriction to ,
According to the uniqueness stated in (i) in the first representation Theorem, it follows and . So, is the unique positive, selfadjoint extension of , which fulfills the stated property .
Up to the proof of the above more intuitive argument given in part (d), Theorem 5.3 now has been proved.
Part (c). We prove here the spectral results of Theorem 5.5. The identical embeddings are compact by Proposition 4.3(d). The proven equivalence of norms now ensures that is compact, and (a) and (b) of Theorem 5.5 follow e.g. from [7] Proposition 43.5-11, a result outlined also in many further textbooks.
Remark 8.2
Compact embedding arguments for a discrete spectrum (like here) also take place for the four Laplacians in Subsection 4.3, but since we are in the interval with two completely smooth boundary points, their spectra may be calculated directly with associated smooth eigenvectorfunctions, as we have done there.
We turn to Theorem 5.5(c). contained in the kernel of means with (kernel = eigenspace to eigenvalue zero), which leads to . Thus . This is a vanishing second distributional derivative, so we may conclude to be of type with some constants . (This conclusion would not be true, if is valid for almost all , only, without the knowledge of being a second distributional derivative, which is ensured by being an element of .) Up to (a)–(c), (c)–(c), and add-(i), the other support possibilities imply and consequently . Inserting the supports (a)–(c), (c)–(c), or add-(i) into finally proves (c) (if one of the constants and is freely to choose, then the kernel of is one-dimensional, if both, then two-dimensional). For (c)–(a) invert the beam.
Part (d). We use the Poincaré estimate as proven in [9] Section 2.3: There exists a constant such that
(8.5) |
Here is the inner product of with the constant unit function for all . Applying (8.5) to yields
(8.6) |
Recall, is continuously differentiable, and is defined in the distributional sense. Then for all ,
with some constant . For the latter inequality one has to use the estimate and inequalities like as in part (a). It follows that the norm
is a third norm on being equivalent to the norm and the second Sobolev norm . The associated inner product reads
Suppose that the closure of the form
from part (b) does not agree with the closed, positive form from part (a). That is, we have the proper form inclusion , or equivalently, is a proper closed subspace of with respect to the equivalent norms on . Then there exists a
which is orthogonal to with respect to the inner product , meaning
(8.7) | ||||
for all , or equivalently, | ||||
Note that the identity is valid only, when is taken from the form core of its closure . This is shown with a double partial integration analogously to (8.2) taking into account the BV of and of .
Lemma 8.3
Let . Then the following assertions are valid:
-
(a)
If for all , then for with a constant .
-
(b)
Suppose there exists a constant such that
Then there exist constants with for .
In the more general context of distribution theory, (a) is well known as Hilbert’s lemma.
-
Proof. Fix a with . For each define
Then with compact support contained in . It holds
(a) Inserting yields
Since may be chosen arbitrarily and is dense in , it follows .
Restricting the orthogonality relation (8.7) to the testfunctions , we get
since because of the compact support of . Then part (b) of the previous lemma implies
(8.8) |
an identity being valid in the distributional or –sense, since .
In terms of testfunctions with their compact supports, it is not possible to specify in further details, one has to take the BV of a beam support into account. Let us reduce the orthogonality relation (8.7) to boundary terms. This has to be done for every case of or separately. Moreover, for convenience we set from now on without restriction of generality. As example we choose the support case (b)–(c),
and for the above the condition yields the BV and . Inserting (8.8) leads with the BV and for and doubled partial integration (PI) to
Noting and by the BV, now the orthogonality relation (8.7) reads as
The expressions in the round brackets vanish because of the following reason: By the boundary extension Theorem, e.g. [4] § 14, 6.6, to all given BV and there exists a function satisfying the specified BV. That means, when varying in , then and take arbitrary values independently of each other, and so these expressions have to vanish,
(8.9) | ||||
(8.10) |
On the other hand, (8.8) implies with the BV and that
(8.11) |
As a first consequence we get by inserting the right boundary point into (8.11) (and multiplying by ) that
(8.12) |
And when integrating (8.11) over and factor out one arrives at the second consequence,
(8.13) |
The formulas (8.9), (8.10), (8.12), and (8.13) perform the system of linear equations
which is uniquely, thus trivially solvable because of a nonzero determinant, meaning
That is, there does not exist a vector , which is orthogonal to with respect to . This is a contradiction to our above assumption that the closure of the form of part (b) does not agree with the closed, positive form from part (a).
Our summary in other words: It holds , with , for the closure of the form , or equivalently, is the smallest closed form extension of the form .
All other support cases are proven analogously.
However, for the supports (a)–(b), (b)–(b), and (c)–(c) one may arrive faster at the aim with the following argumentation: Remark first that for (a)–(b) and (b)–(b) it is because of the BV for the orthogonal . Then search for all polynomials up to degree , which fulfill the associated four BV. Of course . Inserting into the orthogonality relation (8.7) in the form
and noting that with some constant , then one arrives at , simplifying (8.8) to , and thus we end up with a simpler system of linear equations.
References
- [1] W.O. Amrein, J.M. Jauch, K.B. Sinha, Scattering Theory in Quantum Mechanics, W.A. Benjamin Inc., Advanced Book Program, 1977.
- [2] R. Dautray, J.L. Lions, Mathematical Analysis and Numerical Methods for Science and Technology, 6 vols., Springer, New York, Berlin, 1990–1993.
- [3] P. Drabek, G. Holubova, Elements of Partial Differential Equations, Walter De Gruyter, 2007.
- [4] H. Fischer, H. Kaul, Mathematik für Physiker, vol. 2, third ed., Teubner–Verlag, Wiesbaden, 2008.
- [5] S.M. Han, H. Benaroya, T. Wei, Dynamics of transversely vibrating beams using four engineering theories, Journal of Sound and Vibration, 225(5), 1999, pp. 935–988.
- [6] R. Honegger, M. Lauxmann, B. Priwitzer, On Wave-Like Differential Equations in General Hilbert Space with Application to Euler-Bernoulli Bending Vibrations of a Beam, Partial Differential Equations in Applied Mathematics 9 (2024) 100617, https://doi.org/10.1016/j.padiff.2024.100617
- [7] R. Honegger, A. Rieckers, Photons in Fock Space and Beyond, 3 vols., World Scientific, Singapore, 2015.
- [8] T. Kato, Perturbation Theory for Linear Operators, 2nd ed., Springer, Berlin, Heidelberg, New York, 1980, 1995.
- [9] R. Leis, Initial Boundary Value Problems in Mathematical Physics, Teubner, J. Wiley & Sons, also Dover Publications Inc., 1986, 2013.
- [10] K. Magnus, K. Popp, W. Sextro, Schwingungen, 9-th ed., Springer, 2013.
- [11] M. Reed, B. Simon, Methods of Modern Mathematical Physics, 4 vols., Academic Press, New York, 1981, 1975, 1979.
- [12] H. Reisman, P.S. Pawlik, Elastokinetics, West Publishing Co., 1974.
- [13] W.A. Strauss, Partial Differential Equations, John Wiley & Sons, 2008.
- [14] J. Weidmann, Linear Operators in Hilbert Spaces, Springer, 1980.
- [15] T. Westermann, Mathematik für Ingenieure mit Maple, vol. 2, Springer, 2001.
- [16] J. Wloka, Partial Differential Equations, Cambridge University Press, 1987.