Open Access

Global solutions for a new geometric flow with rotational invariance

Boundary Value Problems20172017:17

https://doi.org/10.1186/s13661-017-0751-7

Received: 30 October 2016

Accepted: 16 January 2017

Published: 25 January 2017

Abstract

In this paper we introduce a new geometric flow with rotational invariance and prove the existence of a global solution.

Keywords

system of hyperbolic-parabolic equationsrotational invarianceglobal smooth solutionhypersurface

MSC

53C2153C4435M20

1 Introduction

Since the last quarter of the 20th century, using partial differential equations to formulate and solve geometric problems has become a trend and a dominating force. A new area called geometric analysis was born. When looking back at the history of geometric analysis, one could see numerous success stories of utilizing differential equations to tackle important problems in geometry, topology, and physics. Typical and important examples would include Yau’s solution to the Calabi conjecture using the complex Monge-Ampère equation (see Yau [1]), Schoen’s solution of the Yamabe conjecture (see Schoen [2]), Schoen-Yau’s proof of the positive mass conjecture (see Schoen-Yau [3]), Donaldson’s work on 4-dimensional smooth manifolds using the Yang-Mills equation (see Donaldson [4]), and recently, Perelman’s solution to the century-old Poincaré conjecture using Hamilton’s beautiful theory on the Ricci flow, which is just a nonlinear version of the classical heat equation (see [57]). However, despite all these success, the equations studied and utilized in geometry so far are almost exclusively of elliptic or parabolic type. With few exceptions, hyperbolic equations have not yet found their way into the study of geometric or topological problems. More recently, Kong et al. introduced the hyperbolic geometric flow which is a fresh start of an attempt to introduce hyperbolic partial differential equations into the realm of geometry (see [8] or [9]). The kind of flow is a very natural tool to understand the wave character of metrics, the wave phenomenon of curvatures, the evolution of manifolds and their structures (see [1012]).

In this paper, we introduce a new geometric flow with rotational invariance. This flow is described formally by a system of parabolic partial differential equations, essentially a coupled system of hyperbolic-parabolic partial differential equations with rotational invariance. More precisely, let \(\mathscr{S}_{t}\) be a family of hypersurfaces in the \((n+1)\)-dimensional Euclidean space \(\mathbb{R} ^{n+1}\) with coordinates \((x_{1},\ldots, x_{n+1})\), without loss of generality, we may assume that the family of hypersurfaces \(\mathscr{S}_{t}\) is given by
$$ x=x(t,\theta_{1},\ldots,\theta_{n}), $$
(1.1)
where \(x=(x_{1},\ldots,x_{n+1})^{T}\) is a vector-valued smooth function of t and \(\theta =(\theta_{1},\ldots,\theta_{n})\), the new flow considered here is given by the following evolution equation:
$$ \frac{\partial x}{\partial t}+\sum^{n}_{i=1} \frac{\partial (f_{i}(\vert x\vert )x) }{\partial \theta_{i}}=\frac{x}{\vert x\vert }\Delta \vert x\vert , $$
(1.2)
where \(f_{i}(\nu)\) (\(i=1,\ldots,n\)) are n given smooth functions, \({ \Delta =\sum^{n}_{i=1}\frac{\partial^{2} }{\partial \theta_{i}^{2}}}\) is the Laplacian operator, and \(\vert \bullet \vert \) stands for the norm of the vector • in \(\mathbb{R}^{n+1}\). It is easy to verify that equation (1.2) possesses the rotational invariance which plays an important role in the present paper.
We are interested in the deformation of a smooth closed hypersurface \(x=x_{0}(\theta_{1},\ldots,\theta_{n})\) under the flow (1.2), that is, we consider how the hypersurface \(x_{0}\) is smoothly deformed, say, embedded into a smooth family of hypersurfaces depending on a time parameter. This can be reduced to solve the Cauchy problem for (1.2) with the initial data
$$ t=0: x=x_{0}(\theta_{1},\ldots, \theta_{n}). $$
(1.3)
Obviously, in the present situation, \(x_{0}=x_{0}(\theta_{1},\ldots, \theta_{n})\) is a vector-valued periodic function, say, defined on \([0,1]^{n}\). In Section 2, we shall prove the following.

Theorem 1.1

If \(f\in C^{1}\), \(x_{0}\in L^{\infty }\) and \(\vert x_{0}(\theta_{1},\ldots,\theta_{n})\vert >0\), then the Cauchy problem (1.2), (1.3) admits a unique global smooth solution on \([0,\infty) \times \mathbb{R}^{n}\).

The paper is organized as follows. In Section 2 we prove the global existence and uniqueness of smooth solutions for the Cauchy problem (1.2), (1.3); in Section 3, we state conclusions obtained in the present paper and give some open problems.

2 Global existence and uniqueness of smooth solutions

This section is devoted to the global existence and uniqueness of smooth solution of the following equation:
$$ \frac{\partial x}{\partial t}+\sum^{m}_{i=1} \frac{\partial (f_{i}(\vert x\vert )x) }{\partial \theta_{i}}=\frac{x}{\vert x\vert }\Delta \vert x\vert , $$
(2.1)
where \(x=(x_{1},\ldots,x_{n})^{T}\) is the unknown vector-valued function, \(f(\nu)=(f_{1}(\nu),\ldots, f_{m}(\nu))^{T}\) is a given smooth vector-valued function, \({ \Delta =\sum^{m}_{i=1}\frac{\partial^{2} }{\partial \theta_{i}^{2}}}\) is the Laplacian operator, and \(\vert \bullet \vert \) stands for the norm of the vector • in \(\mathbb{R}^{n}\).
Let
$$ x=rP,\quad r=\vert x\vert , P=(p_{1}, \ldots,p_{n})\in \mathbb{S}^{n-1}. $$
(2.2)
Then it is easy to verify that equation (2.1) can be rewritten as
$$\begin{aligned}& \frac{\partial r}{\partial t}+\sum^{m}_{i=1} \frac{\partial (f_{i}(r)r) }{\partial \theta_{i}}=\Delta r \end{aligned}$$
(2.1a)
and
$$\begin{aligned}& \frac{\partial P}{\partial t}+\sum^{m}_{i=1} \frac{\partial P }{\partial \theta_{i}}f_{i}(r)=0 \end{aligned}$$
(2.1b)
for smooth solutions.
We now consider the Cauchy problem for equation (2.1), equivalently, the system (2.1a)-(2.1b) with initial data
$$ t=0: r=r_{0}(\theta),\qquad P=P_{0}( \theta), $$
(2.3)
where \(r_{0}(\theta)\) is a given scalar function of θ, and \(P_{0}(\theta)\) is a given vector-valued function of θ. In the following, we first investigate the local existence of smooth solution of the above Cauchy problem.
As the standard way, let \(K(t,\theta)\) be the fundamental solution associated with the operator \({ \frac{\partial }{\partial t}-\triangle }\). That is to say,
$$ K(t,\theta)=(4\pi t)^{-\frac{n}{2}}\exp \biggl\{ - \frac{\vert \theta \vert ^{2}}{4t} \biggr\} . $$
(2.4)
Then the solution \(r=r(t,\theta)\) of the Cauchy problem
$$ \textstyle\begin{cases} { \frac{\partial r}{\partial t}+\sum^{m}_{i=1}\frac{\partial (f_{i}(r)r) }{\partial \theta_{i}}=\Delta r,} \\ t=0: r=r_{0}(\theta), \end{cases} $$
(2.5)
has the following integral representation:
$$ r(t,\theta)=K(t,\theta)*r_{0}(\theta)+\sum ^{m}_{j=1} \int^{t}_{0}K _{\theta_{j}} (t-s,\theta)* \bigl(f_{j} \bigl(r(s,\theta) \bigr)r(s,\theta) \bigr)\,ds, $$
(2.6)
where denotes the convolution with the space variables. We have the following.

Lemma 2.1

Assume that
$$ f\in C^{1},\quad r_{0}\in L^{\infty }, $$
(2.7)
then there exists a positive constant T such that the Cauchy problem (2.5) admits a unique smooth solution \(=r(t,\theta)\) on the strip
$$ \Pi_{T}= \bigl\{ (t,\theta) \big\vert t\in [0,T], \theta \in \mathbb{R}^{m} \bigr\} , $$
(2.8)
where
$$ T=\min \biggl\{ \biggl( \frac{M\pi^{\frac{1}{2}}}{2H} \biggr) ^{2}, \biggl( \frac{ \pi^{\frac{1}{2}}}{4Hm} \biggr) ^{2} \biggr\} , $$
(2.9)
in which
$$ \begin{aligned} &M= \bigl\Vert r_{0}(\theta) \bigr\Vert _{L^{\infty }}, \\ &H=\max_{i,j=1,\ldots,m} \biggl\{ \sup_{\vert r\vert \leq (m+1)M} \bigl\vert g_{i} \bigl(r(t,\theta) \bigr) \bigr\vert , \sup _{\vert r\vert \leq (m+1)M} \biggl\vert \frac{\partial }{\partial \theta_{j}}g_{i} \bigl(r(t, \theta) \bigr) \biggr\vert \biggr\} , \end{aligned} $$
(2.10)
where \(g_{j}=rf_{j}(r)\) (\(j=1,\ldots,m\)).

Proof

Set
$$ G_{T}= \bigl\{ r: [0,T]\times \mathbb{R}^{m} \rightarrow L^{\infty } \bigl( \mathbb{R}^{m} \bigr)\vert \bigl\Vert r(t,\cdot) \bigr\Vert _{L^{\infty } }\leq (m+1)M \mbox{ for }t\in [0,T] \bigr\} $$
(2.11)
and let \(\mathcal{T}\) be the following integral operator:
$$ \mathcal{T}r(t,\theta)=K(t,\theta)*r_{0}(\theta)+ \sum ^{m}_{j=1} \int ^{t}_{0}K_{\theta_{j}}(t-s,\theta)* \bigl(f_{j} \bigl(r(s,\theta) \bigr) r(s,\theta) \bigr)\,ds. $$
(2.12)
The solution \(r=r(t,\theta)\) can be obtained as the \(L^{\infty }\)-limit of the sequence \(\{r^{k}\}\) defined by
$$ r^{0}(t,\theta)=K(t,\theta)*r_{0}(\theta), \qquad r^{k+1}= \mathcal{T}r^{k}\quad (n=0,1,\ldots). $$
(2.13)
To prove the above statement, we first claim that, for any \(t\in [0,T]\), we have
$$ \bigl\Vert r^{k}(t,\theta) \bigr\Vert _{L^{\infty }}\leq (m+1)M, \quad \forall k \in \{0,1,2,\ldots \}. $$
(2.14)
In the following, we prove (2.14) by the method of induction.
When \(k=0\), we have
$$ \bigl\Vert r^{0}(t,\theta) \bigr\Vert _{L^{\infty }}= \bigl\Vert K(t,\theta)*r_{0}(\theta) \bigr\Vert _{L^{\infty }}. $$
(2.15)
By Young’s inequality, we obtain
$$ \bigl\Vert r^{0}(t,\theta) \bigr\Vert _{L^{\infty }} \leq \bigl\Vert K(t,\theta) \bigr\Vert _{L^{1}} \bigl\Vert r_{0}(\theta) \bigr\Vert _{L^{\infty }} = \bigl\Vert r_{0}(\theta) \bigr\Vert _{L^{\infty }}=M \leq (m+1)M. $$
(2.16)
Now we assume that \(\Vert r^{k}(t,\theta)\Vert _{L^{\infty }}\leq (m+1)M\) (\(k\in \mathbb{N}\)) holds. We next prove
$$ \bigl\Vert r^{k+1}(t,\theta) \bigr\Vert _{L^{\infty }}\leq (m+1)M. $$
(2.17)
In fact,
$$\begin{aligned} \bigl\Vert r^{k+1}(t,\theta) \bigr\Vert _{L^{\infty }} =& \bigl\Vert \mathcal{T}r^{k}(t,\theta) \bigr\Vert _{L^{\infty }} \\ \leq & { \bigl\Vert K(t,x)*r_{0}(\theta) \bigr\Vert _{L^{\infty }}+\sum^{m}_{j=1} \int^{t}_{0} \bigl\Vert K_{x_{j}}(t-s, \theta)* \bigl(f_{j} \bigl(r^{k}(s,\theta) \bigr)r^{k}(s,\theta) \bigr) \bigr\Vert _{L^{\infty }}\,ds} \\ \leq & { M+\sum^{m}_{j=1} \int^{t}_{0} \bigl\Vert K_{\theta_{j}}(t-s, \theta) \bigr\Vert _{L^{1}} \bigl\Vert \bigl(f_{j} \bigl(r^{k}(s,\theta) \bigr)r^{k}(s,\theta) \bigr) \bigr\Vert _{L^{\infty }}\,ds.} \end{aligned}$$
(2.18)
Notice that
$$\begin{aligned}& \int_{\mathbb{R}^{m}} \bigl\vert { K_{\theta_{j}}(t-s,\theta) \bigr\vert \,d\theta } \\& \quad = { \int_{\mathbb{R}^{m}} \bigl[4\pi (t-s) \bigr]^{-\frac{m}{2}} \frac{\theta_{j}}{2(t-s)}\exp \biggl\{ -\frac{\vert \theta \vert ^{2}}{4(t-s)} \biggr\} \,d\theta } \\& \quad ={ \bigl[4\pi (t-s) \bigr]^{-\frac{m}{2}} \int_{\mathbb{R}^{m-1}} \biggl\{ \exp \biggl\{ -\frac{ \theta_{1}^{2}}{4(t-s)} \biggr\} + \cdots +\exp \biggl\{ -\frac{\theta_{j-1} ^{2}}{4(t-s)} \biggr\} } \\& \qquad {}+ { \exp \biggl\{ -\frac{\theta_{j+1}^{2}}{4(t-s)} \biggr\} +\cdots + \exp \biggl\{ -\frac{\theta_{m}^{2}}{4(t-s)} \biggr\} \biggr\} \,d\theta _{1}\cdots \,d \theta_{j-1}\,d\theta_{j+1}\cdots \,d\theta_{m}} \\& \qquad {}\times { \int_{\mathbb{R}}\frac{\theta_{j}}{2(t-s)}\exp \biggl\{ -\frac{\theta _{j}^{2}}{4(t-s)} \biggr\} \,d\theta_{j}} \\& \quad ={ \bigl[4\pi (t-s) \bigr]^{-\frac{m}{2}} \biggl\{ \bigl[4(t-s) \bigr]^{\frac{1}{2}} \int_{ \mathbb{R}}\exp \biggl\{ -\frac{\theta_{1}^{2}}{4(t-s)} \biggr\} d \biggl( - \frac{ \theta_{1}}{[4(t-s)]^{\frac{1}{2}}} \biggr) \biggr\} ^{m-1} } \\& \qquad {}\times{ \int_{\mathbb{R}}\frac{\theta_{j}}{2(t-s)}\exp \biggl\{ -\frac{\theta _{j}^{2}}{4(t-s)} \biggr\} \,d\theta_{j}} \\& \quad ={ \bigl[4\pi (t-s) \bigr]^{-\frac{1}{2}} \int_{\mathbb{R}}\frac{\theta_{j}}{2(t-s)} \exp \biggl\{ -\frac{\theta_{j}^{2}}{4(t-s)} \biggr\} \,d\theta_{j}} \\& \quad ={ \bigl[4\pi (t-s) \bigr]^{-\frac{1}{2}} \biggl[ -2 \int_{0}^{\infty }\exp \biggl\{ -\frac{ \theta_{j}^{2}}{4(t-s)} \biggr\} d \biggl( -\frac{\theta_{j}^{2}}{4(t-s)} \biggr) \biggr] } \\& \quad ={ \bigl[\pi (t-s) \bigr]^{-\frac{1}{2}}.} \end{aligned}$$
(2.19)
It follows from (2.18) that
$$\begin{aligned} { \bigl\Vert r^{k+1}(t,\theta)\bigr\Vert _{L^{\infty }}} \leq & { M+\sum^{m}_{j=1} \int^{t}_{0}\bigl\Vert K_{\theta_{j}}(t-s, \theta)\bigr\Vert _{L^{1}} \bigl\Vert \bigl(f_{j} \bigl(r^{k}(s,\theta)\bigr)r^{k}(s,\theta)\bigr)\bigr\Vert _{L^{\infty }}\,ds} \\ \leq & { M+\sum^{m}_{j=1} \pi^{-\frac{1}{2}} \int^{t}_{0}(t-s)^{-\frac{1}{2}} \bigl\Vert \bigl(f_{j}\bigl(r^{k}(s,\theta)\bigr)r^{k}(s, \theta)\bigr)\bigr\Vert _{L^{\infty }}\,ds} \\ \leq & { M+m\pi^{-\frac{1}{2}}H \int^{t}_{0}(t-s)^{-\frac{1}{2}}\,ds} \\ =& M+2m\pi^{-\frac{1}{2}}Ht^{\frac{1}{2}} \\ \leq& M+2m\pi^{-\frac{1}{2}}HT ^{\frac{1}{2}}\leq (m+1)M. \end{aligned}$$
(2.20)
This is the desired estimate (2.14). Thus, the proof of (2.14) is completed.
In the following, we prove that \(\{r^{k}(t,\theta)\}\) is uniformly convergent in the strip \((0,T]\times \mathbb{R}^{m}\). To do so, it suffices to show that
$$\sum^{\infty }_{k=1} \bigl[ r^{k+1}(t, \theta)-r^{k}(t,\theta) \bigr] $$
is uniformly convergent in the strip \((0,T]\times \mathbb{R}^{m}\).
In fact, we have
$$\begin{aligned}& { \bigl\Vert r^{k+1}-r^{k}\bigr\Vert _{L^{\infty }}} \\& \quad \leq { \sum^{m}_{j=1} \int^{t}_{0} \bigl\Vert K_{\theta_{j}}(t-s, \theta)* \bigl[ \bigl(f_{j}\bigl(r^{k}(s,\theta) \bigr)r^{k}(s,\theta)\bigr) -\bigl(f_{j} \bigl(r^{k-1}(s,\theta)\bigr)r^{k-1}(s,\theta)\bigr) \bigr] \bigr\Vert _{L^{\infty }}\,ds} \\& \quad \leq { \sum^{m}_{j=1} \int^{t}_{0}\bigl\Vert K_{\theta_{j}}(t-s, \theta)\bigr\Vert _{L^{1}} \bigl\Vert \bigl[ \bigl(f_{j} \bigl(r^{k}(s,\theta)\bigr)r^{k}(s,\theta)\bigr)- \bigl(f_{j}\bigl(r^{k-1}(s, \theta)\bigr)r^{k-1}(s, \theta)\bigr) \bigr] \bigr\Vert _{L^{\infty }}\,ds} \\& \quad \leq { \sum^{m}_{j=1} \int^{t}_{0}\bigl\Vert K_{\theta_{j}}(t-s, \theta)\bigr\Vert _{L^{1}} \bigl\Vert g_{j} \bigl(r^{k}(s,\theta)\bigr)-g_{j}\bigl(r^{k-1}(s, \theta)\bigr)\bigr\Vert _{L^{\infty }}\,ds} \\& \quad \leq { \sum^{m}_{j=1} \int^{t}_{0}\bigl\Vert K_{\theta_{j}}(t-s, \theta)\bigr\Vert _{L^{1}} \bigl\Vert \nabla g_{j}( \beta_{k})\bigr\Vert _{L^{\infty }}\bigl\Vert r^{k}(s, \theta)-r^{k-1}(s, \theta)\bigr\Vert _{L^{\infty }}\,ds} \\& \quad \leq { mH \max \bigl\{ \bigl\vert r^{k}(s, \theta)-r^{k-1}(s,\theta)\bigr\vert \bigr\} \int^{t} _{0}\bigl\Vert K_{\theta_{j}}(t-s, \theta)\bigr\Vert _{L^{1}}\,ds} \\& \quad \leq { 2\pi^{-\frac{1}{2}}mHt^{\frac{1}{2}}\max \bigl\{ \bigl\vert r^{k}(s,\theta)-r^{k-1}(s,\theta)\bigr\vert \bigr\} } \\& \quad \leq { 2\pi^{-\frac{1}{2}}mHT^{\frac{1}{2}}\max \bigl\{ \bigl\vert r^{k}(s,\theta)-r^{k-1}(s,\theta)\bigr\vert \bigr\} } \\& \quad \leq { \bigl( 2\pi^{-\frac{1}{2}}mHT^{\frac{1}{2}}\bigr) ^{2} \max \bigl\{ \bigl\vert r ^{k-1}(s,\theta)-r^{k-2}(s,\theta) \bigr\vert \bigr\} } \\& \quad \leq \cdots \\& \quad \leq { \bigl( 2\pi^{-\frac{1}{2}}mHT^{\frac{1}{2}}\bigr) ^{k} \max \bigl\{ \bigl\vert r^{1}(s,\theta)-r^{0}(s,\theta) \bigr\vert \bigr\} ,} \end{aligned}$$
(2.21)
where
$$\beta_{k}\in \bigl[ \min \bigl\{ r^{k}(s,x),r^{k-1}(s,x) \bigr\} ,\max \bigl\{ r^{k}(s,x),r ^{k-1}(s,x) \bigr\} \bigr] . $$
Noting
$$ \bigl\Vert r^{1}(s,\theta)-r^{0}(s,\theta) \bigr\Vert _{L^{\infty }}\leq 2 \pi^{-\frac{1}{2}}mHT^{\frac{1}{2}}, $$
(2.22)
we obtain from (2.21)
$$ \bigl\Vert r^{k+1}-r^{k} \bigr\Vert _{L^{\infty }}\leq \bigl( 2\pi^{-\frac{1}{2}}mHT^{ \frac{1}{2}} \bigr) ^{k+1}. $$
(2.23)
By (2.9), we have
$$ \bigl\Vert r^{k+1}-r^{k} \bigr\Vert _{L^{\infty }}\leq \biggl( \frac{1}{2} \biggr) ^{k+1}, $$
(2.24)
which implies that \({ \sum^{\infty }_{k=1} [ r^{k+1}(t,\theta)-r^{k}(t,\theta) ] }\) is uniformly convergent in the strip \((0,T]\times \mathbb{R}^{m}\). Therefore, \({ \lim_{k\rightarrow \infty }r^{k}(t,\theta)}\) gives the unique local solution of the Cauchy problem (2.5). Thus, the proof of Lemma 2.1 is completed. □

Lemma 2.2

Suppose that
$$f\in C^{1},\qquad r_{0}\in L^{\infty } $$
and let \(M\stackrel{\triangle }{=}\Vert r_{0}\Vert _{L^{\infty }}\). Suppose furthermore that \(r(t,\theta)\) is the solution of Cauchy problem (2.5) on the strip \(\Pi_{T}\), then we have
$$ \bigl\Vert r(t,\theta) \bigr\Vert _{L^{\infty }(\Pi_{T}) }\leq M. $$
(2.25)

Proof

It follows from the proof of Lemma 2.1 that
$$ \bigl\Vert r(t,\theta) \bigr\Vert _{L^{\infty }(\Pi_{T}) }\leq (m+1)M \stackrel{\triangle }{=}K. $$
(2.26)
Introduce
$$ w(t,\theta)= r(t,\theta)- M-\frac{K}{L^{2}} \bigl( \vert \theta \vert ^{2}+CLe ^{t} \bigr), $$
(2.27)
where C and L are positive constants to be determined. By (2.27),
$$ r_{t}=w_{t}+\frac{CK}{L}e^{t}, \qquad \triangle r=\triangle w+\frac{2Km}{L ^{2}}. $$
(2.28)
On the other hand,
$$ \sum^{m}_{j=1} \bigl(f_{j}(r)r \bigr)_{\theta_{j}}=\sum ^{m}_{j=1} \bigl(g_{j}(r) \bigr)_{ \theta_{j}} =\sum^{m}_{j=1}g^{\prime }_{j}(r)r_{\theta_{j}} =\sum^{m} _{j=1}g^{\prime }_{j}(r) \biggl( w_{\theta_{j}}+\frac{2K}{L^{2}}\theta _{j} \biggr). $$
(2.29)
Thus,
$$ w_{t}+\sum^{m}_{j=1}g^{\prime }_{j}(r)w_{\theta_{j}}+ \frac{2K}{L^{2}} \sum^{m}_{j=1}g^{\prime }_{j}(r) \theta_{j} + \frac{CK}{L}e^{t}-\frac{2Km}{L ^{2}}= \triangle w. $$
(2.30)
Choose sufficiently large C such that
$$ w(0,\theta)=r_{0}(\theta)-M-\frac{K}{L^{2}} \bigl( \vert \theta \vert ^{2}+CL \bigr)< 0,\quad \forall \theta \in \mathbb{R}^{m}, $$
(2.31)
and
$$ \textstyle\begin{cases} w(t,\pm L,\theta_{2},\ldots, \theta_{m})=r(t,\pm L,\theta_{2},\ldots, \theta_{m}) M \\ \quad {}-\frac{K}{L^{2}} [ (L^{2}+\theta_{2}^{2}+\cdots + \theta_{m}^{2})+CLe^{t} ] < 0, \\ w(t,\theta_{1},\pm L,\ldots, \theta_{m})=r(t,\theta_{1},\pm L,\ldots, \theta_{m})- M \\ \quad {}-\frac{K}{L^{2}} [ (\theta_{1}^{2}+L^{2}+\cdots + \theta_{m}^{2})+CLe^{t} ] < 0, \\ \cdots \\ w(t,\theta_{1},\ldots, \theta_{m-1},\pm L)=r(t,\theta_{1},\ldots, \theta_{m-1},\pm L) -M \\ \quad {}-\frac{K}{L^{2}} [ (\theta_{1}^{2}+\cdots + \theta_{m-1}^{2}+\vert L\vert ^{2})+CLe^{t} ] < 0 \end{cases} $$
(2.32)
for all \(t\in [0,T]\).
In the following, we prove that, for any \((t,\theta)\in (0,T)\times (-L,L)^{m}\), that
$$ w(t,\theta)< 0. $$
(2.33)
In fact, if (2.33) is not true, then we can define by
$$ \bar{t}=\inf_{t\in (0,T]} \bigl\{ t \big\vert w(t,\theta)=0 \mbox{ for some } \theta \in (-L,L)^{m} \bigr\} . $$
(2.34)
It is easy to see that there exists a point, denoted by \(\bar{\theta }\in (-L,L)^{m}\), such that
$$ w(\bar{t},\bar{\theta })=0,\qquad w_{\theta_{1}}(\bar{t},\bar{ \theta })=0,\qquad \ldots,\qquad w_{\theta_{m}}(\bar{t},\bar{\theta })=0 $$
(2.35)
and
$$ w_{\theta_{i}\theta_{i}}(\bar{t},\bar{\theta })\leq 0,\quad \forall i\in \{1, \ldots,m\}. $$
(2.36)
By (2.35)-(2.36), it follows from (2.30) that
$$ w_{t}(\bar{t},\bar{\theta })+\frac{2K}{L^{2}}\sum ^{m}_{j=1}g^{\prime }_{j} \bigl(r(\bar{t},\bar{\theta }) \bigr)\bar{\theta_{j}} + \frac{CK}{L}e^{ \bar{t}}-\frac{2Km}{L^{2}}\leq 0. $$
(2.37)
Noting
$$ \bigl\Vert g^{\prime }_{j}(\bullet) \bigr\Vert _{L^{\infty }} < \infty \quad \mbox{and}\quad (\bar{t}, \theta_{j})\in (0,T]\times (-L,L), $$
(2.38)
we can choose a sufficiently large C such that
$$ \frac{2K}{L^{2}}\sum^{m}_{j=1}g^{\prime }_{j} \bigl(r(\bar{t},\bar{\theta }) \bigr)\bar{ \theta_{j}} + \frac{CK}{L}e^{\bar{t}}-\frac{2Km}{L^{2}}>0. $$
(2.39)
Combining (2.37) and (2.39)
$$ w_{t}(\bar{t},\bar{\theta })< 0. $$
(2.40)
On the other hand, by the definition of \((\bar{t},\bar{\theta })\) we have
$$ w_{t}(\bar{t},\bar{\theta })=\lim_{\triangle t\rightarrow 0} \frac{w( \bar{t},\bar{\theta })-w(\bar{t}-\triangle t,\bar{\theta })}{\triangle t}\geq 0, $$
(2.41)
which is a contradiction. This proves (2.33).
Noting (2.27) and (2.33) and letting \(L\rightarrow \infty \) gives
$$ r(t,\theta)\leq M,\quad \forall (t,\theta)\in \Pi_{T}. $$
(2.42)
Similarly, letting
$$ w(t,\theta)= r(t,\theta)+ M+\frac{K}{L^{2}} \bigl( \vert \theta \vert ^{2}+CLe ^{t} \bigr), $$
(2.43)
we can prove
$$ r(t,\theta)\geq -M, \quad \forall (t,\theta)\in \Pi_{T}. $$
(2.44)
Combining (2.42) and (2.44) leads to
$$ \bigl\Vert r(t,\theta) \bigr\Vert _{L^{\infty }(\Pi_{T})}\leq M . $$
(2.45)
Thus, the proof of Lemma 2.2 is completed. □

By Lemma 2.1 and Lemma 2.2, we have the following.

Theorem 2.1

If \(f\in C^{1}\) and \(r_{0}\in L^{\infty }\), then the Cauchy problem (2.5) admits a unique global smooth solution on \([0,\infty)\times \mathbb{R}^{m}\).

Now we turn to a consideration of the Cauchy problem (2.1) (i.e., (2.1a)-(2.1b)), (2.3). We have the following.

Theorem 2.2

Under the assumptions of Theorem 1.1, the Cauchy problem (2.1), (2.3) admits a unique global smooth solution on \([0,\infty) \times \mathbb{R}^{m}\).

Proof

Noting (1.4), by the maximum principle we obtain the result that, on the existence domain of smooth solution, we have
$$ r(t,\theta)> 0. $$
(2.46)

On the one hand, we observe that, under the condition (2.46), equation (2.1) can be reduced to the system (2.1a)-(2.1b); on the other hand, we notice that, once \(r=r(t,\theta)\) is solved from the Cauchy problem (2.5), equation (2.1b) becomes linear. Therefore, Theorem 2.2 follows from Theorem 2.1 directly. □

Obviously, Theorem 1.1 follows from Theorem 2.2 directly.

3 Conclusions and open problems

In the present paper, we introduce a new geometric flow with rotational invariance. This flow is described formally by a system of hyperbolic partial differential equations with viscosity, essentially a coupled system of hyperbolic-parabolic partial differential equations with rotational invariance, which possesses very interesting geometric properties and dynamical behavior. We only investigate the global solutions for the flow equation (1.2) in the Euclidean space \(\mathbb{R}^{n}\) (\(n\ge 2\)), there are some fundamental and interesting problems. In particular, the following open problems seem to us to be more interesting and important: (i) use the flow equation (2.1) to investigate the deformation of a closed m-dimensional sub-manifold \(x_{0}=x_{0}(\theta_{1},\ldots,\theta_{m})\); (ii) find a suitable way to extend the results presented in this paper to the case of Riemannian manifolds instead of the Euclidean space \(\mathbb{R}^{n}\); (iii) introduce the theory of viscous shock waves to investigate geometric problems. These problems are worthy of study in the future.

Declarations

Acknowledgements

This research was supported by the Fundamental Research Funds for the Central Universities (2014QNA63), the Natural Science Foundation of Jiangsu Province (BK20150172) and the TianYuan Special Funds of the National Natural Science Foundation of China (11526191).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Zhejiang University
(2)
Department of Mathematics, China University of Mining and Technology

References

  1. Yau, S-T: Calabi’s conjecture and some new results in algebraic geometry. Proc. Natl. Acad. Sci. USA 74, 1798-1799 (1977) MathSciNetView ArticleMATHGoogle Scholar
  2. Schoen, R: Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differ. Geom. 20, 479-495 (1984) MathSciNetMATHGoogle Scholar
  3. Schoen, R, Yau, S-T: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65, 45-76 (1979) MathSciNetView ArticleMATHGoogle Scholar
  4. Donaldson, S: An application of gauge theory to four-dimensional topology. J. Differ. Geom. 18, 279-315 (1983) MathSciNetMATHGoogle Scholar
  5. Perelman, G: The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159
  6. Perelman, G: Ricci flow with surgery on three-manifolds. arXiv:math.DG/0303109
  7. Perelman, G: Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:math.DG/0307245
  8. Kong, D-X: Hyperbolic geometric flow. In: Proceedings of ICCM 2007, vol. II, pp. 95-110. Higher Educationial Press, Beijing (2007) Google Scholar
  9. Kong, D-X, Liu, K-F: Wave character of metrics and hyperbolic geometric flow. J. Math. Phys. 48, 103508 (2007) MathSciNetView ArticleMATHGoogle Scholar
  10. Dai, W-R, Kong, D-X, Liu, K-F: Hyperbolic geometric flow (I): short-time existence and nonlinear stability. Pure Appl. Math. Q. (Special Issue: In honor of Michael Atiyah and Isadore Singer) 6, 331-359 (2010) MathSciNetView ArticleMATHGoogle Scholar
  11. Kong, D-X, Liu, K-F, Wang, Y-Z: Life-span of classical solutions to hyperbolic geometric flow in two space variables with slow decay initial data. Commun. Partial Differ. Equ. 36, 162-184 (2011) MathSciNetView ArticleMATHGoogle Scholar
  12. Kong, D-X, Liu, K-F, Xu, D-L: The hyperbolic geometric flow on Riemann surfaces. Commun. Partial Differ. Equ. 34, 553-580 (2009) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017