Symmetry of solutions to parabolic Monge-Ampère equations

Boundary Value Problems20132013:185

DOI: 10.1186/1687-2770-2013-185

Received: 3 April 2013

Accepted: 5 August 2013

Published: 20 August 2013

Abstract

In this paper, we study the parabolic Monge-Ampère equation

u t det ( D 2 u ) = f ( t , u ) in  Ω × ( 0 , T ] . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equa_HTML.gif

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 R n × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq1_HTML.gif and an example in a cylinder to illustrate the results.

MSC:35K96, 35B06.

Keywords

parabolic Monge-Ampère equations symmetry method of moving planes

1 Introduction

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 [3]. 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.

For the study of elliptic Monge-Ampère equations, we can refer to the classical papers [57] and the study of parabolic Monge-Ampère equations; see the references [811]etc. The parabolic Monge-Ampère equation u t det ( D 2 u ) = f http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq2_HTML.gif was first introduced by Krylov [12] together with the other parabolic versions of elliptic Monge-Ampère equations; see [8] for a complete description and related results. It is also relevant in the study of deformation of surfaces by Gauss-Kronecker curvature [13, 14] and in a maximum principle for parabolic equations [15]. Tso [15] pointed out that the parabolic equation u t det ( D 2 u ) = f http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq2_HTML.gif is the most appropriate parabolic version of the elliptic Monge-Ampère equation det ( D 2 u ) = f http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq3_HTML.gif in the proof of Aleksandrov-Bakelman maximum principle of second-order parabolic equations. In this paper, we study the symmetry of solutions to the parabolic Monge-Ampère equation
u t det ( D 2 u ) = f ( t , u ) , ( x , t ) Q , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ1_HTML.gif
(1.1)
u = 0 , ( x , t ) S Q , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ2_HTML.gif
(1.2)
u = u 0 ( x ) , ( x , t ) B Q , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ3_HTML.gif
(1.3)

where D 2 u http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq4_HTML.gif is the Hessian matrix of u in x, Q = Ω × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq5_HTML.gif, Ω is a bounded and convex open subset in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif, S Q = Ω × ( 0 , T ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq7_HTML.gif denotes the side of Q, B Q = Ω ¯ × { 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq8_HTML.gif denotes the bottom of Q, and p Q = S Q B Q http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq9_HTML.gif denotes the parabolic boundary of Q, f and u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq10_HTML.gif are given functions.

There is vast literature on symmetry and monotonicity of positive solutions of elliptic equations. In 1979, Gidas et al. [16] first studied the symmetry of elliptic equations, and they proved that if Ω = R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq11_HTML.gif or Ω is a smooth bounded domain in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif, convex in x 1 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq12_HTML.gif and symmetric with respect to the hyperplane { x R n : x 1 = 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq13_HTML.gif, then any positive solution of the Dirichlet problem
Δ u + f ( u ) = 0 , x Ω , u = 0 , x Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equb_HTML.gif
satisfies the following symmetry and monotonicity properties:
u ( x 1 , x 2 , , x n ) = u ( x 1 , x 2 , , x n ) , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ4_HTML.gif
(1.4)
u x 1 ( x 1 , x 2 , , x n ) < 0 ( x 1 > 0 ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ5_HTML.gif
(1.5)

The basic technique they applied is the method of moving planes first introduced by Alexandrov [17] and then developed by Serrin [18]. Later the symmetry results of elliptic equations have been generalized and extended by many authors. Especially, Li [19] considered fully nonlinear elliptic equations on smooth domains, and Berestycki and Nirenberg [20] found a way to deal with general equations with nonsmooth domains using the maximum principles on domains with small measure. Recently, Zhang and Wang [21] investigated the symmetry of the elliptic Monge-Ampère equation det ( D 2 u ) = e u http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq14_HTML.gif and they got the following results.

Let Ω be a bounded convex domain in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif with smooth boundary and symmetric with respect to the hyperplane { x R n : x 1 = 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq15_HTML.gif, then each solution of the Dirichlet problem
det ( D 2 u ) = e u , x Ω , u = 0 , x Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equc_HTML.gif

has the above symmetry and monotonicity properties (1.4) and (1.5). Extensions in various directions including degenerate problems [22] or elliptic systems of equations [23] were studied by many authors.

For the symmetry results of parabolic equations on bounded and unbounded domains, the reader can be referred to [16, 24, 25] and the references therein. In particular, when Q = Ω × J http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq16_HTML.gif, J = ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq17_HTML.gif, Gidas et al. [16] studied parabolic equations u t + Δ u + f ( t , r , u ) = 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq18_HTML.gif and u t + F ( t , x , u , D u , D 2 u ) = 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq19_HTML.gif, and they proved that parabolic equations possessed the same symmetry as the above elliptic equations. When J = ( 0 , ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq20_HTML.gif, Hess and Poláčik [25] first studied the asymptotic symmetry results for classical, bounded, positive solutions of the problem
u t Δ u = f ( t , u ) , ( x , t ) Ω × J , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ6_HTML.gif
(1.6)
u = 0 , ( x , t ) Ω × J . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ7_HTML.gif
(1.7)

The symmetry of general positive solutions of parabolic equations was investigated in [24, 26, 27] and the references therein. A typical theorem of J = R http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq21_HTML.gif is as follows.

Let Ω be convex and symmetric in x 1 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq12_HTML.gif. If u is a bounded positive solution of (1.6) and (1.7) with J = R http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq21_HTML.gif satisfying
inf t R u ( x , t ) > 0 ( x Ω , t J ) , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equd_HTML.gif
then u has the symmetry and monotonicity properties for each t R http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq22_HTML.gif:
u ( x 1 , x , t ) = u ( x 1 , x , t ) ( x = ( x 1 , x ) Ω , t R ) , u x 1 ( x , t ) < 0 ( x Ω , x 1 > 0 , t R ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Eque_HTML.gif

The result of J = ( 0 , ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq20_HTML.gif is as follows.

Assume that u is a bounded positive solution of (1.6) and (1.7) with J = ( 0 , ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq20_HTML.gif such that for some sequence t n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq23_HTML.gif,
lim inf n u ( x , t n ) > 0 ( x Ω ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equf_HTML.gif
Then u is asymptotically symmetric in the sense that
lim t ( u ( x 1 , x , t ) u ( x 1 , x , t ) ) = 0 ( x Ω ) , lim sup t u x 1 ( x , t ) 0 ( x Ω , x 1 > 0 ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equg_HTML.gif

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

In this section, we prove some maximum principles. Let Ω be a bounded domain in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif, let a i j ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq24_HTML.gif, b ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq25_HTML.gif, c ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq26_HTML.gif be continuous functions in Q ¯ , Q = Ω × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq27_HTML.gif. Suppose that b ( x , t ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq28_HTML.gif, c ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq26_HTML.gif is bounded and there exist positive constants λ 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq29_HTML.gif and Λ 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq30_HTML.gif such that
λ 0 | ξ | 2 a i j ( x , t ) ξ i ξ j Λ 0 | ξ | 2 , ξ R n . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equh_HTML.gif
Here and in the sequel, we always denote
D i = x i , D i j = 2 x i x j . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equi_HTML.gif

We use the standard notation C 2 k , k ( Q ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq31_HTML.gif to denote the class of functions u such that the derivatives D x i D t j u http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq32_HTML.gif are continuous in Q for i + 2 j 2 k http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq33_HTML.gif.

Theorem 2.1 Let λ ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq34_HTML.gif be a bounded continuous function on Q ¯ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq35_HTML.gif, and let the positive function φ C 2 , 1 ( Q ¯ ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq36_HTML.gif satisfy
b ( x , t ) φ t + a i j ( x , t ) D i j φ λ ( x , t ) φ 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ8_HTML.gif
(2.1)
Suppose that u C 2 , 1 ( Q ) C 0 ( Q ¯ ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq37_HTML.gif satisfies
b ( x , t ) u t + a i j ( x , t ) D i j u c ( x , t ) u 0 , ( x , t ) Q , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ9_HTML.gif
(2.2)
u 0 , ( x , t ) p Q . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ10_HTML.gif
(2.3)
If
c ( x , t ) > λ ( x , t ) , ( x , t ) Q , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ11_HTML.gif
(2.4)

then u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq38_HTML.gif in Q.

Proof We argue by contradiction. Suppose there exists ( x ¯ , t ¯ ) Q http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq39_HTML.gif such that u ( x ¯ , t ¯ ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq40_HTML.gif. Let
v ( x , t ) = u ( x , t ) φ ( x , t ) , ( x , t ) Q . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equj_HTML.gif
Then v ( x ¯ , t ¯ ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq41_HTML.gif. Set v ( x 0 , t 0 ) = min Q ¯ v ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq42_HTML.gif, then x 0 Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq43_HTML.gif and v ( x 0 , t 0 ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq44_HTML.gif. Since v ( , t 0 ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq45_HTML.gif attains its minimum at x 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq46_HTML.gif, we have D v ( x 0 , t 0 ) = 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq47_HTML.gif, D 2 v ( x 0 , t 0 ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq48_HTML.gif. In addition, we have v t ( x 0 , t 0 ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq49_HTML.gif. A direct calculation gives
v t = u t φ u φ t φ 2 , D i j v = 1 φ D i j u u φ 2 D i j φ 1 φ D i v D j φ 1 φ D j v D i φ . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equk_HTML.gif
Taking into account u ( x 0 , t 0 ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq50_HTML.gif, we have at ( x 0 , t 0 ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq51_HTML.gif,
0 φ a i j D i j v = a i j D i j u a i j D i j φ φ u a i j D i j u + u φ ( b φ t λ φ ) a i j D i j u + b φ u t φ λ u = a i j D i j u + b u t λ u < a i j D i j u + b u t c u 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equl_HTML.gif

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.

Corollary 2.2 Suppose that Ω is unbounded, Q = Ω × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq52_HTML.gif. Besides the conditions of Theorem 2.1, we assume
lim inf | x | u ( x , t ) 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ12_HTML.gif
(2.5)

Then u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq38_HTML.gif in Q.

Proof Still consider v ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq53_HTML.gif in the proof of Theorem 2.1. Condition (2.5) shows that the minimum of v ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq53_HTML.gif cannot be achieved at infinity. The rest of the proof is the same as the proof of Theorem 2.1. □

If Ω is a narrow region with width l,
Ω = { x R n | 0 < x 1 < l } , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equm_HTML.gif

then we have the following narrow region principle.

Corollary 2.3 (Narrow region principle)

Suppose that u C 2 , 1 ( Q ) C 0 ( Q ¯ ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq37_HTML.gif satisfies (2.2) and (2.3). Let the width l of Ω be sufficiently small. If on p Q http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq54_HTML.gif, u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq38_HTML.gif, then we have u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq38_HTML.gif in Q. If Ω is unbounded, and lim inf | x | u ( x , t ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq55_HTML.gif, then the conclusion is also true.

Proof Let 0 < ε < l http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq56_HTML.gif,
φ ( x , t ) = t + sin x 1 + ε l . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equn_HTML.gif
Then φ is positive and
φ t = 1 , a i j D i j φ = ( 1 l ) 2 a 11 φ . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equo_HTML.gif
Choose λ ( x , t ) = λ 0 / l 2 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq57_HTML.gif. In virtue of the boundedness of c ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq26_HTML.gif, when l is sufficiently small, we have c ( x , t ) > λ ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq58_HTML.gif, and thus
b φ t + a i j D i j φ λ φ = b ( 1 l ) 2 a 11 φ ( λ 0 l 2 ) φ = b ( 1 l ) 2 a 11 φ + λ 0 l 2 φ b < 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equp_HTML.gif

From Theorem 2.1, we have u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq38_HTML.gif. □

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 u ( x , t ) : Q R http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq59_HTML.gif is called parabolically convex if it is continuous, convex in x and decreasing in t.

Suppose that the following conditions hold.
  1. (A)

    f u ( t , u ) / f ( t , u ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq60_HTML.gif is bounded in [ 0 , T ] × R http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq61_HTML.gif.

     
  2. (B)
    u 0 / x 1 < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq62_HTML.gif and
    u 0 ( x ) u 0 ( x λ ) , x Ω λ , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ13_HTML.gif
    (3.1)
     

where x λ = ( 2 λ x 1 , x 2 , , x n ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq63_HTML.gif, Ω λ = Ω { x Ω : x 1 λ } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq64_HTML.gif ( λ < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq65_HTML.gif).

Theorem 3.1 Let Ω be a strictly convex domain in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif and symmetric with respect to the plane { x Ω : x 1 = 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq66_HTML.gif, Q = Ω × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq52_HTML.gif. Assume that conditions (A) and (B) hold and u C 2 , 1 ( Q ) C 0 ( Q ¯ ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq37_HTML.gif is any parabolically convex solution of (1.1), (1.2) and (1.3). Then u ( x 1 , x , t ) = u ( x 1 , x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq67_HTML.gif, where ( x , t ) = ( x 1 , x , t ) R n + 1 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq68_HTML.gif, and when x 1 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq69_HTML.gif, u ( x , t ) / x 1 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq70_HTML.gif.

Proof Let in Ω λ × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq71_HTML.gif, u λ ( x , t ) = u ( x λ , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq72_HTML.gif, that is,
u λ ( x 1 , x 2 , , x n , t ) = u ( 2 λ x 1 , x 2 , , x n , t ) , ( x , t ) Ω λ × ( 0 , T ] . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equq_HTML.gif
Then
D 2 u λ ( x 1 , x 2 , , x n , t ) = P T D 2 u ( 2 λ x 1 , x 2 , , x n , t ) P , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equr_HTML.gif
where P = diag ( 1 , 1 , , 1 ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq73_HTML.gif. Therefore,
u t λ det ( D 2 u λ ) = u t ( 2 λ x 1 , x 2 , , x n , t ) det ( D 2 u ( 2 λ x 1 , x 2 , , x n , t ) ) = f ( t , u ( 2 λ x 1 , x 2 , , x n , t ) ) = f ( t , u λ ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ14_HTML.gif
(3.2)
We rewrite (3.2) in the form
log ( u t λ ) + log ( det ( D 2 u λ ) ) = log f ( t , u λ ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ15_HTML.gif
(3.3)
On the other hand, from (1.1), we have
log ( u t ) + log ( det ( D 2 u ) ) = log f ( t , u ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ16_HTML.gif
(3.4)
According to (3.3) and (3.4), we have
log ( u t ) log ( u t λ ) + log ( det ( D 2 u ) ) log ( det ( D 2 u λ ) ) = log f ( t , u ) log f ( t , u λ ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equs_HTML.gif
Therefore
0 1 d d s log ( s u t ( 1 s ) u t λ ) d s + 0 1 d d s log det ( s D 2 u + ( 1 s ) D 2 u λ ) d s = 0 1 d d s log f ( t , s u + ( 1 s ) u λ ) d s . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equt_HTML.gif
As a result, we have
b ( x , t ) ( u u λ ) t + a i j ( x , t ) ( u u λ ) i j c ( x , t ) ( u u λ ) = 0 , ( x , t ) Ω λ × ( 0 , T ] , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ17_HTML.gif
(3.5)
where
b ( x , t ) = 0 1 d s s u t + ( 1 s ) u t λ , a i j ( x , t ) = 0 1 g s i j d s , c ( x , t ) = 0 1 f u f ( t , s u + ( 1 s ) u λ ) d s , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equu_HTML.gif
g s i j http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq74_HTML.gif is the inverse matrix of s D 2 u + ( 1 s ) D 2 u λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq75_HTML.gif. Then b ( x , t ) < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq28_HTML.gif, c ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq26_HTML.gif is bounded and by the a priori estimate [9] we know there exist positive constants λ 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq29_HTML.gif and Λ 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq30_HTML.gif such that
λ 0 | ξ | 2 a i j ξ i ξ j Λ 0 | ξ | 2 , ξ R n . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equv_HTML.gif
Let
w λ = u u λ , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equw_HTML.gif
then from (3.5),
b ( x , t ) w t λ + a i j ( x , t ) w i j λ c ( x , t ) w λ = 0 , ( x , t ) Ω λ × ( 0 , T ] . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ18_HTML.gif
(3.6)
Clearly,
w λ ( x , t ) = 0 , x Ω λ { x 1 = λ } , 0 < t T . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ19_HTML.gif
(3.7)
Because the image of Ω Ω λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq76_HTML.gif about the plane { x 1 = λ } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq77_HTML.gif lies in Ω, according to the maximum principle of parabolic Monge-Ampère equations,
u λ ( x , t ) 0 , x Ω Ω λ . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equx_HTML.gif
Thus
w λ ( x , t ) = u u λ = 0 u λ 0 , x Ω Ω λ , 0 < t T . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ20_HTML.gif
(3.8)
On the other hand, from (3.1),
w λ ( x , 0 ) = u 0 ( x ) u 0 ( x λ ) 0 , x Ω λ . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ21_HTML.gif
(3.9)

From Corollary 2.3, when the width of Ω λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq78_HTML.gif is sufficiently small, w λ ( x , t ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq79_HTML.gif, ( x , t ) Ω λ × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq80_HTML.gif.

Now we start to move the plane to its right limit. Define
Λ = sup { λ < 0 | w λ ( x , t ) 0 , x Ω λ , 0 < t T } . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equy_HTML.gif
We claim that
Λ = 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equz_HTML.gif

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 Λ.

In fact, if Λ < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq81_HTML.gif, then the image of Ω Ω Λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq82_HTML.gif under the reflection about { x 1 = Λ } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq83_HTML.gif lies inside Ω. According to the strong maximum principle of parabolic Monge-Ampère equations, for x Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq84_HTML.gif, u Λ < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq85_HTML.gif. Therefore, for x Ω Λ Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq86_HTML.gif, we have w Λ > 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq87_HTML.gif. On the other hand, by the definition of Λ, we have for x Ω Λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq88_HTML.gif, w Λ 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq89_HTML.gif. So, from the strong maximum principle [28] of linear parabolic equations and (3.6), we have for ( x , t ) Ω Λ × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq90_HTML.gif,
w Λ ( x , t ) > 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ22_HTML.gif
(3.10)
Let d 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq91_HTML.gif be the maximum width of narrow regions so that we can apply the narrow region principle. Choose a small positive constant δ such that Λ + δ < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq92_HTML.gif, δ d 0 / 2 Λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq93_HTML.gif. We consider the function w Λ + δ ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq94_HTML.gif on the narrow region
Σ Λ + δ × ( 0 , T ] = ( Ω Λ + δ { x 1 > Λ d 0 2 } ) × ( 0 , T ] . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equaa_HTML.gif
Then w Λ + δ ( x , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq94_HTML.gif satisfies
b ( x , t ) w t Λ + δ + a i j ( x , t ) D i j w Λ + δ c ( x , t ) w Λ + δ = 0 , ( x , t ) Σ Λ + δ × ( 0 , T ] . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ23_HTML.gif
(3.11)
Now we prove the boundary condition
w Λ + δ ( x , t ) 0 , ( x , t ) p ( Σ Λ + δ × ( 0 , T ] ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ24_HTML.gif
(3.12)
Similar to boundary conditions (3.7), (3.8) and (3.9), boundary condition (3.12) is satisfied for x Σ Λ + δ Ω http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq95_HTML.gif, x Σ Λ + δ { x 1 = Λ + δ } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq96_HTML.gif and for t = 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq97_HTML.gif. In order to prove (3.12) is satisfied for x Σ Λ + δ { x 1 = Λ d 0 / 2 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq98_HTML.gif, we apply the continuity argument. By (3.10) and the fact that ( Λ d 0 / 2 , x 2 , , x n ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq99_HTML.gif is inside Ω Λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq100_HTML.gif, there exists a positive constant c 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq101_HTML.gif such that
w Λ ( Λ d 0 2 , x 2 , , x n , t ) c 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equab_HTML.gif
Because w λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq102_HTML.gif is continuous in λ, then for small δ, we still have
w Λ + δ ( Λ d 0 2 , x 2 , , x n , t ) 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equac_HTML.gif
Therefore boundary condition (3.12) holds for small δ. From Corollary 2.3, we have
w Λ + δ ( x , t ) 0 , x Σ Λ + δ , 0 < t T . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ25_HTML.gif
(3.13)
Combining (3.10) and the fact that w λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq102_HTML.gif is continuous for λ, we know that w Λ + δ ( x , t ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq103_HTML.gif for x Ω Λ http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq88_HTML.gif when δ is small. Then from (3.13), we know that
w Λ + δ ( x , t ) 0 , x Ω Λ + δ , 0 < t T . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equad_HTML.gif

This contradicts with the definition of Λ, and so Λ = 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq104_HTML.gif.

As a result, w 0 ( x , t ) 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq105_HTML.gif for x Ω 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq106_HTML.gif, which means that as x 1 < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq107_HTML.gif,
u ( x 1 , x 2 , , x n , t ) u ( x 1 , x 2 , , x n , t ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equae_HTML.gif
Since Ω is symmetric about the plane { x 1 = 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq108_HTML.gif, then for x 1 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq109_HTML.gif, u ( x 1 , x 2 , , x n , t ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq110_HTML.gif also satisfies (1.1). Thus we can move the plane from the right towards the left and get the reverse inequality. Therefore
u ( x , t ) / x 1 0 , x 1 0 , u ( x 1 , x 2 , , x n , t ) = u ( x 1 , x 2 , , x n , t ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ26_HTML.gif
(3.14)

Equation (3.14) means that u is symmetric about the plane { x 1 = 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq108_HTML.gif. Theorem 3.1 is proved. □

If we put the x 1 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq12_HTML.gif axis in any direction, from Theorem 3.1, we have the following.

Corollary 3.2 If Ω is a ball, Q = Ω × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq5_HTML.gif, then any parabolically convex solution u C 2 , 1 ( Q ¯ ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq111_HTML.gif of (1.1), (1.2) and (1.3) is radially symmetric about the origin.

Remark 3.1 Solutions of (1.1) in R n × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq1_HTML.gif may not be radially symmetric. For example,
u t det ( D 2 u ) = e u , ( x , t ) R n × ( 0 , T ] http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ27_HTML.gif
(3.15)
has a non-radially symmetric solution. In fact, we know that f ( x ) = 2 log ( 1 + e 2 x ) 2 x log 4 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq112_HTML.gif ( x > 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq113_HTML.gif) satisfies f = e f http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq114_HTML.gif in R 1 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq115_HTML.gif, and f ( x ) = f ( x ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq116_HTML.gif, x < 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq117_HTML.gif. Define
u ( x , t ) = log ( T t ) + f ( x 1 ) + f ( x 2 ) + + f ( x n ) , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equaf_HTML.gif

then u is a solution of (3.15) but not radially symmetric.

We conclude this paper with a brief examination of Theorem 3.1. Let B = B 1 ( 0 ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq118_HTML.gif be the unit ball in R n http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq6_HTML.gif, and let radially symmetric function u 0 ( x ) = u 0 ( r ) http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq119_HTML.gif, r = | x | http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq120_HTML.gif satisfy
u 0 ( r ) ( u 0 ( r ) ) n 1 u 0 ( r ) r n 1 = 1 , 0 < r < 1 , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ28_HTML.gif
(3.16)
u 0 ( 1 ) = u 0 ( 0 ) = 0 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ29_HTML.gif
(3.17)
Example 3.1 Let u 0 http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq10_HTML.gif satisfy (3.16) and (3.17). Then any solution of
u t det ( D 2 u ) = 1 , ( x , t ) B × ( 0 , T ] , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ30_HTML.gif
(3.18)
u = 0 , ( x , t ) B × ( 0 , T ) , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ31_HTML.gif
(3.19)
u = u 0 , ( x , t ) B ¯ × { 0 } http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ32_HTML.gif
(3.20)
is of the form
u = [ ( n + 1 ) t + 1 ] 1 n + 1 u 0 ( r ) , http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ33_HTML.gif
(3.21)

where r = | x | http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_IEq120_HTML.gif.

Proof According to Corollary 3.2, the solution is symmetric. Let
u ( x , t ) = u ( r , t ) , r = | x | . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equag_HTML.gif
Then
u i = u ( r , t ) r x i r , u i j = 2 u ( r , t ) r 2 x i x j r 2 + u ( r , t ) r ( δ i j r x i x j r 3 ) , det ( D 2 u ) = ( u / r r ) n 1 2 u r 2 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equah_HTML.gif
Therefore (3.18) is
u t ( u / r r ) n 1 2 u r 2 = 1 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ34_HTML.gif
(3.22)
We seek the solution of the form
u ( r , t ) = T ( t ) u 0 ( r ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equai_HTML.gif
Then
u 0 ( r ) T ( t ) ( u 0 ( r ) T ( t ) ) n 1 r n 1 u 0 ( r ) T ( t ) = 1 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equaj_HTML.gif
That is,
u 0 ( r ) ( u 0 ( r ) ) n 1 u 0 ( r ) r n 1 = 1 T ( t ) ( T ( t ) ) n . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ35_HTML.gif
(3.23)
Therefore
T ( t ) ( T ( t ) ) n = 1 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ36_HTML.gif
(3.24)
By (3.20), we know that
T ( 0 ) = 1 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equ37_HTML.gif
(3.25)
From (3.24) and (3.25), we have
T ( t ) = [ ( n + 1 ) t + 1 ] 1 n + 1 . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equak_HTML.gif
As a result,
u ( r , t ) = [ ( n + 1 ) t + 1 ] 1 n + 1 u 0 ( r ) . http://static-content.springer.com/image/art%3A10.1186%2F1687-2770-2013-185/MediaObjects/13661_2013_Article_435_Equal_HTML.gif

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). □

Declarations

Acknowledgements

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).

Authors’ Affiliations

(1)
School of Mathematics and Information Science, Weifang University

References

  1. Wang XJ: On the design of a reflector antenna. Inverse Probl. 1996, 12: 351-375. 10.1088/0266-5611/12/3/013View Article
  2. 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 Article
  3. Evans LC, Gangbo W Mem. Amer. Math. Soc. 137. Differential Equations Methods for the Monge-Kantorovich Mass Transfer Problem 1999.
  4. Gangbo W, McCann RJ: The geometry of optimal transportation. Acta Math. 1996, 177: 113-161. 10.1007/BF02392620MathSciNetView Article
  5. 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 Article
  6. Gutiérrez CE: The Monge-Ampère Equation. Birkhäuser, Basel; 2001.View Article
  7. Gilbarg D, Trudinger NS: Elliptic Partial Differential Equations of Second Order. 2nd edition. Springer, Berlin; 1983.View Article
  8. Lieberman GM: Second Order Parabolic Differential Equations. World Scientific, River Edge; 1996.View Article
  9. Wang GL: The first boundary value problem for parabolic Monge-Ampère equation. Northeast. Math. J. 1987, 3: 463-478.MathSciNet
  10. 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.MathSciNet
  11. 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 Article
  12. 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 Article
  13. Firey WJ: Shapes of worn stones. Mathematika 1974, 21: 1-11. 10.1112/S0025579300005714MathSciNetView Article
  14. Tso K: Deforming a hypersurface by its Gauss-Kronecker curvature. Commun. Pure Appl. Math. 1985, 38: 867-882. 10.1002/cpa.3160380615MathSciNetView Article
  15. 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 Article
  16. Gidas B, Ni WM, Nirenberg L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 1979, 68: 209-243. 10.1007/BF01221125MathSciNetView Article
  17. Alexandrov AD: A characteristic property of spheres. Ann. Mat. Pura Appl. 1962, 58: 303-315. 10.1007/BF02413056MathSciNetView Article
  18. Serrin J: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 1971, 43: 304-318.MathSciNetView Article
  19. 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 Article
  20. 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 Article
  21. 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 Article
  22. Serrin J, Zou H: Symmetry of ground states of quasilinear elliptic equations. Arch. Ration. Mech. Anal. 1999, 148: 265-290. 10.1007/s002050050162MathSciNetView Article
  23. 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 Article
  24. 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 Article
  25. 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 Article
  26. Babin AV: Symmetrization properties of parabolic equations in symmetric domains. J. Differ. Equ. 1995, 123: 122-152. 10.1006/jdeq.1995.1159MathSciNetView Article
  27. 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 Article
  28. Protter MH, Weinberger HF: Maximum Principles in Differential Equations. Springer, New York; 1984.View Article

Copyright

© Dai; licensee Springer 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://​creativecommons.​org/​licenses/​by/​2.​0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.