Compatibility Conditions for the Left Cauchy Green Tensor Field in 3-D Amit Acharya OxPDE Seminar Series Oxford, Mathematical Institute, Nov. 12, 2008 Continuum Mechanics Problem for Left/Right Cauchy Green Compatibility (LCG/RCG) y (i ) y(x) x T Prescribed C ( ⋅) , B ( ⋅) as functions of Find y (i) x ⎛ ∂y ⎞ ∂y ( x ) = C ( x ) ∈ Psym ⎜ ⎟ ⎝ ∂x ⎠ ∂x ∂y k ∂y k = Cαβ α β ∂x ∂x T ∂y ⎛ ∂y ⎞ ⎜ ⎟ ∂x ⎝ ∂x ⎠ ( x ) = B ( x ) ∈ Psym ∂y i ∂y j ij = B ∂xα ∂xα RCG LCG Are the RCG and LCG compatibility problems really different? LCG RCG ∂y = F ⇔ curl F = 0 ∂x F T F = specified ( x ) ∈ Psym ∂y = F ⇔ curl F = 0 ∂x FF T = B ⇔ F −T F −1 = B −1 ℑ ( F ) ℑ ( F ) = specified ( x ) ∈ Psym T Using RCG method one has curl ℑ ( F ( x ) ) = 0 ε ijk ∂Fan −1 ∂Fak = ε =0 F 0 but need nk ijk j j ∂x ∂x Motivation Continuum Mechanics • Interesting geometry question for classical kinematical measure ¾ Cauchy stress for Frame-indifferent, isotropic elastic material is a function only of B • Sharp contrast in uniqueness from the more studied RCG case • Open in 3-D Mathematics • • • • Interesting questions involving Geometry Nonlinear PDE Algebra ¾ Even in the C∞ local existence case Riemannian Geometry in charts Given two coordinate patches for a Riemannian manifold, with points denoted generically by x ⇔ xα ⇔ ( x1 , x 2 , x3 ) y ⇔ y ⇔(y ,y ,y α ∃ 3× 3 ( x ) C , ( y )C , satisfying Matrix inverse 1 2 3 y = y ( x) ) and ⎛ ∂y ⎞ det ⎜ ⎟ ≠ 0 ⎝ ∂x ⎠ sym, + def matrix fields −1 B : = C , ( x) ( x) ∂y = α ∂x k ( x ) Cαβ i ∂ y ij B = α ( y) ∂x −1 B : = C ( y) ( y) ⎡ ( y) C ⎤ ⎣ ⎦ km ⎡ ( x) B ⎤ ⎣ ⎦ αβ ∂y ∂x β m ∂y j β ∂x [∂y ∂x ]kα ∂y k = α ∂x Notational agreement: Evaluate anything like ( x) ( y) ( ⋅) ( ⋅) at and at x y ( x) The question of equivalence of quadratic forms ∂p Given two local Psym matrix fields on manifold Μ, 2 ∂y dim ( Μ ) = N , they are equivalent if one can find N two local charts in related 1 − 1 with ⎛ ∂y ⎞ det ⎜ ⎟ ≠ 0 satisfying transformation rules. (WHY???) ⎝ ∂x ⎠ On tangent space Tp of p0 ∈ Μ spanned by y1 = const ∂p ∂y1 y 2 = const p0 Μ 0 ⎛ ∂p ∂p ⎞ ⎛ ∂p ∂p ⎞ ⎜ 1 , 2 ⎟ or ⎜ 1 , 2 ⎟ any vector a ∈ Tp0 ⎝ ∂x ∂x ⎠ ⎝ ∂y ∂y ⎠ i i ∂ ∂ ∂ ∂ ∂ y y p p p a = ( x ) aα α = ( x ) aα i α = ( y ) a i i ⇒ ( y ) a i = ( x ) aα α ∂x ∂y ∂x ∂y ∂x Now, let there be a quadratic form for each chart s.t. for a,b α a ( x) ( x )Cαβ β b =: physical scalar indep. of chart ( x) But, no chart is special; ∴ ( x ) aα ( x )Cαβ β i b = a ( x) ( y) ( y )Cij j b ( y) α ( x ) a ( x )b β ⎡ ∂y i ∂y j ⎢ ∂xα ( y )Cij ∂x β − ⎣ ∀ ( x ) a α ,( x ) b β ⎤ C ( x ) αβ ⎥ = 0 ⎦ Mapping compatibility question to Riemannian Geometry ( x ) Cαβ ∂y k = α ∂x i ∂ y ij B = α ( y) ∂x ⎡ ( y) C ⎤ ⎣ ⎦ km ⎡ ( x) B ⎤ ⎣ ⎦ αβ ∂y m ∂x β ∂y j ∂x β choose ( y) C ≡I RCG compatibility given C , B find y x ( ) ( x) B ≡ I as fns. of x LCG compatibility Overdetermined Problems ∂y k ∂y k = Cαβ α β ∂x ∂x ∂y i ∂y j ij B = ∂xα ∂xα Machinery of Riemannian Geometry thanks to Christoffel ( z) Γ i rs ip B ⎡ ∂ ( z )Crp ( z) ⎢ 2 ⎢⎣ ∂z s := Necessary condition for existence of ∂y i ∂xα ∂x β = ρ Γ αβ ( x) ∂y i ∂x ρ −1 B = C (z) (z) z Recall notation, for any patch + y ( x) − ∂ ( z )Csp ∂z r − ∂ ( z )Crs ∂z p ⎤ ⎥ ⎥⎦ satisfying metric transformation rules is r s ∂ ∂ y y i Γ rs ( y) ∂xα ∂x β Roughly: For RCG ( y) C ≡ I ⇒ i Γ ( y ) rs ≡ 0 For LCG ( x) B ≡ I ⇒ ρ Γ ( x ) αβ ≡ 0 Linear problem for ∂y ∂x Quasilinear problem for ∂y ∂x !!!! RCG compatibility Riemann Christoffel Brothers Cosserat …..... …… Shield Deturck and Yang Interesting associated facts, especially uniqueness question • if two deformations have same RCG field, then they differ by rigid deformation ¾ Reshetnyak (according to Ball and James) – Inadequacy of single-well energy for prediction of microstructure with compatible elastic deformation (Ball & James) ¾ Friesecke, Muller, James • An invertible tensor field F may have nonvanishing curl even if its RCG field (FTF) is compatible Complete Integrability of Pfaff PDE (T.Y. Thomas, 1934) Theorem: Consider PDE ∂wi i ψ x = i = 1 to R ; α = 1 to n ( ) α ( w( x), x) α ∂x ψ αi ∈ C1 ( Ω ) , Ω open connected subset of R × n Suppose the integrability condition i i ∂ψ αi j ∂ψ αi ∂ψ β j ∂ψ β ψβ + β = ψα + α j j ∂w ∂x ∂w ∂x holds in Ω . (motivated by equality of second partial derivs.) Then for arbitrary ( w0 , x0 ) ∈ Ω , ∃ a unique local solution around x0 satisfying w ( x0 ) = w0 . Therefore, solution allows R arbitrary constants to be specified. RCG compatibility Motivated by necessary condition, consider ∂y i i = u α ∂xα ∂uαi = β ∂x ( x) B C γµ ⎡ ∂Cαµ ∂Cβµ ∂Cαβ ⎤ uγ = uγ + α − µ ⎥ ⎢ β ( x)Γ ∂x ∂x ⎦ 2 ⎣ ∂x Integrability Condition (nice and 'separably' factored in x-dependent terms and γ αβ i i u -dependent terms) µ µ ⎡ ⎤ ∂ ∂ Γ Γ αβ αρ ( x) ( x) i µ γ µ γ uµ ⎢ − + ( x ) Γ γρ ( x ) Γ αβ − ( x ) Γ γβ ( x ) Γ αρ ⎥ = 0 ρ β ∂x ⎢⎣ ∂x ⎥⎦ ∴ require Riemann-Christoffel curvature tensor to vanish. Guarantees existence of u with arbitrarily specifiable value u0 at one point, and because of symmetry of Γ in lower indices, of y. Remains to be shown that uαi uβi = Cαβ RCG Compatibility Assign u ( x0 ) such that u T u ( x0 ) = C ( x0 ) . Continuity ⇒ u invertible locally around x0 . Define v = u −1 ; noting δ ij = viα Cαβ v βj ( x0 ) ∂ α β β ρ v C v v = j vi αβ j ) µ ( i ∂x ⎡ ∂Cρβ α α ⎤ ⎢ ∂x µ − Cαβ ( x ) Γ ρµ − Cρα ( x ) Γ βµ ⎥ = 0 !!!! ⎣ ⎦ covariant derivative of covariant metric tensor Ricci: metric tensors covariantly constant (merely smoothness, and defn. of Γ !!!) T α β ∴δ ij = vi Cαβ v j ⎛ ∂y ⎞ ∂y ⇒ u u=C =⎜ ⎟ ⎝ ∂x ⎠ ∂x T locally Left Cauchy Green Compatibility 2-D • Blume (1989) ¾ Formulation based on Polar Decomposition (for both 2/3-D) – Find a rotation tensor field ¾ Compatibility condition for 2-d problem is derived ¾ ‘Explicit’ characterization of the condition ¾ Uniqueness is analyzed • Duda & Martins (1995) ¾ Plane case ¾ Polar Decomposition ¾ Analysis of possible cases; construction of the rotation field ¾ Insightful and detailed analysis of the uniqueness question ¾ Demonstration of nonuniqueness through constructive examples systematically using Thomas 3-D - open • Acharya (1999) ¾ geometric formulation ¾ provides condition for local existence in 3-d ¾ Much can be done in ‘explicit’ characterization of the existence condition LCG Compatibility Consider necessary condition for existence of y i such that ∂y i ∂y j ij αβ αβ δ x B x holds. ( and B x constant) = = ( ) ( ) ( ) α α ( y) ( x) ∂x ∂x Around arbitrary x0 , the map y is then locally invertible and so ∂Brp ∂Brp ∂xα = α s ∂y ∂x ∂y s where ⎡⎣ ( y ) B −1 ⎤⎦ =: Brp = ( y )Crp rp ip ∂ ( z )Csp ∂ ( z )Crs ⎤ B ⎡ ∂ ( z )Crp ( z) −1 i Recall ( z ) B = ( z )C + − ⎢ ⎥ s r ( z ) Γ rs := 2 ⎢⎣ ∂z ∂z ∂z p ⎥⎦ i r s ∂y i ρ ∂y i ∂y ∂y = ( x ) Γ αβ ρ − ( y ) Γ rs α β α β ∂x ∂x ∂x ∂x ∂x ∂y i B im ⎡ ∂Brm ∂y r ∂Bsm ∂y s ∂Brs ∂x ρ ∂y r ∂y s ⎤ ρ ∴ ( x ) Γ αβ ≡ 0, and α β = − + α − ρ ⎢ β α β 2 ⎣ ∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂y m ∂xα ∂x β ⎥⎦ Left Cauchy Green Compatibility Governing PDE System Original – nonlinear, first order system Formulated as – Quasilinear, Pfaffian system i j uρ uρ = B ⎡ ( y) B⎤ ⎣ ⎦ ij ij ( x ) =: [ B ] ( x ) ij ⎡ ( y ) B −1 ⎤ =: Brp = ( y )Crp ⎣ ⎦ rp ∂y i ∂xα = uαi ∂uαi ∂x β B im = − 2 Matrix inverse function ⎡ ∂Brm r ⎢ ∂x β uα ⎣ + ∂Bsm s uβ α ∂x − ∂Brs ρ r s ⎤ ℑm ( u ) uα uβ ⎥ ρ ∂x ⎦ Setup Seek functions wi ( x ) , i = 1, 2,… , R that satisfy ∂wi i x = ψ α = 1, 2,… , n ( ) α ( w( x) , x) α ∂x (for definiteness think of domain of ψ αi to be open connected set of Refer to domain of ψ αi as ( z , x ) Associate wi → uαi ⎛ ∂uαi i = Aαβ ⎜ u, β ⎜ ∂x ⎝ ( y) B ; so R = 3 × 3 = 9 ; ( x), ∂ ( y )C ⎞ ( x ) ⎟⎟ ∂x ⎠ ; n = 3. ∂y i i = u α ∂xα R × n ) Sufficient condition for local existence: the completely-integrable situation Hypothesis: Suppose i i ⎛ ∂Aαβ ∂Aαβ ∂Aαγi k ∂Aαγi ⎞ k F ( u, x ) := ⎜ k Aµγ + γ − k Aµβ − µ ⎟ ( u , x ) ≡ 0 locally in ( u, x ) ⎜ ∂u ⎟ x u x ∂ ∂ ∂ µ µ ⎝ ⎠ (seek symmetry in β ,γ for each i, α ⇒ 27 nonlinear algebraic equations) (1) If so, Thomas guarantees solution to u and therefore y with arbitrary data at one x0 . So - specify conditions on B field for when identity can be satisfied: Unlike RCG case, F (1) is cumbersome (downright scary!) nonlinear in u does not readily SEPARABLY factorize into at least 1 solely x − dependent term - need separability (seems to me) for identity with control only on x − dependent terms - need (algebraic-geometric?) theorem for when this can happen given field ( y ) B ( x ) and algebraic structure of array A. Sufficient condition for local existence: the completely-integrable situation Initial data to match uu T ( x0 ) = ( y ) B ( x0 ) ∈ Pym can be constructed. Then local diffeomorphism y around x0 satisfying ∂y ∂x = u exists (and u is invertible) ip ⎛ B x ⎡ ∂ ( y )Crp x ∂ ( y )Csp x ∂ ( y )Crs x ⎤ ⎞ ( y) i ⎟ ( y′ ) Now define ( y ) Γ rs ( y′ ) := ⎜ + − ⎢ ⎥ s r p ⎜ ⎟ 2 ∂ y ∂ y ∂ y ⎢ ⎥ ⎣ ⎦ ⎝ ⎠ (Notation: y −1 =: x) Then, Since u invertible, i ∂uα i r s T ′ ′ ′ ⎡ ⎤ = − Γ x y y u u x y ( ) ( ) ( ) ( ) ( ) ∂ [ ] ∂ ∂ y y α β ⎛ ⎞ β ( y ) rs ⎣ ⎦ ∂x u −1 = 0 ⇒ ⎜ ⎟ = B ∂x ∂x ⎝ ∂x ⎠ ∂ ij α β −1 Define v = u , consider m ⎡⎣( B vi v j ) x ⎤⎦ ∂y ij ⎡ ⎤ α β B ∂ ∂ ( y) ij α β kj i ik j ⎡ B vi v j ⎤⎦ = ⎢ + ( y ) B ( y ) Γ km + ( y ) B ( y ) Γ km ⎥ vi v j = 0 m ⎣ m ∂y ⎢⎣ ∂y ⎥⎦ Ricci: covariant deriv. of contravariant Metric tensor = 0 Sufficient condition for NOT completely integrable case Let F ( ) ( z , x ) ≠ 0 identically. 1 ( F ( ) defines complete integrability condition) 1 ⎛ R ∂F ( j ) i ∂F ( j ) ⎞ Define Fα ( z, x ) := ⎜⎜ ∑ i ψ α + α ⎟⎟ ( z, x ) ∂x ⎠ ⎝ i =1 ∂z and consider two integers N , R with 1 ≤ N ≤ R ; 1 ≤ M ≤ R. ( j +1) Assume that there exist M equations in the sets F ( ) = 0 1 through F( N) = 0 denoted by Gλ = 0, λ = 1 to M , and M of the variables z i (from the list z i , i = 1 to R ) denoted by z i , i = 1 to M identified through a known one-to-one map κ : {1, 2,… , M } → {1, 2,… R} by z i := z which satisfy κ (i ) ⎡ ∂Gλ ⎤ det ⎢ i ( z, x ) ⎥ ≠ 0 locally in ( z, x ) space. ⎣ ∂z ⎦ Not Completely Integrable Case, contd. Denote remaining R − M =: P variables z as zˆ i , i = 1 to P, defined by µ : {1, 2,… , P} → {1, 2,… , R} µ i zˆ i := z ( ) . Assume that around a point ( zˆ0 , x0 ) := ( zˆ10 ,… , zˆ0P , x01 ,… , x0n ) , the solution z i = ϕ i ( zˆ10 ,… , zˆ0P , x01 ,… , x0n ) , i = 1, 2,… , M , of Gλ = 0, λ = 1, 2,… , M satisfies all the equations of the sets F (1) = 0 through F ( N +1) = 0 identically in a neighborhood of ( zˆ0 , x0 ) in ( zˆ, x ) space. Then ∃ a function w ( x ) satisfying ∂wi i = α = 1, 2,… , n, i = 1, 2,… , R x ψ ( ) α (w( x), x) α ∂x determined by P constants. Let Π ( z , zˆ, x ) Proof: Not completely Integrable case ( z, x ) . Define, Gλ ( z , zˆ, x ) = Gλ ( Π ( z , zˆ, x ) ) , λ = 1, 2,… , M ψ αi ( z , zˆ, x ) = ψ ακ (i ) ( Π ( z , zˆ, x ) ) , i = 1, 2,… , M , α = 1, 2,… , n ψˆαj ( z , zˆ, x ) = ψ αµ ( j ) ( Π ( z , zˆ, x ) ) , j = 1, 2,… , P, α = 1, 2,… , n N +1 Since F ( ) (ϕ ( zˆ, x ) , zˆ, x ) ≡ 0 in ( zˆ, x ) ⎡ ∂Gλ i ∂Gλ j ∂Gλ ⎤ (I ) ⎢ ∂z i ψ α + ∂zˆ j ψˆα + ∂xα ⎥ (ϕ ( zˆ, x ) , zˆ, x ) = 0 ⎣ ⎦ For arbitrarily fixed path f ( t ) with f ( 0 ) = x∗ ∃ solution to ODE ⎡ j dg j t = ( ) ⎢ψˆα dt ⎣ df α ⎤ (ϕ ( g , f ) , g , f ) dt ⎥ ( t ) ; g j ( 0 ) = zˆ∗ (arbitrary), ⎦ and g satisfies Gλ (ϕ ( g , f ) , g , f ) ( t ) = 0 for t in some local interval around 0. Proof: Not Completely Integrable Case Differentiating w.r.t. t , combining with ( I ) , and using arbitrariness of path f , zˆ∗ , and x∗ yields, ψ α (ϕ ( zˆ, x ) , zˆ, x ) − i locally in ( zˆ, x ) space. ∂ϕ i j ˆ ˆ ˆ, x ) , zˆ, x ) − ψ z x , ( ) α (ϕ ( z j ∂zˆ ∂ϕ i zˆ, x ) ≡ 0 α ( ∂x ( II ) F ( ) (ϕ ( zˆ, x ) , zˆ, x ) ≡ 0 combined with ( II ) implies that the conditions of 1 complete integrability for ∂g j j ˆ = ψ x ( ) ( III ) α ϕ ( g ( x) , x), g ( x), x ∂xα are satisfied. Thus ∃ solution to ( III ) with P arbitrary constants. ( ) Then it can be shown that ( h, g , Id )( x ) uu T ( x ) = B ( x ) 1 j = 1, 2,… , P ∂hi κ i satisfy α ( x ) = ψ ( ) ∂x accommodated by P constants, stick in in F ( ) . Then use standard idea with Ricci to show B compatibility. hi ( x ) := ϕ i ( g ( x ) , x ) i = 1, 2,… , M g j ( x) If u0u0T = B ( x0 ) cannot be ∂g j µ( j) x = ψ ( ) ∂xα ( h, g , Id )( x ) . Comments Proof adapted from Eisenhart, 1927, Veblen and Thomas, 1926 • They claim necessity as well; I couldn’t Guess: • Related to Cartan’s Method of Equivalence • Modern treatment – R B Gardner CBMS-NSF-SIAM