VARIATIONAL PRINCIPLES FOR LINEAR INITIAL-VALUE PROBLEMS*

Similar documents
New Identities for Weak KAM Theory

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

18.02 Multivariable Calculus Fall 2007

Existence Theory: Green s Functions

Second Order Elliptic PDE

Green s Functions and Distributions

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Laplace s Equation. Chapter Mean Value Formulas

Mathematics Department Stanford University Math 61CM/DM Inner products

The heat equation in time dependent domains with Neumann boundary conditions

1 Math 241A-B Homework Problem List for F2015 and W2016

Inner Product Spaces 5.2 Inner product spaces

11.6: Ratio and Root Tests Page 1. absolutely convergent, conditionally convergent, or divergent?

ACM/CMS 107 Linear Analysis & Applications Fall 2017 Assignment 2: PDEs and Finite Element Methods Due: 7th November 2017

Separation of Variables in Linear PDE: One-Dimensional Problems

Ordinary Differential Equations II

Class Meeting # 1: Introduction to PDEs

1 Distributions (due January 22, 2009)

Introduction to Spectral Theory

Simple Examples on Rectangular Domains

Everywhere differentiability of infinity harmonic functions

Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms

Chapter 12. Partial di erential equations Di erential operators in R n. The gradient and Jacobian. Divergence and rotation

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional

Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS

Existence of minimizers for the pure displacement problem in nonlinear elasticity

be the set of complex valued 2π-periodic functions f on R such that

Class Meeting # 2: The Diffusion (aka Heat) Equation

MATH 104 : Final Exam

Spectral Continuity Properties of Graph Laplacians

LINEAR ALGEBRA W W L CHEN

Calculus in Gauss Space

Weak Formulation of Elliptic BVP s

A SIMPLE, DIRECT PROOF OF UNIQUENESS FOR SOLUTIONS OF THE HAMILTON-JACOBI EQUATIONS OF EIKONAL TYPE

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

4.6. Linear Operators on Hilbert Spaces

Differential Equations Preliminary Examination

3 Orthogonality and Fourier series

Theory of PDE Homework 2

PARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007

Where is matrix multiplication locally open?

Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).

Technische Universität Dresden

Multivector Calculus

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS

Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D

Trotter s product formula for projections

Final Exam May 4, 2016

Lecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C.

REMARKS ON THE MEMBRANE AND BUCKLING EIGENVALUES FOR PLANAR DOMAINS. Leonid Friedlander

MATH 115A: SAMPLE FINAL SOLUTIONS

PARTIAL DIFFERENTIAL EQUATIONS MIDTERM

MATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY

Harmonic Functions and Brownian motion

COINCIDENCE SETS IN THE OBSTACLE PROBLEM FOR THE p-harmonic OPERATOR

PDE Constrained Optimization selected Proofs

The following definition is fundamental.

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

u xx + u yy = 0. (5.1)

Rings. EE 387, Notes 7, Handout #10

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

In this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,

A VARIATIONAL METHOD FOR THE ANALYSIS OF A MONOTONE SCHEME FOR THE MONGE-AMPÈRE EQUATION 1. INTRODUCTION

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

and finally, any second order divergence form elliptic operator

BROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

Gradient, Divergence and Curl in Curvilinear Coordinates

4 Divergence theorem and its consequences

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

Reducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)

14 Divergence, flux, Laplacian

Monotonicity formulas for variational problems

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

Functional Analysis Exercise Class

The Process of Mathematical Proof

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

Partial Differential Equations

1 Lagrange Multiplier Method

1 Separation of Variables

10.1. The spectrum of an operator. Lemma If A < 1 then I A is invertible with bounded inverse

Solutions: Problem Set 3 Math 201B, Winter 2007

Mathematical Methods

IMA Preprint Series # 2143

Problem List MATH 5143 Fall, 2013

MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003

Inner Product Spaces

Asymptotic Behavior of Infinity Harmonic Functions Near an Isolated Singularity

Chapter 1 Preliminaries

Hilbert space methods for quantum mechanics. S. Richard

Introduction and some preliminaries

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

Lecture 23: 6.1 Inner Products

5. The Indirect Approach To Domain Decomposition

The maximum principle for degenerate parabolic PDEs with singularities

LECTURE 7. k=1 (, v k)u k. Moreover r

Hilbert Space Methods for Reduced-Rank Gaussian Process Regression

Transcription:

252 M. E. GURTIN [Vol. XXII, No. 3 VARIATIONAL PRINCIPLES FOR LINEAR INITIAL-VALUE PROBLEMS* By M. E. GURTIN (Brown University) Introduction. Most of the boundary-value problems of mathematical physics are characterized by variational principles which assert that a function u satisfies such a problem if and only if a given functional is stationary at u. However, there does not seem to exist in the treatise literature any such variational characterization of the usual initial-value problems of interest. As a matter of fact Washizu [1] conjectured that in the case of the transient heat conduction problem such a principle is not possible since the problem is not self-adjoint. In this note, variational principles of the foregoing type are derived for the initial-value problems associated with the wave and heat conduction equations, thus proving Washizu's conjecture incorrect. The method of deducing such variational principles consists of two steps. First we reduce the initial-value problem to an equivalent boundary-value problem by replacing the relevant partial differential equation with an equivalent integro-differential equation which contains the initial conditions implicitly. Second, we derive a variational principle for this reduced problem. The prime ingredient in the derivation of this variational principle is the use of convolutions. The techniques employed in this paper may be used to generate variational principles for a large class of initial-value problems (e.g. the initial-value problem associated with the time-dependent Schrodinger equation in quantum mechanics). Variational principles of this type for linear elastodynamics were given previously [2]. 1. Preliminary definitions. Notation. Henceforth R will denote a closed and bounded region in n-dimensional Euclidean space with the interior R and the boundary B, while x = (x-,, x2,, xn) is a generic point of R. Moreover V is the usual (redimensional) gradient operator and V2 is the Laplacian operator. Throughout this paper we deal with real-valued functions of position x and time t whose n + 1 dimensional domain of definition is the Cartesian product R X [0, ) of the region R with the time interval [0, <»). We use the standard notation for the convolution of two such functions of position and time, i.e. Moreover we define u * v(x, t) = / u(x, t t)v(x, r) dr. (1.1) Jo ^ Vu*Vv = du dv d-2) ifc-l VUsk OXk The customary notation for the calculus of variations will be used throughout this paper. Thus let $( ) be a functional defined on a subset K of some function space and suppose u and 5u belong to this space. Further, let for every real number X and formally define the notation *Received November 8, 1963. u -j- \8u e K (1.3)

1964 NOTES 253 We then write 5< (w) = -jr < (w + X5m) d a (1.4) 5$(w) = 0 over K (1.5) if and only if (1.4) exists and equals zero for every choice of 8u consistent with (1.3). In the interest of clarity we omit all hypotheses concerning continuity, differentiability, etc. It will be clear from the context what these ought to be. Thus a statement such as "all functions" actually means "all sufficiently smooth functions". 2. The wave problem. Consider the initial-value problem which consists in finding a solution u on R X [0, «>) of the wave equation that meets the initial conditions as well as the boundary condition c*v2u = (2.1) u(x, 0) = u0(x), du^xd\ = vo&), xtr, (2.2) u = U on B X (0, o). (2.3) Here c is a real constant, while u0, v0, and U are prescribed functions. This initial-value problem will be referred to as the wave problem. In order to see the difficulties that arise in trying to deduce a variational characterization of this problem, recall the well-known variational principle for the wave equation. Suppose we are given a positive time t0 and let K,0 be the set of all functions u which meet the boundary conditions u U on B X (0, t0) as well as u(x, 0) = u0(x), u(x, t0) = utxx), xtr, (2.4) where uto is a prescribed function. Let u t Ku. Then this principle asserts that (x, t) dx dtj = 0 over Ku (2.5) if and only if u meets the wave equation (2.1) on R X (0, f0). This variational principle is of the type represented by Hamilton's principle in classical dynamics. It is clearly inapplicable to the wave problem since it fails to take into account the initial velocity distribution va(x) and presupposes the knowledge of the function u at a later time t an item of information not available in advance. Since the major difficulty in trying to develop a variational principle for the wave problem appears to center around the initial conditions it would seem advisable to develop an alternative formulation of this problem which does not contain the initial conditions explicitly. To this end proceed formally and take the Laplace transform of the wave equation (2.1). This result together with the initial conditions (2.2) yields c2v2w(x, s) s2w(x, s) = su0(x) v (x), (2.6) where w{x, s) is the Laplace transform (with respect to t) of u{x, t). Now divide (2.6) through by s2, take the inverse Laplace transform, and use the fact that multiplication

254 M. E. GURTIN [Vol. XXII, No. 3 in the "transform where domain" corresponds to convolution in the "time domain" to arrive at g * V2w u = f, (2.7) g(x, t) = c% (2 g) /(X, t) = u0(x) lvq(x). Thus we are led to the following lemma. Lemma. A function u on R X [0, <») meets the wave equation (2.1) and the initial conditions (2.2) if and only if u satisfies (2.7), (2.8). We now give a proof of this lemma which does not require the use of the Laplace transform. Suppose (2.1), (2.2) hold. Then (2.8) implies g * S72u(x, t) = f (t t) 3 u(x'2 T) dr J 0 or = u(x, t) tvo(x) u0(x) = u(x, t) + f(x, t). (2.9) Conversely, suppose (2.7) holds. Then, by reversing the foregoing argument it is easily verified that u meets (2.1), (2.2). Thus the wave problem is equivalent to the reduced wave problem which consists in finding a solution u of the integro-differential equation (2.7) which meets the boundary condition (2.3). This fact enables us to prove the following principle. Variational Principle for the Wave Problem. Let K be the set of all functions u which meet the boundary condition (2.3). For each i e [0, <») define the functional A,(-) on K through A,(«) = [ [u * u + g * Vtt * Vu + 2f * u](x, t) dx, (2.10) J R where g and f are given by (2.8). Then SA,(u) 0 over K (0 <<<) (2.11) at a particular function u if and only if u is a solution of the wave problem (2.1), (2.2), (2.3) Proof. Let u + \Su e K for every real number X from which it follows that 8u = 0 on B X (0, oo). (2.12) and com- Therefore (2.10), (2.12), (1.2), the divergence theorem, and the associativity mutativity of the convolution (see for instance [3]) imply SAt(u) = 2 f [u g * V2w + f ] * Su(x, f) dx (0 < t < oo). (2.13) Jr First suppose u is a solution of the wave problem. Then by the lemma u meets (2.7) and hence (2.11) holds. Conversely suppose u satisfies (2.11). Then (2.13) implies f f W ~ 9 * V2w f](x, t r) Su(x, r) dr dx 0 (0 < t < co) (2.14) J R JO

1964] NOTES 255 for every 8u which vanishes on B X (0, ). But this fact together with the fundamental lemma of the calculus of variations implies the validity of (2.7). Thus and by virtue of the previous lemma u meets the wave equation (2.1) as well as the initial conditions (2.2). Moreover, since u e K, the boundary condition (2.3) also holds. This completes the proof. 3. The heat-conduction problem. We turn now to the heat conduction problem which consists in finding a solution u on R X [0, ) of the heat equation which meets the initial condition together with the boundary condition a2v2w = ft, (3.1) u{x, 0) = u0(x), xzr, (3.2) u = U on B X (0, ). (3.3) Here a is a real constant, while u0 and U are prescribed functions. We now proceed in the same manner as we did in the case of the wave problem and first prove the following lemma. Lemma. A function u on R X [0, ) satisfies the heat equation (3.1) and the initial condition (3.2) if and only if u meets where q * \72u u = p, (3.4) q(x, i) = a2 = constant,,q (6.0) p(x, t) = u0(x). The proof of this lemma follows immediately from the fact that (3.4), by virtue of (3.5), is equivalent to L t a2v2u(x, r) dr = u(x, t) U0(x). (3.6) If we compare (3.4) with (2.7) we are at once led to the following principle. Variational Principle for the Heat Conduction Problem. Let K be the set of all functions u which meet the boundary condition (3.3). For each t z [0, <») define the functional 0,(-) on K through where q and p are given by (3.5). Then («) = / [u * u + q * Vw * Vm + 2p * u\(x, t) dx, (3.7) Jr 50,(m) = 0 over K (0 < t < ) (3.8) at a particular function u if and only if u is a solution of the heat conduction problem (3.1), (3.2), (3.3). The proof of this theorem is exactly the same as the proof of the variational principle for the wave problem.

256 C. R. PUTNAM [Vol. XXII, No. 3 4. Generalizations. The results for the wave equation can easily be generalized to include the inhomogeneous wave equation together with the mixed boundary-conditions cv2w = + F (4.1) ot u=u on B, X (0,»), ^ = F on B2 X (0, «,) (4.2) and the initial conditions (2.2). Indeed, all one has to do is add the terms (2/<? f g * F * u(x, t) dx 2 f g * V * u(x, t) dx (4.3) J R J B, to the right hand side of (2.10) and require that K be the set of all functions u which satisfy u = C/ on X (0, <»). The analogous assertion applies to the heat conduction problem. References 1. K. Washizu, Variational principles in continuum mechanics, Rept. No. 62-2, Dept. Aero. Engrg., University of Washington, 1962 2. M. E. Gurtin, Variational principles for linear elastodynamics, Archive Rati. Mech. Anal. 16, 1, 1964 3. J. Mikusinski, Operational calculus, Pergamon Press, New York, 1959 WAVE OPERATORS AND ABSOLUTELY CONTINUOUS SPECTRA* By C. R. PUTNAM (Purdue University) 1. On a Hilbert space of elements f, g,, with inner product (/, g), let { Z?(A)}, < X < co, denote a one-dimensional spectral family. If > denotes the Hilbert space spanned by the set of elements / for which i?(x)/ 2 is a absolutely continuous function of X, then a reduces the family {7?(X)} and will be called the absolutely continuous part of determined by the spectral family see Halmos [1], p. 104, Kato [5], p. 240, Kuroda [6], p. 436. In the case of a self-adjoint operator II or a unitary operator U, there exists in each instance a spectral family \E(\)} for which H = f X de(\) or U = f2t eix de(\). (1) J co J 0 The restriction of H (or U) to the corresponding space will be called the absolutely continuous part of H (or U). The operator H or U will be called absolutely continuous on a subspace 9J! of if 3)? C If 9JJ is a subspace its orthogonal complement in will be denoted by The space iq, = is spanned by the singular elements. Thus, if / is in > and if / ^ 0, then the absolutely continuous part of the monotone function I?(X)/ 2 in the Lebesgue *Received December 2, 1963. This work was supported by the National Science Foundation grant NSF-GP1665. research