Almost monotonicity formulas for elliptic and parabolic operators - PowerPoint PPT Presentation

� Almost monotonicity formulas for elliptic and parabolic operators with variable coefficients Norayr Matevosyan Arshak Petrosyan Joint Meeting of KMS & AMS Seoul, Korea, December 16–20, 2009 Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 1 / 25

Original Elliptic Monotonicity Formula Teorem (Alt-Caffarelli-Friedman 1984) Let u ± be two continuous functions in B  in � n such that u ± ≥ , ∆ u ± ≥ , u + ⋅ u − =  in B  u + >  ∆ u + ≥  then the functional ∣∇ u + ∣  ∣∇ u − ∣  u − >  φ ( r ) = φ ( r , u + , u − ) =  ∣ x ∣ n −  dx ∫ B r r  ∫ B r ∣ x ∣ n −  dx ∆ u − ≥  is monotone nondecreasing in r ∈ ( ,  ] . Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 2 / 25

Original Elliptic Monotonicity Formula Teorem (Alt-Caffarelli-Friedman 1984) Let u ± be two continuous functions in B  in � n such that u ± ≥ , ∆ u ± ≥ , u + ⋅ u − =  in B  u + >  ∆ u + ≥  then the functional ∣∇ u + ∣  ∣∇ u − ∣  u − >  φ ( r ) = φ ( r , u + , u − ) =  ∣ x ∣ n −  dx ∫ B r r  ∫ B r ∣ x ∣ n −  dx ∆ u − ≥  is monotone nondecreasing in r ∈ ( ,  ] . Tis formula has been of fundamental importance in the regularity theory of free boundaries, especially in problems with two phases. Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 2 / 25

Original Elliptic Monotonicity Formula One of the applications of the monotonicity formula is the ability to produce estimates of the type c n ∣ ∇ u + (  )∣  ∣ ∇ u − (  )∣  ≤ φ (  + ) ≤ φ (  /  ) ≤ C n ∥ u + ∥  L  ( B  ) ∥ u − ∥  L  ( B  ) Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 3 / 25

Original Elliptic Monotonicity Formula One of the applications of the monotonicity formula is the ability to produce estimates of the type c n ∣ ∇ u + (  )∣  ∣ ∇ u − (  )∣  ≤ φ (  + ) ≤ φ (  /  ) ≤ C n ∥ u + ∥  L  ( B  ) ∥ u − ∥  L  ( B  ) Te proof is based on the following eigenvalue inequality of Friedland-Hayman 1976. Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 3 / 25

Original Elliptic Monotonicity Formula One of the applications of the monotonicity formula is the ability to produce estimates of the type c n ∣ ∇ u + (  )∣  ∣ ∇ u − (  )∣  ≤ φ (  + ) ≤ φ (  /  ) ≤ C n ∥ u + ∥  L  ( B  ) ∥ u − ∥  L  ( B  ) Te proof is based on the following eigenvalue inequality of Friedland-Hayman 1976. For Σ ⊂ ∂B  define λ ( Σ ) = inf ∫ Σ ∣ ∇ θ f ∣  f ∣ ∂ Σ =  , ∫ Σ f  Define also α ( Σ ) so that λ ( Σ ) = α ( Σ )( n −  + α ( Σ )) . Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 3 / 25

Original Elliptic Monotonicity Formula One of the applications of the monotonicity formula is the ability to produce estimates of the type c n ∣ ∇ u + (  )∣  ∣ ∇ u − (  )∣  ≤ φ (  + ) ≤ φ (  /  ) ≤ C n ∥ u + ∥  L  ( B  ) ∥ u − ∥  L  ( B  ) Te proof is based on the following eigenvalue inequality of Friedland-Hayman 1976. For Σ ⊂ ∂B  define λ ( Σ ) = inf ∫ Σ ∣ ∇ θ f ∣  f ∣ ∂ Σ =  , ∫ Σ f  Define also α ( Σ ) so that λ ( Σ ) = α ( Σ )( n −  + α ( Σ )) . Teorem (Friedland-Hayman 1976) Let Σ ± be disjoint open sets on ∂B  . Ten α ( Σ + ) + α ( Σ − ) ≥ . Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 3 / 25

Parabolic Monotonicity Formula Teorem (Caffarelli 1993) Let u ± ( x , s ) be two continuous functions in S  = � n × (− ,  ] u ± ≥ , ( ∆ − ∂ s ) u ± ≥ , u + ⋅ u − =  in S  then Φ ( r , u + , u − ) =  − r  ∫ � n ∣∇ u + ∣  G ( x , − s ) dxds ∫ − r  ∫ � n ∣∇ u − ∣  G ( x , − s ) dxds   r  ∫ is monotone nondecreasing for r ∈ ( ,  ] . Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 4 / 25

Parabolic Monotonicity Formula Teorem (Caffarelli 1993) Let u ± ( x , s ) be two continuous functions in S  = � n × (− ,  ] u ± ≥ , ( ∆ − ∂ s ) u ± ≥ , u + ⋅ u − =  in S  then Φ ( r , u + , u − ) =  − r  ∫ � n ∣∇ u + ∣  G ( x , − s ) dxds ∫ − r  ∫ � n ∣∇ u − ∣  G ( x , − s ) dxds   r  ∫ is monotone nondecreasing for r ∈ ( ,  ] . Note that u ± must be defined in an entire strip and we must have a moderate growth at infinity. Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 4 / 25

Parabolic Monotonicity Formula Te proof is now based on the eigenvalue inequality in Gaussian space. Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 5 / 25

Parabolic Monotonicity Formula Te proof is now based on the eigenvalue inequality in Gaussian space. For Ω ⊂ � n define λ ( Ω ) = inf ∫ Ω ∣ ∇ f ∣  dν dν = (  π ) − n /  e − x  /  dx . ∫ Ω f  dν , Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 5 / 25

Parabolic Monotonicity Formula Te proof is now based on the eigenvalue inequality in Gaussian space. For Ω ⊂ � n define λ ( Ω ) = inf ∫ Ω ∣ ∇ f ∣  dν dν = (  π ) − n /  e − x  /  dx . ∫ Ω f  dν , Teorem (Beckner-Kenig-Pipher) Let Ω ± be two disjoint open sets in � n . Ten λ ( Ω + ) + λ ( Ω − ) ≥  Te proof is reduced to the convexity result of Brascamp-Lieb 1976 for first eigenvalues of − ∆ + V ( x ) with convex potential V as a function of the domain. Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 5 / 25

Localized Parabolic Formula Teorem (Caffarelli 1993) Let u ± ( x , s ) be two continuous functions in Q −  = B  × (− ,  ] such that u ± ≥ , ( ∆ − ∂ s ) u ± ≥ , u + ⋅ u − =  Q − in  . Let ψ ∈ C ∞  ( B  ) be a cutoff function such that  ≤ ψ ≤ , supp ψ ⊂ B  /  , ψ ∣ B  /  =  then Φ ( r ) = Φ ( r , u + ψ , u − ψ ) is almost monotone in a sense that Φ (  +) − Φ ( r ) ≤ Ce − c / r  ∥ u + ∥   ) ∥ u − ∥   ) . L  ( Q − L  ( Q − Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 6 / 25

Generalization: Caffarelli-Kenig Estimate Instead of the heat operator ∆ − ∂ s consider now uniformly parabolic � u = � � , b , c u ∶= div ( � ( x , s )∇ u ) + b ( x , s ) ⋅ ∇ u + c ( x , s ) u − ∂ s u Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 7 / 25

Generalization: Caffarelli-Kenig Estimate Instead of the heat operator ∆ − ∂ s consider now uniformly parabolic � u = � � , b , c u ∶= div ( � ( x , s )∇ u ) + b ( x , s ) ⋅ ∇ u + c ( x , s ) u − ∂ s u Assume � to be Dini continuous, b , c uniformly bounded Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 7 / 25

Generalization: Caffarelli-Kenig Estimate Instead of the heat operator ∆ − ∂ s consider now uniformly parabolic � u = � � , b , c u ∶= div ( � ( x , s )∇ u ) + b ( x , s ) ⋅ ∇ u + c ( x , s ) u − ∂ s u Assume � to be Dini continuous, b , c uniformly bounded Teorem (Caffarelli-Kenig 1998) Let u ± ( x , s ) be two continuous functions in Q −  such that u ± ≥ , � u ± ≥ , u + ⋅ u − =  Q − in  . Let ψ ∈ C ∞  ( B  ) be a cutoff function as before. Ten Φ ( r ) = Φ ( r , u + ψ , u − ψ ) is almost monotone in a sense that we have an estimate Φ ( r ) ≤ C  (∥ u + ∥   ) + ∥ u − ∥   ) ) r < r  .  , L  ( Q − L  ( Q − Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 7 / 25

Generalization: Caffarelli-Jerison-Kenig Estimate Teorem (Caffarelli-Jerison-Kenig 2002) Let u ± be two continuous functions in B  in � n such that u ± ≥ , ∆ u ± ≥ − , u + ⋅ u − =  in B  then the functional φ ( r ) = φ ( r , u + , u − ) satisfies φ ( r ) ≤ C  (  + ∥ u + ∥  L  ( B  ) + ∥ u − ∥  L  ( B  ) ) r < r  .  , Matevosyan, Petrosyan (Cambridge, Purdue) Almost monotonicity formulas Joint Meeting of KMS & AMS 8 / 25