Symmetry of solutions to parabolic Monge-Ampère equations
© Dai; licensee Springer 2013
Received: 3 April 2013
Accepted: 5 August 2013
Published: 20 August 2013
In this paper, we study the parabolic Monge-Ampère equation
Using the method of moving planes, we show that any parabolically convex solution is symmetric with respect to some hyperplane. We also give a counterexample in and an example in a cylinder to illustrate the results.
Keywordsparabolic Monge-Ampère equations symmetry method of moving planes
The Monge-Ampère equation has been of much importance in geometry, optics, stochastic theory, mass transfer problem, mathematical economics and mathematical finance theory. In optics, the reflector antenna system satisfies a partial differential equation of Monge-Ampère type. In [1, 2], Wang showed that the reflector antenna design problem was equivalent to an optimal transfer problem. An optimal transportation problem can be interpreted as providing a weak or generalized solution to the Monge-Ampère mapping problem . More applications of the Monge-Ampère equation and the optimal transportation can be found in [3, 4]. In the meantime, the Monge-Ampère equation turned out to be the prototype for a class of questions arising in differential geometry.
where is the Hessian matrix of u in x, , Ω is a bounded and convex open subset in , denotes the side of Q, denotes the bottom of Q, and denotes the parabolic boundary of Q, f and are given functions.
The basic technique they applied is the method of moving planes first introduced by Alexandrov  and then developed by Serrin . Later the symmetry results of elliptic equations have been generalized and extended by many authors. Especially, Li  considered fully nonlinear elliptic equations on smooth domains, and Berestycki and Nirenberg  found a way to deal with general equations with nonsmooth domains using the maximum principles on domains with small measure. Recently, Zhang and Wang  investigated the symmetry of the elliptic Monge-Ampère equation and they got the following results.
has the above symmetry and monotonicity properties (1.4) and (1.5). Extensions in various directions including degenerate problems  or elliptic systems of equations  were studied by many authors.
The result of is as follows.
In this paper, using the method of moving planes, we obtain the same symmetry of solutions to problem (1.1), (1.2) and (1.3) as elliptic equations.
2 Maximum principles
We use the standard notation to denote the class of functions u such that the derivatives are continuous in Q for .
then in Q.
This is a contradiction and thus completes the proof of Theorem 2.1. □
Theorem 2.1 is also valid in unbounded domains if u is nonnegative at infinity. Thus we have the following corollary.
Then in Q.
Proof Still consider in the proof of Theorem 2.1. Condition (2.5) shows that the minimum of cannot be achieved at infinity. The rest of the proof is the same as the proof of Theorem 2.1. □
then we have the following narrow region principle.
Corollary 2.3 (Narrow region principle)
Suppose that satisfies (2.2) and (2.3). Let the width l of Ω be sufficiently small. If on , , then we have in Q. If Ω is unbounded, and , then the conclusion is also true.
From Theorem 2.1, we have . □
3 Main results
In this section, we prove that the solutions of (1.1), (1.2) and (1.3) are symmetric by the method of moving planes.
Definition 3.1 A function is called parabolically convex if it is continuous, convex in x and decreasing in t.
is bounded in .
where , ().
Theorem 3.1 Let Ω be a strictly convex domain in and symmetric with respect to the plane , . Assume that conditions (A) and (B) hold and is any parabolically convex solution of (1.1), (1.2) and (1.3). Then , where , and when , .
From Corollary 2.3, when the width of is sufficiently small, , .
Otherwise, we will show that the plane can be further moved to the right by a small distance, and this would contradict with the definition of Λ.
This contradicts with the definition of Λ, and so .
Equation (3.14) means that u is symmetric about the plane . Theorem 3.1 is proved. □
If we put the axis in any direction, from Theorem 3.1, we have the following.
Corollary 3.2 If Ω is a ball, , then any parabolically convex solution of (1.1), (1.2) and (1.3) is radially symmetric about the origin.
then u is a solution of (3.15) but not radially symmetric.
From the maximum principle, we know that the solution of (3.18)-(3.20) is unique. Thus any solution of (3.18), (3.19) and (3.20) is of the form of (3.21). □
The research was supported by NNSFC (11201343), Shandong Province Young and Middle-Aged Scientists Research Awards Fund (BS2011SF025), Shandong Province Science and Technology Development Project (2011YD16002).
- Wang XJ: On the design of a reflector antenna. Inverse Probl. 1996, 12: 351-375. 10.1088/0266-5611/12/3/013View ArticleMATH
- Wang XJ: On the design of a reflector antenna II. Calc. Var. Partial Differ. Equ. 2004, 20: 329-341. 10.1007/s00526-003-0239-4View ArticleMATH
- Evans LC, Gangbo W Mem. Amer. Math. Soc. 137. Differential Equations Methods for the Monge-Kantorovich Mass Transfer Problem 1999.
- Gangbo W, McCann RJ: The geometry of optimal transportation. Acta Math. 1996, 177: 113-161. 10.1007/BF02392620MathSciNetView ArticleMATH
- Caffarelli L, Nirenberg L, Spruck J: The Dirichlet problem for nonlinear second-order elliptic equations. I. Monge-Ampère equation. Commun. Pure Appl. Math. 1984, 37: 369-402. 10.1002/cpa.3160370306MathSciNetView ArticleMATH
- Gutiérrez CE: The Monge-Ampère Equation. Birkhäuser, Basel; 2001.View ArticleMATH
- Gilbarg D, Trudinger NS: Elliptic Partial Differential Equations of Second Order. 2nd edition. Springer, Berlin; 1983.View ArticleMATH
- Lieberman GM: Second Order Parabolic Differential Equations. World Scientific, River Edge; 1996.View ArticleMATH
- Wang GL: The first boundary value problem for parabolic Monge-Ampère equation. Northeast. Math. J. 1987, 3: 463-478.MathSciNetMATH
- Wang RH, Wang GL: On the existence, uniqueness and regularity of viscosity solution for the first initial boundary value problem to parabolic Monge-Ampère equations. Northeast. Math. J. 1992, 8: 417-446.MathSciNetMATH
- Xiong JG, Bao JG: On Jörgens, Calabi, and Pogorelov type theorem and isolated singularities of parabolic Monge-Ampère equations. J. Differ. Equ. 2011, 250: 367-385. 10.1016/j.jde.2010.08.024MathSciNetView ArticleMATH
- Krylov NV: Sequences of convex functions, and estimates of the maximum of the solution of a parabolic equation. Sib. Mat. Zh. 1976, 17: 290-303. (in Russian)View ArticleMATH
- Firey WJ: Shapes of worn stones. Mathematika 1974, 21: 1-11. 10.1112/S0025579300005714MathSciNetView ArticleMATH
- Tso K: Deforming a hypersurface by its Gauss-Kronecker curvature. Commun. Pure Appl. Math. 1985, 38: 867-882. 10.1002/cpa.3160380615MathSciNetView ArticleMATH
- Tso K: On an Aleksandrov-Bakelman type maximum principle for second-order parabolic equations. Commun. Partial Differ. Equ. 1985, 10: 543-553. 10.1080/03605308508820388MathSciNetView ArticleMATH
- Gidas B, Ni WM, Nirenberg L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 1979, 68: 209-243. 10.1007/BF01221125MathSciNetView ArticleMATH
- Alexandrov AD: A characteristic property of spheres. Ann. Mat. Pura Appl. 1962, 58: 303-315. 10.1007/BF02413056MathSciNetView Article
- Serrin J: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 1971, 43: 304-318.MathSciNetView ArticleMATH
- Li C: Monotonicity and symmetry of solutions of fully nonlinear elliptic equations on unbounded domains. Commun. Partial Differ. Equ. 1991, 16: 585-615. 10.1080/03605309108820770View ArticleMATH
- Berestycki H, Nirenberg L: On the method of moving planes and the sliding method. Bol. Soc. Bras. Mat. 1991, 22: 1-37. 10.1007/BF01244896MathSciNetView ArticleMATH
- Zhang ZT, Wang KL: Existence and non-existence of solutions for a class of Monge-Ampère equations. J. Differ. Equ. 2009, 246: 2849-2875. 10.1016/j.jde.2009.01.004View ArticleMATH
- Serrin J, Zou H: Symmetry of ground states of quasilinear elliptic equations. Arch. Ration. Mech. Anal. 1999, 148: 265-290. 10.1007/s002050050162MathSciNetView ArticleMATH
- Busca J, Sirakov B: Symmetry results for semilinear elliptic systems in the whole space. J. Differ. Equ. 2000, 163: 41-56. 10.1006/jdeq.1999.3701MathSciNetView ArticleMATH
- Földes J: On symmetry properties of parabolic equations in bounded domains. J. Differ. Equ. 2011, 250: 4236-4261. 10.1016/j.jde.2011.03.018View ArticleMATH
- Hess P, Poláčik P: Symmetry and convergence properties for non-negative solutions of nonautonomous reaction-diffusion problems. Proc. R. Soc. Edinb., Sect. A 1994, 124: 573-587. 10.1017/S030821050002878XView ArticleMATH
- Babin AV: Symmetrization properties of parabolic equations in symmetric domains. J. Differ. Equ. 1995, 123: 122-152. 10.1006/jdeq.1995.1159MathSciNetView ArticleMATH
- Babin AV, Sell GR: Attractors of non-autonomous parabolic equations and their symmetry properties. J. Differ. Equ. 2000, 160: 1-50. 10.1006/jdeq.1999.3654MathSciNetView ArticleMATH
- Protter MH, Weinberger HF: Maximum Principles in Differential Equations. Springer, New York; 1984.View ArticleMATH