Abstract
Starting from a Lagrangian action functional for two scalar fields we construct, by variational methods, the Laplacian Green function for a bounded domain and an appropriate stress tensor. By a further variation, imposed by a given vector field, we arrive at an interior version of the Hadamard variational formula, previously considered by P. Garabedian. It gives the variation of the Green function in terms of a pairing between the stress tensor and a strain tensor in the interior of the domain, this contrasting the classical Hadamard formula which is expressed as a pure boundary variation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Hadamard variational formula expresses how the Green function for a domain changes under an infinitesimal variation of the boundary of the domain. It is usually formulated in terms of a boundary integral, like in (2.2) below. However, in his book [2], Paul Garabedian formulated the principle instead in terms of an area integral (in two dimensions) containing a generalization of the (Maxwell) stress tensor, a kind of energy-momentum tensor for the electromagnetic field (see [3]). The present paper, written as a tribute to Harold S. Shapiro (Fig. 1), grew out from attempts to understand Garabedian’s point of view from a more general perspective.
We elaborate the subject in a setting of subdomains of a Riemannian manifold of arbitrary dimension using tools of differential geometry and tensor analysis. The main result of the paper, Theorem 6.1, expresses the Hadamard principle in terms of a bulk integral containing a stress tensor and a strain tensor. The Green function takes the role of being a physical scalar field (or potential), and it is the main ingredient in a Lagrangian action functional representing a polarized energy. In addition, the Green function turns out to coincide (except for a sign) with the value of the action at extremum. The stress tensor is obtained by varying the action with respect to the underlying Riemannian metric, while the strain tensor represents the information of how an imposed vector field deforms the domain.
2 Hadamard formula in Euclidean setting
The (Laplacian) Green function \(G_a\) for a (bounded) domain \(\Omega \subset {\mathbb R}^n\) is defined by the properties
Writing \(G(x,a)=G_a(x)\), G(x, a) is symmetric with respect to x and a. This is most clearly seen by using standard Green’s formulas to express the Green function as a mutual energy:
The Green function certainly depends on the domain, \(G=G_\Omega \), and Hadamard’s classical formula [2] expresses how \(G_\Omega (x,a)\) changes under small variations of the boundary of this domain. In traditional notations it reads
where \(\delta n\) represents an infinitesimal deformation of \(\partial \Omega \) in the outward normal direction. To express this more accurately one may divide by an infinitesimal time interval \(\delta t\) so that \(v_n={\delta n}/{\delta t}\) represents the velocity of the boundary in normal direction under an evolution \(\Omega (t)\) with respect to t. Then the formula becomes
For the derivation of (2.3) it is useful to think of \(v_n\) as the normal component of a vector field \(\mathbf{v}\) which is defined everywhere, and then let all of \(\Omega \cup \partial \Omega \) move with \(\mathbf{v}\). In particular the boundary points move, and since we shall not keep track of individual points on the boundary the effective meaning simply becomes that the speed of the boundary \(\partial \Omega \) in the normal direction equals the normal component \(v_n=\mathbf{v}\cdot \mathbf{n}\) of \(\mathbf{v}\) on \(\partial \Omega \).
Thus the tangential component of \(\mathbf{v}\) on \(\partial \Omega \) is insignificant for (2.3). The same is true for the interior points of \(\Omega \): the restriction of \(\mathbf{v}\) to \(\Omega \) never enters the formula. This is exactly what marks the difference between the formula (2.3) and the formula given in [2]. The latter formula is based on the strain on the points in \(\Omega \) caused by \(\mathbf{v}\). This strain makes up a strain tensor \(D_{ij}\), and together with a certain stress tensor \(T^{ij}\) the variational formula becomes
See more precisely Theorem 6.1 below. Garabedian’s formula appears as equation (15.20) in [2], and the stress tensor there is also given in our Example 3.1.
3 Several variations of an action functional
We shall put the variational formula (2.2) in a context of field theory, where we vary a Lagrangian action functional with respect to all fields involved. The action is
a polarized energy for two real-valued scalar fields and provided with source terms (point sources at a and b). The fields are to vanish on the boundary:
Variation of S with respect to \(\psi _a\), \(\psi _b\) and requiring it to be stationary to the first order (i.e. setting \(\delta S=0\) in traditional notation) gives
hence that \(\psi _a\), \(\psi _b\) are actually the Green functions at a and b:
From this, together with (2.1), we see that “on-shell” (i.e. with (3.3) inserted) the action equals the Green function itself, modulo a sign:
This is a negative number, which is natural since setting \(\delta S=0\) should mean that the action is minimized. Notice that \(\psi _a=\psi _b=0\) are allowed test functions.
In relativistic field theory one often introduces energy-momentum tensors by varying an action with respect to the underlying Minkowskian metric. In our case there is no time variable present, and it is more appropriate to speak of just a stress tensor (or possibly stress-energy tensor), and this can then be introduced on an abstract basis by varying the underlying Riemannian metric. So far we have not seen any metric, but the Euclidean metric \(ds^2=dx_1^2+\dots + dx_n^2\) actually is there, implicit in the scalar product and the nabla operator. When varying this Euclidean metric we get more general Riemannian metrics. Therefore it is natural that we, from outset, let \(\Omega \) be a subdomain of a Riemannian manifold M.
We shall need notations from differential geometry, in particular those of tensor analysis and differential forms. We shall then write coordinates with upper indices, like \(x^1, \dots , x^n\), and we write the metric as
with \((g_{ij})\) symmetric and positive definite at each point. Summation over repeated indices (when one is up, the other down) is implied.
In this setting the action functional (3.1) becomes
In (3.5) we have also used the metric tensor with upper indices. By definition, \((g^{ij})\) represents the inverse of \((g_{ij})\) when these tensors are viewed as a matrices:
Moreover, \(g=\det (g_{ij})\) denotes the determinant of \((g_{ij})\), and
This n-form depends on the choice of coordinates, while there is an invariant version, namely the volume form given by
The manifold is assumed to be oriented, and of course we choose \(\sqrt{g}>0\).
If we want to spell out all dependencies for S we may write
We have already varied S with respect to \(\psi _a\) and \(\psi _b\), this was elementary in the Euclidean setting and it extends directly to the Riemannian case. See (4.2) and thereafter for some details and coordinate expressions.
The variation with respect to \((g_{ij})\) is also standard, but for the sake of completeness we shall give the details. In fact, this is what makes the stress tensor pop up. When varying S with respect to \((g_{ij})\) it is convenient to think of \((g_{ij})\) as depending on a real parameter, say t, and write \(g_{ij}=g_{ij}(t)\). We shall only make variations which keep \((g_{ij})\) symmetric. Thus, on denoting t-derivatives by a dot whenever convenient we have \({\dot{g}}_{ij}={\dot{g}}_{ji}\).
Now \(\frac{d}{dt}(g_{ij}g^{jk})=0\), hence \({\dot{g}}_{ij}g^{jk}+g_{ij}{\dot{g}}^{jk}=0\). Therefore,
In general, if A is an \(n\times n\) matrix, assumed here to be symmetric with positive eigenvalues (just for simplicity), then
With \(A=(g_{ij})\), \(g=\det (g_{ij})\) this gives
It also follows that
Starting from (3.5) and using (3.8), (3.9) we now have
Here we have defined the stress tensor in contravariant form (upper indices) as that tensor \(T^{ij}\frac{\partial }{\partial x^i} \otimes \frac{\partial }{\partial x^j}\) which has components
In covariant form (lowered indices) it is the tensor \(T_{ij}dx^i \otimes dx^j\) with
Example 3.1
When \(n=2\) and \(g_{ij}=\delta _{ij}\) we get, on setting \(\psi _a=G_a\), \(\psi _b=G_b\), \(x=x^1\), \(y=x^2\),
This is exactly the expression given in Garabedian [2].
4 Classical Hadamard by Lie derivatives
The final step now is to vary the action (3.5), (3.7) with respect to the domain \(\Omega \), and so obtain the Hadamard formula. This step becomes more elegant when expressed in the language of differential forms.
We let the smoothly bounded domain \(\Omega = \Omega (t)\subset M\) move in the flow of a vector field \(\mathbf{v}=\sum _{j=1}^n v^j \frac{\partial }{\partial x^j}\), and denote by \(\mathcal {L}_\mathbf{v}\) the Lie derivative, and by \(i(\mathbf{v})\) interior derivation (“contraction”), with respect to \(\mathbf{v}\). See in general Frankel [1] for differential geometric concepts and notations.
In terms of differential forms the representation (2.1) of the Green function becomes
the star being the Hodge star operator. When acting on a one-form \(\nu =v_jdx^j\), the Hodge star is related to interior derivation with the corresponding vector field \(\mathbf{v}=v^k \frac{\partial }{\partial x^k}\) by \(*\nu =i(\mathbf{v})\mathrm{vol}^n\). This makes the n-form
have the role of being the “divergence” of \(\nu \). Above we have used some standard tensor analysis notations, like
for ordinary and covariant derivatives (respectively), with
denoting the “Christoffel symbols” (connection coefficients). Implicit in (4.2) is the crucial identity \((v^k\sqrt{g})_{,k}=v^k_{;k}\sqrt{g}\). For the Laplacian of a function \(\phi \) we have, similarly,
We remark also that \(\mathrm{vol}^n=*1\).
Now the action functional becomes
Here the Riemannian metric is not visible, but it is built into the Hodge operator. Varying S in (4.3) with respect to \(\psi _a\) (for example) gives, by partial integration, that
where \(\varepsilon _b\) denotes the Dirac measure at b regarded as a n-form current. The relation to \(\delta _b\) as a Dirac “function” (or distribution) is
In view of (3.4) it is a matter of taste whether one performs the variation with respect to \(\Omega \) in the equation (4.1) for G(a, b) or in the expression (4.3) for S, but it is slightly more elegant and general to work directly with (4.3) as far as possible. To simplify notation we set
Thus \(\alpha _j= \partial \psi _a/\partial x^j\), \(\beta _j= \partial \psi _b/\partial x^j\). Clearly \(d\alpha =d\beta =0\) in \(\Omega \), and \(\psi _a\), \(\psi _b\) being constant (zero) on the boundary give that \(\alpha =\beta =0\) along \(\partial \Omega \).
Let
denote the surface area element on \(\partial \Omega \) when this is regarded as a manifold in itself, and where \(\mathbf{n}\) denotes the outward unit normal vector on \(\partial \Omega \). We then interprete
Two basic properties of the Lie derivative are the “homotopy” formula
(when acting on differential forms) and the fact that for a domain \(\Omega (t)\) (or chain of integration of any sort) moving in the flow of \(\mathbf{v}\),
In the notations (4.4) the action S takes the form
From this it follows that
This result can be rewritten as
We never used that \(\psi _a\), \(\psi _b\) eventually are to be the Green functions of \(\Omega \), but inserting finally (3.3) and using (4.1) gives the Hadamard formula in its classical form (2.3).
5 Divergence of stress tensor
In terms of \(\alpha \), \(\beta \), \(\Phi \) in (4.4) the covariant version (3.11) of the stress tensor can be written
The trace of T is
and the Green function becomes, with (3.3) in force,
The contravariant version (3.10) of the stress tensor has components
The divergence of this tensor is obtained by contracting the second index with the covariant derivative:
Using the fact that all covariant derivatives of the metric tensor vanish and that, by (4.4), \(\alpha _{i;j}=\alpha _{j;i}\), \(\beta _{i;j}=\beta _{j;i}\) we have
When \(\psi _a=G_a\), \(\psi _b=G_b\), so that \(\alpha ^j_{;j} =\Delta \psi _a=-{\delta }_a\), \(\beta ^j_{;j}=\Delta \psi _b =-{\delta }_b\), equation (5.5) becomes
The right member in (5.6) can be interpreted as a source concentrated at the points a and b. More precisely, it is a vector field with distributional coefficients (a vector current) composed by the isolated vector \(-\nabla G_a\) sitting (like a point charge) at the point b and the vector \(-\nabla G_b\) sitting at a. In summary we have
Lemma 5.1
When \(\psi _a=G_a\), \(\psi _b=G_b\) the divergence of the stress tensor vanishes except for the two point source field given in (5.6). Expressed in vector notation:
6 Hadamard in terms of stress and strain tensors
In the final computation in Sect. 4 we had an integral over \(\Omega \) involving a Lie derivative, and this integral was pushed to the boundary. But there is also the possibility not to go to the boundary. Then also the vector field \(\mathbf{v}\) becomes differentiated, and one may arrange matters so that the derivatives of \(\mathbf{v}\) appear only in a certain strain tensor D. This is to be paired with the stress tensor T discussed in Sects. 3 and 5.
The stress and strain tensors are the main actors in linear elasticity theory, where the basic result, Hooke’s law (first formulated in 1678), expresses that the stress and strain tensors are proportional (more exactly, linearly related) to each other for an elastic material (see in general [4]).
Given a vector field \(\mathbf{v}\), thought of as representing an infinitesimal deformation of some material, the corresponding strain tensor D is the symmetric covariant tensor defined by
The components of D are given by
Using this we can now formulate the following generalization of equation (15.20) in [2].
Theorem 6.1
The variation of the Green function \(G_\Omega (a,b)\) due to a deformation of \(\Omega \subset M\) driven by a smooth vector field \(\mathbf{v}\) is, in terms of the stress tensor \(T=T(a,b)\) and the strain tensor \(D=D(\mathbf{v})\), given by
In the right member \(\mathbf{v}=v^j\frac{\partial }{\partial x^j}\) is regarded as a derivation (directional derivative).
Proof
Using (5.3) and (4.2) (essentially) we first have
The next step is to show that
This will be achieved by pushing the difference between the two members to the boundary, after which cancellations will make it disappear.
Let \(\mathbf{n}\) denote the outward unit normal vector on \(\partial \Omega \) and let \(n_j dx^j\) be the corresponding one-form. It may be realized as \(n_jdx^j=du\) for a function u which is defined near \(\partial \Omega \), vanishes on \(\partial \Omega \), and increases away from \(\Omega \) with \(|\nabla u|=1\) on \(\partial \Omega \). (One may take \(u=-G_a/|\nabla G_a|\), for example.) Then inserting (4.4), (5.4) and using Stokes’ formula we have
In the last step we used that, along the boundary \(\partial \Omega \),
hence that the covectors with components \(\alpha _i\), \(\beta _i\), \(n_i\) are proportional at each point of \(\partial \Omega \). From this it follows that
Thus (6.4) is now established.
Finally, using the symmetries of T and D together with (5.6), (5.7) we can continue the right member of (6.4) by
Combing this with (6.3), (6.4) completes the proof. \(\square \)
References
Frankel, T.: .The Geometry of Physics, Cambridge University Press, Cambridge, third ed., . An introduction, (2012)
Garabedian, P.R.: Partial differential equations. John Wiley & Sons Inc, New York-London-Sydney (1964)
Landau, L. D., Lifshitz, E. M.:, The classical theory of fields, Revised second edition. Course of Theoretical Physics, Vol. 2. Translated from the Russian by Morton Hamermesh, Pergamon Press, Oxford-London-Paris-Frankfurt; Addison-Wesley Publishing Co., Inc., Reading, Mass., (1962)
Landau, L.D., Lifshitz, E.M., Course of theoretical physics. Vol. 7, Pergamon Press, Oxford, third, (eds.): Theory of elasticity. Translated from the Russian by J. B. Sykes and W. H, Reid (1986)
Acknowledgements
The first author expresses warm thanks for a generous invitation to Chapman University, where this work was initiated, and for the creative and friendly atmosphere which he experienced during the stay.
Funding
Open access funding provided by Royal Institute of Technology.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data availability statement
All data needed are contained in the manuscript.
Conflict of interest:
All authors certify that they have no affiliations with or involvement in any organization or entity with any financial interest or non-financial interest in the subject matter discussed in this manuscript.
Additional information
Harold S. Shapiro, in memoriam.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
In memoriam: We believe that this paper is much in spirit of the interests and work of Harold S. Shapiro. In fact, during his long carrier at KTH, Harold S. Shapiro gave several doctoral courses, and also gave topics for doctoral theses, inspired by that book of P. Garabedian out of which this paper grew.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gustafsson, B., Sebbar, A. Hadamard’s variational formula in terms of stress and strain tensors. Anal.Math.Phys. 12, 29 (2022). https://doi.org/10.1007/s13324-021-00632-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00632-y