Abstract
This paper is concerned with a kind of first-order quasilinear parabolic partial differential equations associated with a class of ordinary differential equations with two-point boundary value problems. We prove that the function given by the solution of an ordinary differential equation is the unique solution of a first-order quasilinear parabolic partial differential equation in both classical and weak senses.
Similar content being viewed by others
1 Introduction
In this paper, we study the problem of solving the following first-order quasilinear parabolic partial differential equation (PDE):
where \(\triangledown_{x}u=(\frac{\partial u}{\partial x_{i}})_{1\leq i\leq n}\) is an n-dimensional row vector. We notice that PDE (1) is novel since its factor b depends on \(u(t,x)\), which is different from the traditional PDE form. It is very complicated and difficult to study the existence and uniqueness of solution of this kind of partial differential equations by traditional methods of the theory partial differential equations; some related studies can be found in [1–4]. However, PDE (1) should be related to a family of coupled ordinary differential equations (ODEs) associated with a kind of two-point boundary problems parameterized by \((t,x)\in[0,T]\times \mathbb{R}^{n}\) as follows:
This two-point boundary value problem can be embedded into an optimal control problem when applying the maximum principle; the existence and uniqueness results were obtained in [5]. Peng and Pardoux [6] studied the relationship between a system of quasilinear PDEs and a kind of backward stochastic differential equations. They proved that under different assumptions, the function defined by solution of the backward stochastic differential equation is a classical and viscosity solution of a kind of second-order quasilinear PDEs. In the related field, for the stochastic cases, by introducing a family of coupled forward–backward stochastic differential equations (FBSDEs) Wu and Yu [7] gave a probabilistic interpretation for a kind of systems of second-order quasilinear parabolic PDEs combined with algebra equations in the viscosity sense. Ouknine and Turpin [8] studied weak solutions of second-order PDEs in Sobolev spaces and gave a probabilistic interpretation via the FBSDEs (see also Wei and Wu [9] and Kunita [10]). By some analysis techniques of those related references, in this paper, we study PDE (1) in both classical and weak senses, including a Sobolev weak solution and viscosity solution of the two-point boundary value problem.
The paper is organized as follows. In Sect. 2, we recall some existence and uniqueness results for the two-point boundary value problem from [5] and give some regularity properties of solutions of the ODEs; Then, in Sect. 3, we prove that the function defined by the solution of an ODE is the unique classical solution of PDE (1). Meanwhile, we derive the existence and uniqueness of a solution of PDE (1) in the Sobolev space and in the viscosity sense in Sects. 4 and 5, respectively. Finally, we list some conclusive remarks.
2 Preliminary results of the ODEs
In this paper, we work with a finite time horizon \(T>0\). We denote by \(\mathbb{R}^{n}\) the n-dimensional Euclidean space and by \(\mathbb {R}^{m\times n}\) the collection of \(m\times n\) matrices. For a given Euclidean space, we denote by \(\langle\cdot,\cdot\rangle\) (resp., \(|\cdot|\)) the inner product (resp., norm). The superscript ⊤ denotes the transpose of vectors or matrices.
Let a (terminal) function \(h:\mathbb{R}^{n}\rightarrow\mathbb{R}^{m}\) and a couple of coefficients \((b,f):[0,T]\times\mathbb{R}^{n} \times\mathbb {R}^{m} \rightarrow\mathbb{R}^{n+m}\) be given. We introduce a family of coupled ODEs parameterized by the initial time \(t\in[0,T]\) and initial state \(x\in\mathbb{R}^{n}\):
Let also an \(m\times n\) full-rank matrix G be given. For each \((x,y)\in\mathbb{R}^{n+m}\), we denote
In this paper, we use the following standard assumptions:
(H1) For each Γ, \(A(\cdot,\Gamma)\) is in \(L^{2}(0,T)\); h and A are uniformly Lipschitz continuous with respect to x and Γ, respectively. Here \(L^{2}(0,T)=\{ \varphi:\int_{0}^{T}|\varphi (s)|^{2}\,ds\leq\infty\}\).
(H2) There exist three nonnegative constants μ, \(U_{1}\), and \(U_{2}\) satisfying \(U_{1}+U_{2}>0\) and \(\mu+U_{2}>0\). Moreover, \(\mu>0\) and \(U_{1}>0\) (resp., \(U_{2}>0\)) in the case of \(m>n\) (resp., \(n>m\)), and for all \(h=(x,y,z)^{\top}\) and \(\overline{h}=(\overline{x}, \overline{y})^{\top}\),
and
Under Assumptions (H1) and (H2), ODEs (2) admit a unique solution
(see Theorem 1.1 in [5]). In addition, we have the following \(L^{2}\)-estimates.
Proposition 2.1
Let \((b,f,h)\) and \((\overline{b},\overline{f},\overline{h})\) satisfy (H1) and (H2), and let \(x, x'\in\mathbb{R}^{n}\) and \(s\in[t,T]\). Let \(({X}_{s}^{t,x},{Y}_{s}^{t,x})\) (resp., \((\overline{X}_{s}^{t,x'},\overline {Y}_{s}^{t,x'})\)) denote the unique solution of ODEs
Then the following estimates hold:
Proof
These \(L^{2}\)-estimates are standard (see [7, 11]). For reader’s convenience, we only prove (4). Let
We consider \(\langle G\hat{X}_{s},\hat{Y}_{s}\rangle\) and, using Assumptions (H1) and (H2), by differential equation we get
where \(\lambda\in R\) can be any positive number. For \(|\hat{X}_{s}|^{2}\) and \(|\hat{Y}_{s}|^{2}\), by the Gronwall inequality we have
Combining (5) and (7), we have
Case 1: \(\mu>0\), \(U_{1}>0\): We can choose \(\lambda=\lambda_{0}\) such that
Combining with (7), we get
Now let us prove (4).
Case 2: \(U_{2} >0\):
Combining (6) and (8), we have
Then
We choose \(\lambda=\lambda_{1}\) such that
Then we get
Combining (7) and (9), we get (4) and conclude the proof. □
We define \(Y_{t}^{t,x}\) by a function u from \([0,T]\times\mathbb{R}^{n}\) to \(\mathbb{R}^{m}\):
Remark 2.1
Assumption (H2) can be relaxed to ensure the existence and uniqueness of the solution of the ODEs (2); see [5].
Remark 2.2
For each deterministic \((t,x) \in[0,T]\times\mathbb{R}^{n} \), from the uniqueness of a solution of ODEs (2) we have
Proposition 2.2
Let Assumptions (H1) and (H2) hold. The function u defined by (10) is continuous with respect to \((t,x)\). In particular, u is Lipschitz continuous in x.
Proof
First, from Proposition 2.1 we get the Lipschitz continuity of u in x:
Next, we prove that \(u(t,x)\) is continuous in t. We have
where \(\rho(\delta)\rightarrow0\) as \(\delta\rightarrow0\). The continuity in t and the Lipschitz continuity in x imply the joint continuity of u in \((t,x)\). □
To improve the smoothness of the solutions of ODEs (2), we add the following assumption:
(H3) For any \(s\in[t,T]\), the functions \(b(s,\cdot, \cdot)\), \(f(s,\cdot , \cdot)\), and \(h(\cdot)\) are of class \(C^{2}\) with bounded derivatives.
Theorem 2.1
Under Assumptions (H1)–(H3), the function \(x\rightarrow (X^{t,x},Y^{t,x})\) is differentiable with continuous derivatives given by \((\partial_{x_{i}} X^{t,x}, \partial_{x_{i}} Y^{t,x} )_{1\leq i\leq n}\) satisfying the following ODEs:
Proof
A similar technique can be found in [11] and [12]. Here we give a detailed proof. Let \(h_{i}=h\cdot e_{i}\), \(\triangle_{h_{i}}X_{t}={h_{i}}^{-1}(X_{s}^{t,x+{h_{i}}}-X_{s}^{t,x})\), and \(\triangle_{h_{i}}Y_{t}={h_{i}}^{-1}(Y_{s}^{t,x+{h_{i}}}-Y_{s}^{t,x})\). Then
Hence we treat this equation as a linear one:
where ϕ and ψ are defined by
and
for \(h\neq0\). Let
From Proposition 2.1 we know that \((X^{t,x+{h_{i}}},Y^{t,x+{h_{i}}})\) converges to \((X^{t,x},Y^{t,x})\). We have to prove that \((\triangle _{h_{i}}X,\triangle_{h_{i}}Y)\) converges to \((\partial_{x_{i}} X,\partial _{x_{i}} Y)\), the solution of ODEs (11). To use the same convergence argument, we have to show that \(\phi_{h_{i}}(s,\partial_{x_{i}} X^{t,x},\partial_{x_{i}} Y^{t,x})\) converges to \(\phi_{0}(s,\partial_{x_{i}} X^{t,x},\partial_{x_{i}} Y^{t,x})\) and \(\psi_{h_{i}}(s,\partial_{x_{i}} X^{t,x},\partial_{x_{i}} Y^{t,x})\) converges to \(\psi_{0}(s,\partial_{x_{i}} X^{t,x},\partial_{x_{i}} Y^{t,x})\) as \(h_{i}\) goes to 0. Notice that
Thus
We split this integral into two terms on the sets \(\{ |X_{s}^{t,x+{h_{i}}}-X_{s}^{t,x}|\leq\eta\}\) and \(\{ |X_{s}^{t,x+{h_{i}}}-X_{s}^{t,x}|>\eta\}\). By Assumption (H3), \(\triangledown _{x} b(s,x,y)\) is uniformly continuous and bounded (by a constant K). It follows that, for each \(\varepsilon>0\), there exists \(\eta>0\) such that
We split the term into two parts corresponding to the set \(\{|\partial _{x_{i}} X_{s}^{t,x}|\leq M\}\) and its complement. Then we have
By the Lebesgue theorem, since \(\partial_{x_{i}} X^{t,x}\) is square integrable, \(\int_{0}^{T}\mathrm{1}_{\{|\partial_{x_{i}} Y^{t,x}|>M\} }|\partial_{x_{i}} X_{s}^{t,x}|^{2}\,ds\) converges to 0 as \(M \rightarrow\infty \). Choosing M sufficiently large and using the convergence of \(X_{s}^{t,x+{h_{i}}}\) to \(X_{s}^{t,x}\), it follows that
By the same method we get
Hence it follows that
Similar arguments give that
It is easy to verify that the functions ϕ and ψ are continuous with respect to parameter \(h_{i}\) at point 0. By Proposition 2.1, as \(h_{i}\rightarrow0\), \(\phi_{h_{i}}(s,\partial_{x_{i}} X_{s}^{t,x},\partial_{x_{i}} Y_{s}^{t,x})\) converges to \(\phi_{0}(s,\partial_{x_{i}} X_{s}^{t,x},\partial_{x_{i}} Y_{s}^{t,x})\), and \(\psi_{h}(s,\partial_{x_{i}} X_{s}^{t,x},\partial_{x_{i}} Y_{s}^{t,x})\) converges to \(\psi_{0}(s,\partial_{x_{i}} X_{s}^{t,x},\partial _{x_{i}} Y_{s}^{t,x})\). By Proposition 2.1, \((\triangle_{h_{i}}X,\triangle _{h_{i}}Y)\) converges to \((\partial_{x_{i}} X,\partial_{x_{i}} Y)\). □
We also have the following property.
Proposition 2.3
Under Assumptions (H1)–(H3), there exists a constant \(C>0\), depending only on \(L,\mu\), and T, such that
Proof
From Proposition 2.1 and Theorem 2.1 we get
□
3 Classical solution to the PDE
We now relate the function u defined by (10) to the parabolic partial differential equations (1).
Theorem 3.1
Let Assumptions (H1)–(H3) hold. Then the function u defined by (10) is of class \(C^{1,1}([0,T]\times\mathbb{R}^{n})\) and solves PDE (1). In particular, \(u(t,x)\) is the unique solution of PDE (1).
Proof
By Theorem 2.1, \(u\in C^{0,1}([0,T]\times\mathbb{R}^{n})\). Let \(h>0\) be such that \(t+h\leq T\). Clearly, \(Y_{t+h}^{t,x}=Y_{t+h}^{t+h,X_{t+h}^{t,x}}\). Hence
Differentiating \(u(t,X_{s}^{t,x})\), we get
Here \(Du(t,x)=(du_{1}(t,x),du_{2}(t,x),\ldots,du_{m}(t,x))^{\top}\) is an m-dimensional rank victor. Combining (18) with (19), we get
Let \(t=t_{0}< t_{1}<\cdots<t_{n}=T\). We have
It follows from Theorem 2.1 that if we take a sequence of meshes \(t=t_{0}< t_{1}<\cdots<t_{n}=T\) such that \(\lim_{n\rightarrow\infty}\sup_{i\leq n-1}(t_{i+1}^{n}-t_{i}^{n})=0\), then we obtain:
Hence \(u\in C^{1,1}([0,T]\times\mathbb{R}^{n})\) and satisfies PDE (1).
Now we consider the uniqueness of the solution. It suffices to show that \((X_{s}^{t,x},u(s,X_{s}^{t,x}); t\leq s\leq T)\) solves ODEs (2). From the uniqueness of the solution of ODEs (2) we get the uniqueness of the solution of the PDE (1). Suppose that a function \(v(t,x) \in C^{1,1}([0,T]\times\mathbb{R}^{n})\) is a solution of PDE (1). Set
Letting \(t=t_{0}< t_{1}< t_{2}<\cdots<t_{n}=T\), we have
Here we apply the differential equation to \(u(t_{i},\cdot)\) and calculate \(v(t_{i},X_{t_{i}}^{t,x})-v(t_{i},X_{t_{i+1}}^{t,x})\). Then we compute \(v(t_{i+1},X_{t_{i}}^{t,x})-v(t_{i+1},X_{t_{i+1}}^{t,x})\) from the PDE (1). Finally, by the fact that \(v\in C^{1,1}([0,T]\times \mathbb{R}^{n})\) and by the assumption we let the mesh size go to zero to obtain
where \((X_{s}^{t,x},v(s,X_{s}^{t,x});t\leq s\leq T)\) solves ODEs (2). By the uniqueness of solution of ODEs, \((X_{s}^{t,x},v(s,X_{s}^{t,x}))=(X_{s}^{t,x},Y_{s}^{t,x})\). In particular, \(v(t,x)=Y_{t}^{t,x}\). □
4 Weak solutions in Sobolev space
In this section, we prove that the function \(u(t,x)\) defined by (10) is the unique weak solution of PDE (1) in the Sobolev space under some usual assumptions. First, we recall the definition of a Sobolev weak solution for PDE (1) from [8] and [9].
Definition 4.1
A function u is called a Sobolev weak solution (solution in \(L^{2}_{\rho}(\mathbb{R}^{n};\mathbb{R}^{m})\)) of PDE(1) if \(u\in L^{2}([0,T];L^{2}_{\rho}(\mathbb{R}^{n};\mathbb{R}^{m}))\) and for an arbitrary \(\varphi\in C_{c}^{1,\infty}([0,T]\times\mathbb{R}^{n};\mathbb{R}^{m})\),
where ρ is the weight function defined as \(\rho(x):=(1+|x|^{2})^{q}, q\leq-2\), and \(L^{2}_{\rho}\) is the Hilbert space with the inner product
where \(u_{1}(x)u_{2}(x)\) is the inner product of the Euclidean space.
We make the following assumption:
(H4) For any \(s\in[t,T]\), the function \(b(s,\cdot, \cdot)\) is in \(C^{1,1}(\mathbb{R}^{n}\times\mathbb{R}^{m};\mathbb{R}^{n})\) with bounded derivatives.
Theorem 4.1
Under Assumptions (H1), (H2), and (H4), \(X_{s}^{t,x}\) is the solution defined in the forward equation in ODEs (2). Then the map \(X_{s}^{t,\cdot}: \mathbb{R}^{n} \rightarrow\mathbb{R}^{n}\) is a homeomorphism. This means the map \(X_{s}^{t,\cdot}\) is one-to-one and onto, so that its inverse map exists. Moreover, the inverse map, denoted by \(\hat{X}_{s}^{t,\cdot}: \mathbb{R}^{n} \rightarrow\mathbb {R}^{n}\), is also continuous.
Proof
The one-to-one property of the map \(X_{s}^{t,x}\) follows from Proposition 2.1. The rest of proof is similar to [10] (pp. 225–227), and hence we omit it. □
Lemma 4.1
(Norm equivalence principle)
Assume Assumptions (H1), (H2), and (H4). Let \(X_{s}^{t,x}\) be the solution of forward equation in ODEs (2), let ρ be a weight function. Then there exist constants \(c, C>0\) such that, for any \(s\in[t,T]\) and \(\varphi\in L_{\rho}^{1}(\mathbb {R}^{n},\mathbb{R}^{m})\),
and, for any \(\Psi\in L_{\rho}^{1}([t,T]\otimes\mathbb{R}^{n}; \mathbb{R}^{m})\),
where c and C depend on \(T, L, \rho\), and the bounds of the first derivatives of \(b,f,h\), but do not depend on the initial value x.
Proof
First, we take \(\rho(x):=(1+|x|^{2})^{q}\), \(q\in R\). We claim that there exists constants \(c,C>0\) such that
Here \(\hat{X}_{s}^{t,y}\) is the inverse flow of \({X}_{s}^{t,y}\), \(J(\hat {X}_{s}^{t,y}):=\operatorname{det} \triangledown_{y} \hat{X}_{s}^{t,y}\) is the determinant of the Jacobian matrix of \(\hat{X}_{s}^{t,y}\). The existence of \(\hat {x}_{s}^{t,y}\) is given by Theorem 4.1. Now we prove (25). Assume that \(T-h\leq t\leq T\) for some small \(h>0\). We substitute \(x=\hat{X}_{s}^{t,y}\) into ODEs (2) with \(X_{s}^{t,\hat{X}_{s}^{t,y}}=X_{s}^{t,\cdot}\circ\hat {X}_{s}^{t,y}=y\). Then
We differentiate (26) with respect to y to get
We define \(\rho(x):=e^{F(X)}\), so \(F(x)\) is \(C_{l,b}^{2}(\mathbb{R}^{n})\). Using the differential equation for \(F(\hat{X}_{s}^{t,y})\) (see[10], pp. 262–263), we get
It follows that
Since the first derivatives of F are bounded, it is easy to verify that \(N_{t}^{s}(x)\) is bounded by Assumptions (H1) and (H4). Then there exist two constants \(r>0\) and \(R>0\) such that
Since \(J(\hat{X}_{s}^{t,y}):=\operatorname{det}\triangledown_{y}\hat{X}_{s}^{t,y}\), from(27) we obtain
We consider (27), apply the differential equation, and use a similar method in Proposition 2.3. Then there exists a constant \(c_{0}>0\), depending only on \(L,\mu,T\), and the bounds of the first-order derivatives of \(b,f\), and h, such that
So
By (28) and (29) the upper and lower bounds can be estimated as
If \(s-t\) is small enough, the lower bound \(r(1-\sqrt{c_{0}(s-t)})>0\). Therefore, we can take h small enough such that (25) holds for \(T-h\leq s\leq T\). Note that c and C do not depend on the initial value y. So we use the flow property \(\hat {X}_{s}^{t,y}=\hat{X}_{r}^{t,\cdot}\circ\hat{X}_{s}^{r,y}, \forall t\leq r \leq s \leq T\) (from Remark 2.1) to drop the restriction \(T-h\leq t\leq T\) and extend inequality (25) to the whole interval of \([t,T]\).
Finally, we prove (23). Using the change of variable \(y={X}_{s}^{t,x}\), we get
By (25) we get (23). Moreover, for a function \((s,x)\rightarrow\Psi(s,x)\), we consider \(x\rightarrow\Psi (s,x)\) in the same way as before. We integrate with respect to \(s\in [t,T]\) to get (24). The lemma is proved. □
Let the mollifier \(K_{d}\) be defined as \(K_{d}(x):=C_{d}\exp(\frac {-1}{1-|x|^{2}})\) for \(|x|<1\) and \(K_{d}(x)=0\) otherwise, where \(C_{d}\) is chosen such that \(\int_{\mathbb{R}^{n}} K_{d}(x)\,dx=1\). Denote \(K_{d}^{m}(x):=m^{d}K_{d}(mx)\). Suppose that \(\phi:\mathbb{R}^{n} \rightarrow \mathbb{R}\) is a Hölder-continuous function with exponent \(\gamma\in (0,1)\) and define
for \(m>0\).
By [13] \(\phi^{m}\) is a \(C^{\infty}\) function and is Hölder-continuous with respect to exponent γ, Moreover, \(\phi ^{m}\rightarrow\phi\) uniformly on \(\mathbb{R}\) as \(m\rightarrow\infty\). Similarly, we define
It is easy to see that \((h^{m}(\cdot),b^{m}(t,\cdot,\cdot),f^{m}(t,\cdot,\cdot ))_{m\in N}\) are \(C^{\infty}\) functions such that, for any \(t\in [0,T],x\in\mathbb{R}^{n}\), and \(y\in\mathbb{R}^{m}\), \((b^{m},f^{m},h^{m})(t,x,y)\rightarrow(b,f,h)(t,x,y)\) as \(m\rightarrow\infty \). From the definition we can easily check that, when m is large enough, \(h^{m},b^{m},f^{m}\) also satisfy Assumptions (H1)–(H3) independently of m. By [5] and Proposition 2.1 the smootherized ODEs
have a unique solution \((X_{\cdot,m}^{t,\cdot},Y_{\cdot,m}^{t,\cdot })\in L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{n}))\otimes L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{m}))\).
We define \(Y_{t,m}^{t,x}\) by a function \(u_{m}\) from \([0,T]\times\mathbb {R}^{n}\) to \(\mathbb{R}^{m}\):
Lemma 4.2
Under Assumptions (H1) and (H2), \((X_{\cdot,m}^{t,\cdot},Y_{\cdot ,m}^{t,\cdot})\rightarrow(X_{\cdot}^{t,\cdot},Y_{\cdot}^{t,\cdot})\) in \(L^{2}([0,T]; L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{n}))\otimes L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{m}))\) as \(m\rightarrow\infty\).
Proof
We set \(\tilde{X}_{s}^{t,x}={X}_{s,m}^{t,x}-{X}_{s}^{t,x}\) and \(\tilde {Y}_{s}^{t,x}={Y}_{s,m}^{t,x}-{Y}_{s}^{t,x}\). Applying the differential equation tor \(\langle G\tilde{X}_{s}^{t,x}, \tilde{Y}_{s}^{t,x} \rangle\) and a similar method as in Proposition 2.1, we get
Eventually, by (3) and the definition of ρ, similarly to the discussion in Proposition 2.1, we have \((X_{\cdot ,m}^{t,\cdot},Y_{\cdot,m}^{t,\cdot})\rightarrow(X_{\cdot}^{t,\cdot },Y_{\cdot}^{t,\cdot})\) in \(L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb {R}^{n}))\otimes L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{m}))\) as \(m\rightarrow\infty\). □
Theorem 4.2
Under Assumptions (H1), (H2), and (H4), the function \(u(t,x)\) defined by (10) is the unique Sobolev weak solution of PDE (1) with \(u(T,x)=h(x)\).
Proof
Existence. By Lemma 4.1 and Proposition 2.1 we have
So \(u(s,x)\in L^{2}([0,T];L_{\rho}^{2}(\mathbb{R}^{n};\mathbb{R}^{m}))\).
From the structure of smootherized ODEs (30) and Theorem 3.1 we get that \(u_{m}(t,x):=Y_{t,m}^{t,x}\) is the unique classical solution of the following PDFs:
Moreover, by the integration-by-parts formula it is easy to verify that \(u_{m}(t,x)\) also satisfies the following weak formulation: for any smooth test function \(\varphi\in C_{c}^{1,\infty}([0,T]\times\mathbb {R}^{n};\mathbb{R}^{m})\),
Now we verify that \(u(t,x)\) satisfies (22) with \(u(T,x)=h(x)\) by passing the limit for \(u_{m}\) in \(L^{2}_{\rho}\) in (31). We only show the convergence of the last term. By the Lipschitz assumption and the fact that \(f^{m}\rightarrow f\) in the \(L^{2}_{\rho}\) sense as \(m\rightarrow\infty\), for any \(\Psi\in C^{1,\infty }_{c}([0,T]\times\mathbb{R}^{n})\), we have
Therefore \(u(t,x)\) satisfies (22) and is a Sobolev weak solution of (1) with \(u(T,x)=h(x)\).
Uniqueness. Let v be another solution of PDE (1). By Definition 4.1, we get:
By Lemma 4.3 in [8], for the test function \(\psi_{t}(s)=\varphi(\hat{X}_{s}^{t})J(\hat{X}_{s}^{t})\), we obtain
Let us make the change of variable \(y=\hat{X}_{s}^{t,x}\) in each term of (34). Then (34) becomes
Since φ is arbitrary, we can prove that, for almost every y,
Then we get that \(v(s,X_{s}^{t,x})\) is a solution of ODEs (2), and we obtain the uniqueness result by the uniqueness of the solution of ODEs (2), and the proof is completed. □
5 Viscosity solution to the PDE
In this section, we prove that the function \(u(t,x)\) defined by (10) is the unique viscosity solution of PDE (1) under Assumptions (H1) and (H2). We first recall the definition of a viscosity solution for (1) from [14] and [15].
Definition 5.1
Let u be a continuous function on \([0,T] \times\mathbb {R}^{n}\rightarrow\mathbb{R}^{m}\) satisfying \(u_{i}(T,x)=h_{i}(x)\), \(x \in \mathbb{R}^{n} , 1\leq i\leq m\). It is called a viscosity subsolution (resp., supersolution) of PDE (1) if for any \(1\leq i \leq m\), \((t,x)\in[0,T)\times\mathbb{R}^{n}\), and \(\varphi\in C^{1,1}([0,T] \times\mathbb{R}^{n};R)\) such that \((\varphi-u_{i})\) attains a local minimum (resp., maximum) at \((t,x)\), \(\varphi(t,x)-u_{i}(t,x)=0\), such that
A function u is called a viscosity solution of PDE (1) if it is both a viscosity subsolution and a viscosity supersolution.
Theorem 5.1
Let Assumptions (H1) and (H2) hold. The function \(u(t,x)\) defined by (10) is continuous and is a viscosity solution of PDE (1).
Proof
The continuity of u follows from Proposition 2.2. Next, we only show that u is a viscosity subsolution of PDE (1). A similar argument would show that u is also a viscosity supersolution.
Let \((t,x) \in[0,T)\times\mathbb{R}^{n}\), \(\varphi\in C^{1,1}([0,T)\times\mathbb{R}^{n};R)\), and let \((\varphi-u_{i})\) attain a local minimum at \((t,x)\), \(\varphi(t,x)-u_{i}(t,x)=0\). Assuming that
we will obtain a contradiction.
It follows from above that there exists \(0<\alpha<T-t\) such that, for all \((s,y)\in[t,T]\times\mathbb{R}^{n}\) satisfying \(t \leq s \leq t+\alpha\),
and
We denote
From ODEs (2) we have
Then we get
Since \(Y_{t^{\star}}^{t,x}=u(t^{\star},X_{t^{\star}}^{t,x})\), we have
Let \(\hat{Y}_{s}=\varphi(s,X_{s}^{t,x})\). By the differential equation,
We consider the difference between (35) and (36):
From the definition of \(t^{\star}\) we have
and
Then
a contradiction with \(\varphi(t,x)=u(t,x)\). □
Remark 5.1
It is obvious that if a function u is Lipschitz continuous in x and continuous in t, then u satisfies the linear growth assumption, that is, there exists a constant \(C>0\) such that
Lemma 5.1
Let Assumptions (H1) and (H2) hold, let \(u,v\in C([0,T]\times\mathbb{R}^{n})\) be Lipschitz continuous in x, and let u be a viscosity subsolution and v be a viscosity supersolution of PDE (1). Then the function \(\omega:=u-v\) is a viscosity subsolution of the following PDE:
where C is a constant only depending on the Lipschitz constants and the linear constants of \(b,f\).
Proof
Let \(\varphi\in C^{1,1}([0,T]\times\mathbb{R}^{n})\), and let \((t_{0},x_{0})\in[0,t]\times\mathbb{R}^{n}\) be a global maximum point of \(\omega_{i}-\varphi\) for some \(1\leq i \leq m\).
We introduce the function
where \(\alpha,\beta\) are positive parameters devoted to zero.
Let \((\bar{t},\bar{x},\bar{s},\bar{y})\) be a global maximum point of \(\psi_{\alpha,\beta}\) in \(([0,T]\times\bar{B}_{R})^{2}\), where \(B_{R}\) is a ball with large radius R. We drop the dependence of \(\bar{t},\bar {x},\bar{s},\bar{y}\) on α and β for simplicity of notations.
Noting that
we have
We set
Then we have
Since \([0,T]\times\bar{B}_{R}\) is compact, we can find \((x_{0},y_{0})\in [0,T]\times\bar{B}_{R}\) and \(\alpha_{k}, \beta_{k}>0\) such that \((\bar {t},\bar{x})\) and \((\bar{s},\bar{y})\) tend to \((t_{0},x_{0})\) as \(\alpha_{k}\) and \(\beta_{k}\) tend to 0.
Relation (39) again implies
We have
Letting α and β tend to 0, we get that \((t_{0},x_{0})\) is a global maximum point of \(u_{i}-v_{i}-\varphi\) in \([0,T]\times\bar{B}_{R}\).
Now we are going to use the definition of the viscosity solution. By the definition of \((\bar{t},\bar{x},\bar{s},\bar{y})\) the function
attains a global maximum point at \((\bar{t},\bar{x})\) in \([0,T]\times \bar{B}_{R}\). Hence we have
Similarly, the function
attains a global minimum point at \((\bar{s},\bar{y})\) in \([0,T]\times \bar{B}_{R}\). Thus
Considering the difference between the last inequalities, we obtain
By the Lipschitz continuity and the linear growth property of b and f, letting β tend to zero, the above inequality becomes
Letting \(\alpha\rightarrow0\), we have \(\frac{2|\bar{x}-\bar {y}|}{\alpha} \rightarrow0\). We get
Since \((t_{0},x_{0})\) is a maximum point of \(\omega_{i}-\varphi\), by Definition 5.1 the function ω is a subsolution of PDE (35), and we conclude the proof. □
Lemma 5.2
Let Assumptions (H1) and (H2) hold. For any \(A>0\), there exists \(C_{1}>0\) such that the function
where
satisfies
in \([t_{1},T]\times\mathbb{R}^{n}\). Here \(t_{1}=T-\frac{A}{C_{1}}\).
Proof
By the definition of χ and ψ we have
Then we have
Because of the choice of \(t_{1}\), these estimates do not depend on \(C_{1}\). Easy computations yield
Since \(\psi(x)>1\), it is clear that when \(C_{1}\) is large enough, the quantity in the brackets is negative, and the proof is complete. □
Theorem 5.2
Let Assumptions (H1) and (H2) hold. Then there exists at most one viscosity solution of PDE (1) in the class of continuous functions that are Lipschitz continuous in the spatial variable x.
In particular, the function \(u(t,x)=Y_{t}^{t,x}\) is the unique viscosity solution of (1) in the class of continuous functions that are Lipschitz continuous in the spatial variable x.
Proof
First, we will show that \(\omega=u-v\) satisfies
for any \(\alpha>0\). Then, we let α tend to zero.
By (37), to prove this inequality, we first remark that
uniformly for \(t\in[0,T]\) and for some \(A>0\). This implies, in particular, that \(\omega(t,x)-\alpha\chi(t,x)\) is bounded from above in \([t_{1},T]\times\mathbb{R}^{n}\) for any \(\alpha>0\), and we have that
is achieved at some point \((t_{0},x_{0})\in[t_{1},T]\times\mathbb{R}^{n}\). Since \(|\cdot|\) is the supremum norm in \(\mathbb{R}^{m}\), we have
and \(|\omega_{i_{0}}(t_{0},x_{0})|=|\omega(t_{0},x_{0})|\). We may assume w.l.o.g. that \(|\omega_{i_{0}}(t_{0},x_{0})|\neq0\); otherwise, we are done.
Then we have \(|\omega_{i_{0}}(t_{0},x_{0})|>0\).
From the maximum point property we deduce that
We define
and get
Since \(\varphi(t_{0},x_{0})=\omega_{i_{0}}(t_{0},x_{0})>0\) and Lemma 5.1, we have
for all \(t_{0}\in[t_{1},T)\). By the definition of φ we can rewrite this inequality as
This is a contradiction with Lemma 5.1. Thus \(t_{0}=T\). Since \(|\omega (T,x)|=0\), we have
Letting α tend to zero, we obtain
Applying successively the same argument on the intervals \([t_{2},t_{1}]\), where \(t_{2}=(t_{1}-A/C_{1})^{+}\), and then, if \(t_{2}>0\), then on \([t_{3},t_{2}]\), where \(t_{3}=(t_{2}-A/C_{1})^{+}\), and so on, we finally obtain that
The proof is complete. □
6 Conclusion
In this paper, to our best knowledge, we are the first to study this kind of PDE systems associated with the two-point boundary value problems. The distinguishing feature is that we consider the coefficient b of PDE (1) dependent on \(u(t,x)\). We give three kinds of solutions of PDE (1). The first one is the classical solution, which needs the coefficients of ODEs (2) be twice continuously differentiable with bounded derivatives besides the usual assumptions in [5]. If the coefficient b of ODEs (2) is only once continuously differentiable with bounded derivatives and if f satisfies the usual Lipschitz condition, then we can prove that the associated PDE has a unique weak solution in the Sobolev space. In addition, we also prove that the function defined by the solution of ODEs (2) is the unique viscosity solution of PDE (1) if the coefficients of ODEs (2) only satisfy the usual assumptions and Lipschitz condition. This kind of two-point boundary problems is quite important in the ordinary differential equations and has meaningful applications in optimal control theory. By virtue of the solution of PDE (1) we give a method to solve the numerical solution of the two-point boundary value problem and provide a powerful tool to solve the related optimal control problems.
Abbreviations
- PDE:
-
partial differential equation
- ODEs:
-
ordinary differential equations
- PDEs:
-
partial differential equations
- FBSDEs:
-
forward–backward stochastic differential equations
References
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Sensitivity analysis for optimal control problems governed by nonlinear evolution inclusions. Adv. Nonlinear Anal. 6(2), 199–235 (2017)
Fragnelli, G., Mugnai, D.: Carleman estimates for singular parabolic equations with interior degeneracy and non smooth coefficients. Adv. Nonlinear Anal. 6(2), 339–378 (2016)
Nursultanov, M., Rozenblum, G.: Eigenvalue asymptotics for the Sturm–Liouville operator with potential having a strong local negative singularity. Opusc. Math. 37(1), 109 (2017)
Ghergu, M., Radulescu, V.D.: Nonlinear PDEs: Mathematical Models in Biology, Chemistry and Population Genetics. Monographs in Mathematics. Springer, Heidelberg (2012)
Wu, Z.: A class of ordinary differential equations of two-point boundary value problems and applications. J. Shandong Univ. Sci. Technol. Nat. Sci. 1, 16–23 (1997)
Pardoux, E., Peng, S.: Backward stochastic differential equations and quasilinear parabolic partial differential equations. In: Stochastic Partial Differential Equations and Their Applications, pp. 200–217 (1992)
Wu, Z., Yu, Z.: Probabilistic interpretation for a system of quasilinear parabolic partial differential equation combined with algebra equations. Stoch. Process. Appl. 124(12), 3921–3947 (2014)
Ouknine, Y., Turpin, I.: Weak solutions of semilinear PDEs in Sobolev spaces and their probabilistic interpretation via the FBSDEs. Stoch. Anal. Appl. 24(4), 871–888 (2006)
Wei, L., Wu, Z., Zhao, H.: Sobolev weak solutions of the Hamilton–Jacobi–Bellman equations. SIAM J. Control Optim. 52(3), 1499–1526 (2014)
Kunita, H.: Stochastic differential equations and stochastic flows of diffeomorphisms. In: École d’Été de Probabilités de Saint-Flour XII – 1982, pp. 143–303 (1984)
Wu, Z.: Adapted solution of generalized forward-backward stochastic differential equations and its dependence on parameters. Chin. J. Contem. Math 19(1) (1998)
Elkaroui, N., Peng, S., Quenez, M.C.: Backward stochastic differential equations in finance. Math. Finance 7(1), 1–71 (1997)
Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, Heidelberg (2010)
Barles, G., Buckdahn, R., Pardoux, E.: Backward stochastic differential equations and integral-partial differential equations. Stoch. Int. J. Probab. Stoch. Process. 60(1–2), 57–83 (1997)
Crandall, M.G., Hitoshi Ishii, P.-L.L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1–67 (1992)
Acknowledgements
The authors are grateful to the anonymous reviewers for carefully reading this paper and for their comments and suggestions which have improved the paper.
Availability of data and materials
Not applicable.
Authors’ information
Not applicable.
Funding
This work was supported by the Natural Science Foundation of China (61573217), the National High-level personnel of special support program and the Chang Jiang Scholar Program of Chinese Education Ministry.
Author information
Authors and Affiliations
Contributions
Bothl authors have contributed equally in this paper. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Ma, N., Wu, Z. Classical and weak solutions of the partial differential equations associated with a class of two-point boundary value problems. Bound Value Probl 2018, 120 (2018). https://doi.org/10.1186/s13661-018-1040-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1040-9