- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Advances in Mathematical Physics
Volume 2013 (2013), Article ID 715959, 8 pages
Optimal Control of a Viscous Shallow Water Equation
1Taizhou Institute of Science and Technology (NUST) Taizhou, Jiangsu 225300, China
2Nonlinear Scientific Research Center, Faculty of Science, Jiangsu University, Zhenjiang, Jiangsu 212013, China
Received 22 June 2013; Accepted 23 August 2013
Academic Editor: Shao-Ming Fei
Copyright © 2013 Wenbin Zhang and Jiangbo Zhou. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
This paper is concerned with a viscous shallow water equation, which includes both the viscous Camassa-Holm equation and the viscous Degasperis-Procesi equation as its special cases. The optimal control under boundary conditions is given, and the existence of optimal solution to the equation is proved.
Holm and Staley  studied the following family of evolutionary 1+1 PDEs: which describes the balance between convection and stretching for small viscosity in the dynamics of one-dimensional nonlinear waves in fluids. Here , , and is chosen to be the Green’s function for the Helmholtz operator on the line. In a recent study of soliton equations, it is found that (1) for and any is included in the family of shallow water equations at quadratic order accuracy that are asymptotically equivalent under Kodama transformations .
When , (1) becomes the -family of equations: which describes a one-dimensional version of active fluid transport. It was shown by Degasperis and Procesi  that (2) cannot satisfy the asymptotic integrability condition unless or ; compare [2, 4, 5].
For in (2), it becomes the Camassa-Holm (CH) equation: which is a model describing the unidirectional propagation of shallow water waves over a flat bottom . Equation (3) has a bi-Hamiltonian structure  and is completely integrable [7, 8]. It admits, in addition to smooth waves, a multitude of traveling wave solutions with singularities: peakons, cuspons, stumpons, and composite waves [4, 9]. Its solitary waves are stable solitons [10, 11], retaining their shape and form after interactions . The Cauchy problem of (3) has been studied extensively. Constantin  and Rodríguez-Blanco  investigated the locally well-posed for initial data with . More interestingly, it has strong solutions that are global in time [11, 14] as well as solutions that blow up in finite time [11, 15, 16]. On the other hand, Bressan and Constantin  and Xin and Zhang  showed that (3) has global weak solutions with initial data .
For in (2), it becomes the Degasperis-Procesi (DP) equation: which can be used as a model for nonlinear shallow water dynamics, and its asymptotic accuracy is the same as (3). Degasperis et al.  presented that (4) has a bi-Hamiltonian structure with an infinite sequence of conserved quantities and admits exact peakon solutions which are analogous to (3) peakons [4, 10, 19]. Dullin et al.  showed that (4) can be obtained from the shallow water elevation equation by an appropriate Kodama transformation. The numerical stability of solitons and peakons, the multisoliton solutions and their peakon limits, and an inverse scattering method to compute N-peakon solutions to (4) have been investigated, respectively, in [21–23]. After (4) appeared, it has attracted many researchers to discover its dynamics (see [24–31]). Yin [24, 25] proved the local well-posedness of (4) with initial data () on the line and on the circle and derived the precise blow-up scenario and a blow-up result. The global existence of strong solutions and global weak solutions to (4) were studied in [29, 30]. Similar to (3) [11, 15, 18, 22–24], (4) has not only global strong solutions [27, 28] but also blow-up solutions [26, 28–30]. Apart from these, Coclite and Karlsen  proved that it has global entropy weak solutions in and .
Recently, Lai and Wu  found that, in both models (1) and (2), the coefficient of is equal to the coefficient of plus the one of . That is, Then, they studied the global solutions and blow-up phenomena to the following generalized equation:
In this paper, we study the optimal control problem for the following equation: where are positive constants. The optimal control is an important component of modern control theories and has a wider application in modern engineering. Two methods are introduced to study the control problems in PDE: one is using a low model method and then changing to an ODE model ; the other is using a quasi-optimal control method . No matter which one is chosen, it is necessary to prove the existence of optimal solution according to the basic theory . The control problems of nonlinear PDE have been studied extensively. Kunisch and Volkwein solved open-loop and closed-loop optimal control problems for the Burgers equation  and discussed the instantaneous control of the equation . Vedantham  developed a technique to utilize the Cole-Hopf transformation to solve an optimal control problem for the Burgers equation. Øksendal  proved a sufficient maximum principle for the optimal control systems described by a quasi-linear stochastic heat equation. In , Ghattas and Bark studied the optimal control of two- and three-dimensional incompressible Navier-Stokes flows. Lagnese and Leugering  considered the problem of boundary optimal control of a wave equation with boundary dissipation. In , Yong established a unified existence theory of optimal controls for general semilinear evolutionary distributed parameter systems under the framework of mild (or weak) solutions for evolution equations. Yong and Zheng  considered the Cahn-Hilliard equation in a bounded domain with smooth boundary. Based on the energy estimates and the compact method, Ryu and Yagi [44, 45] studied Keller-Segel equations and adsorbate-induced phase transition model. Tian et al. [46–48] studied the optimal control problems for parabolic equations, such as viscous CH equation, viscous DP equation, and viscous DGH equation. Under boundary condition, Zhao and Liu  studied viscous Cahn-Hilliard equation.
With , the optimal control problem for (7) we intend to investigate is subject to where . Clearly, our control target is to match the given desired state by adjusting the body force in a control volume in the -sense.
Notation. In this paper, we set that , , , and are dual space, respectively. Then, , with each embedding being dense. The extension operator is given by We supply the Lebesgue space with the norm and the Sobolev space , with the norm . For a fixed , we also defined a space as which is a Hilbert space endowed with common inner product.
2. Existence of Unique Weak Solution
In this section, we prove the existence of a weak solution for the following equation: with the boundary conditions and the initial value where , , , and a control . Now, we give the definition of the weak solution in the space .
Definition 1. A function is called a weak solution to (12), if
is valid for all , a.e. and .
By using the standard Galerkin method and some a priori estimates, one can obtain the following theorem, which ensures the existence of a unique weak solution to the viscous shallow water equation.
Proof. Let be an orthonormal basis in the space consisting of eigenfunctions of the operator . For , we define the discrete ansatz space by . Let with in .
By analyzing the limiting behavior of the sequences of smooth functions and , we can prove the existence of a weak solution to (12).
Performing the Galerkin procedure for the problem (12)–(14), we obtain with the boundary conditions and the initial value
Clearly, (16) is an ordinary differential equation, and, according to standard ODE’s theory, there is a unique solution to (16) in the interval . What we should do is to show that the solution is uniformly bounded as . We will prove the existence of weak solution in the following steps.
Step 1. Taking the inner product of (16) with in , we have Let us estimate the first term of the right hand side of (19) as follows: By the Sobolev embedding theorem and the Poincaré inequality, we obtain where are constants.
It follows from (20) and (21) that
Next, we estimate the second term of the right hand side of (19). Noting that is a control item, we can assume that , where is positive constant. Then Combining inequalities (22) and (23) with (19) and using the Young inequality, we have Therefore, we obtain It, thus, transpires that where , and .
From the above discussion, we know that and . By the Sobolev embedding theorem, we obtain
Step 2. We prove a uniform bound on a sequence . Taking the inner product of (16) with in , we have Let us estimate the first term of the right hand side of (28). By the Poincaré inequality and the Hölder inequality, we have where .
Furthermore, we estimate the second term of the right hand side of (28) in the following way: Combining inequalities (29) and (30) with (28), we have where . It follows from (31) with the Young inequality that Integrating the pervious inequality with respect to on , we obtain Furthermore, we have From (32), we also have Integrating the pervious inequality with respect to on , we obtain
Step 3. We prove a uniform bound on a sequence . By (16) and the Sobolev embedding theorem, we have Furthermore, we have Integrating (38) with respect to on , we deduce that From the pervious discussion one has the following.(a)For every , and are two constants and the sequence is bounded in as well as in , which is independent of the dimension of ansatz space .(b)For every and is constant, the sequence is bounded in , which is independent of the dimension of ansatz space .
Note that, (a) and (b) the above mentioned are equivalent to bounded, and is compactly embedded into . Then, we conclude the convergence of a subsequence, again denoted by weak in , weakstar in , and strong in to a function .
The proof of the uniqueness of the solution is similar to Theorem 1 in , so we omit it here. This completes the proof of the theorem.
Our next result describes that the norm of weak solution can be controlled by initial value and control item.
Theorem 3. Let and ; then there exists a positive constant , such that
Proof. Taking the inner product of (12) with in , by using the same argument as in the proof of Theorem 2, we have
where and are positive constants as in Theorem 2. Taking the inner product of (12) with in , we have
Let us estimate the first term of the right hand side of (42) as follows:
Furthermore, we estimate the second term of the right hand side of (42) in the following way:
Combining inequalities (43) and (44) with (42), we have
Integrating (45) with respect to on , we derive that According to the Young inequality, we have Substituting (47) into (46) yields It follows from (48) that where .
Combining inequality (45) with , we also have Integrating the pervious inequality with respect to yields where .
Combining (12) with the Sobolev embedding theorem, we obtain Furthermore, we have Integrating (53) with respect to on , we deduce that where .
Taking into account (49) and (54), we arrive at where . This completes the proof of the theorem.
3. Existence of Optimal Solution to the Problem of (7)
Allowing a control , we study the following control system: where and . Let be an observation operator, and let be a real Hilbert space of observations. Then, we choose performance index of tracking type where is a desired state and is fixed. Optimal control problem of (7) is where satisfies (56).
Let , ; we define an operator by where is an operator from to . Then, we rewrite (58) in the following form:
Now, we give the main result.
Theorem 4. There exists an optimal control solution to the problem (56).
Proof. Let satisfying the equation . According to (57) and Theorem 3, we have
Note that the norm is weakly lower semicontinuous ; we have that is weakly lower semicontinuous. Since , for all , holds, there exists defined by
which means the existence of a minimizing sequence in such that
According to (62), there exists an element such that, when ,
From (65), it is easy to check that
Thanks to the fact that is compactly embedded into  and is continuously embedded into , we obtain that strongly in and strongly in . Furthermore, we have that strongly in .
Since the sequence converges weakly and is bounded , based on embedding theorem, we obtain that is bounded. In fact, is also bounded, because strongly in .
Thus, it follows from the Hölder inequality that Similarly, Then, we have By view of (66), we can obtain that According to the above discussion, we have that
Thanks to the fact that and weakly in , we have and weakly as . Furthermore, we obtain which means that .
Therefore, we have that
Thus, there exists an optimal solution to the problem (56). In the meantime, we can infer that there exists an optimal solution to the viscous shallow water equation due to the relation . The proof of this theorem is completed.
The authors would like to thank all the anonymous referees for their careful reading and constructive comments. This work was supported by the Natural Science Foundation of China (nos. 11171135, 10420130638) and the Taizhou Social Development Project.
- D. D. Holm and M. F. Staley, “Nonlinear balance and exchange of stability of dynamics of solitons, peakons, ramps/cliffs and leftons in a nonlinear evolutionary PDE,” Physics Letters A, vol. 308, no. 5-6, pp. 437–444, 2003.
- H. R. Dullin, G. A. Gottwald, and D. D. Holm, “An integrable shallow water equation with linear and nonlinear dispersion,” Physical Review Letters, vol. 87, pp. 4501–4504, 2001.
- A. Degasperis and M. Procesi, “Asymptotic integrability,” in Symmetry and Perturbation Theory (Rome, 1998), A. Degasperis and G. Gaeta, Eds., pp. 23–37, World Scientific, River Edge, NJ, USA, 1999.
- R. Camassa and D. D. Holm, “An integrable shallow water equation with peaked solitons,” Physical Review Letters, vol. 71, no. 11, pp. 1661–1664, 1993.
- A. Degasperis, D. D. Kholm, and A. N. I. Khon, “A new integrable equation with peakon solutions,” Teoreticheskaya i Matematicheskaya Fizika, vol. 133, no. 2, pp. 170–183, 2002.
- B. Fuchssteiner and A. S. Fokas, “Symplectic structures, their Bäcklund transformations and hereditary symmetries,” Physica D, vol. 4, no. 1, pp. 47–66, 1981.
- B. Fuchssteiner, “Some tricks from the symmetry-toolbox for nonlinear equations: generalizations of the Camassa-Holm equation,” Physica D, vol. 95, no. 3-4, pp. 229–243, 1996.
- A. Constantin, “On the scattering problem for the Camassa-Holm equation,” Proceedings of the Royal Society A, vol. 457, no. 2008, pp. 953–970, 2001.
- J. Lenells, “Traveling wave solutions of the Camassa-Holm equation,” Journal of Differential Equations, vol. 217, no. 2, pp. 393–430, 2005.
- A. Constantin and W. A. Strauss, “Stability of the Camassa-Holm solitons,” Journal of Nonlinear Science, vol. 12, no. 4, pp. 415–422, 2002.
- A. Constantin and J. Escher, “Well-posedness, global existence, and blowup phenomena for a periodic quasi-linear hyperbolic equation,” Communications on Pure and Applied Mathematics, vol. 51, no. 5, pp. 475–504, 1998.
- A. Constantin, “Existence of permanent and breaking waves for a shallow water equation: a geometric approach,” Annales de l'Institut Fourier, vol. 50, no. 2, pp. 321–362, 2000.
- G. Rodríguez-Blanco, “On the Cauchy problem for the Camassa-Holm equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 46, no. 3, pp. 309–327, 2001.
- H. Dai, K.-H. Kwek, H. Gao, and C. Qu, “On the Cauchy problem of the Camassa-Holm equation,” Frontiers of Mathematics in China, vol. 1, no. 1, pp. 144–159, 2006.
- A. Constantin and J. Escher, “Global existence and blow-up for a shallow water equation,” Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV, vol. 26, no. 2, pp. 303–328, 1998.
- Y. A. Li and P. J. Olver, “Well-posedness and blow-up solutions for an integrable nonlinearly dispersive model wave equation,” Journal of Differential Equations, vol. 162, no. 1, pp. 27–63, 2000.
- A. Bressan and A. Constantin, “Global conservative solutions of the Camassa-Holm equation,” Archive for Rational Mechanics and Analysis, vol. 183, no. 2, pp. 215–239, 2007.
- Z. Xin and P. Zhang, “On the weak solutions to a shallow water equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 11, pp. 1411–1433, 2000.
- A. Constantin and W. A. Strauss, “Stability of peakons,” Communications on Pure and Applied Mathematics, vol. 53, no. 5, pp. 603–610, 2000.
- H. R. Dullin, G. A. Gottwald, and D. D. Holm, “Camassa-Holm, Korteweg-de Vries-5 and other asymptotically equivalent equations for shallow water waves,” Fluid Dynamics Research, vol. 33, no. 1-2, pp. 73–95, 2003.
- D. D. Holm and M. F. Staley, “Wave structure and nonlinear balances in a family of evolutionary PDEs,” SIAM Journal on Applied Dynamical Systems, vol. 2, no. 3, p. 323, 2003.
- Y. Matsuno, “Multisoliton solutions of the Degasperis-Procesi equation and their peakon limit,” Inverse Problems, vol. 21, no. 5, pp. 1553–1570, 2005.
- H. Lundmark and J. Szmigielski, “Multi-peakon solutions of the Degasperis-Procesi equation,” Inverse Problems, vol. 19, no. 6, pp. 1241–1245, 2003.
- Z. Yin, “On the Cauchy problem for an integrable equation with peakon solutions,” Illinois Journal of Mathematics, vol. 47, no. 3, pp. 649–666, 2003.
- Z. Yin, “Global existence for a new periodic integrable equation,” Journal of Mathematical Analysis and Applications, vol. 283, no. 1, pp. 129–139, 2003.
- Z. Yin, “Global solutions to a new integrable equation with peakons,” Indiana University Mathematics Journal, vol. 53, no. 4, pp. 1189–1209, 2004.
- Z. Yin, “Global weak solutions for a new periodic integrable equation with peakon solutions,” Journal of Functional Analysis, vol. 212, no. 1, pp. 182–194, 2004.
- Y. Liu and Z. Yin, “Global existence and blow-up phenomena for the Degasperis-Procesi equation,” Communications in Mathematical Physics, vol. 267, no. 3, pp. 801–820, 2006.
- J. Escher, Y. Liu, and Z. Yin, “Global weak solutions and blow-up structure for the Degasperis-Procesi equation,” Journal of Functional Analysis, vol. 241, no. 2, pp. 457–485, 2006.
- J. Escher, Y. Liu, and Z. Yin, “Shock waves and blow-up phenomena for the periodic Degasperis-Procesi equation,” Indiana University Mathematics Journal, vol. 56, no. 1, pp. 87–117, 2007.
- G. M. Coclite and K. H. Karlsen, “On the well-posedness of the Degasperis-Procesi equation,” Journal of Functional Analysis, vol. 233, no. 1, pp. 60–91, 2006.
- S. Lai and Y. Wu, “Global solutions and blow-up phenomena to a shallow water equation,” Journal of Differential Equations, vol. 249, no. 3, pp. 693–706, 2010.
- K. Ito and S. S. Ravindran, “A reduced basis method for control problems governed by PDEs,” in Control and Estimation of Distributed Parameter Systems (Vorau, 1996), vol. 126 of International Series of Numerical Mathematics, pp. 153–168, Birkhäuser, Basel, Switzerland, 1998.
- J. A. Atwell and B. B. King, “Proper orthogonal decomposition for reduced basis feedback controllers for parabolic equations,” Mathematical and Computer Modelling, vol. 33, no. 1–3, pp. 1–19, 2001.
- C. Hu and R. Temam, “Robust control of the Kuramoto-Sivashinsky equation,” Dynamics of Continuous, Discrete & Impulsive Systems. Series B, vol. 8, no. 3, pp. 315–338, 2001.
- K. Kunisch and S. Volkwein, “Control of the Burgers equation by a reduced-order approach using proper orthogonal decomposition,” Journal of Optimization Theory and Applications, vol. 102, no. 2, pp. 345–371, 1999.
- M. Hinze and S. Volkwein, “Analysis of instantaneous control for the Burgers equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 50, no. 1, pp. 1–26, 2002.
- R. Vedantham, “Optimal control of the viscous Burgers equation using an equivalent index method,” Journal of Global Optimization, vol. 18, no. 3, pp. 255–263, 2000.
- B. Øksendal, “Optimal control of stochastic partial differential equations,” Stochastic Analysis and Applications, vol. 23, no. 1, pp. 165–179, 2005.
- O. Ghattas and J. H. Bark, “Optimal control of two- and three-dimensional incompressible Navier-Stokes flows,” Journal of Computational Physics, vol. 136, pp. 231–244, 1997.
- J. E. Lagnese and G. Leugering, “Time-domain decomposition of optimal control problems for the wave equation,” Systems & Control Letters, vol. 48, no. 3-4, pp. 229–242, 2003.
- J. M. Yong, “Existence theory of optimal controls for distributed parameter systems,” Kodai Mathematical Journal, vol. 15, no. 2, pp. 193–220, 1992.
- J. M. Yong and S. M. Zheng, “Feedback stabilization and optimal control for the Cahn-Hilliard equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 17, no. 5, pp. 431–444, 1991.
- S.-U. Ryu and A. Yagi, “Optimal control of Keller-Segel equations,” Journal of Mathematical Analysis and Applications, vol. 256, no. 1, pp. 45–66, 2001.
- S.-U. Ryu, “Optimal control problems governed by some semilinear parabolic equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 56, no. 2, pp. 241–252, 2004.
- C. Shen, L. Tian, and A. Gao, “Optimal control of the viscous Dullin-Gottwalld-Holm equation,” Nonlinear Analysis: Real World Applications, vol. 11, no. 1, pp. 480–491, 2010.
- L. Tian and C. Shen, “Optimal control of the viscous Degasperis-Procesi equation,” Journal of Mathematical Physics, vol. 48, no. 11, Article ID 113513, 16 pages, 2007.
- L. Tian, C. Shen, and D. Ding, “Optimal control of the viscous Camassa-Holm equation,” Nonlinear Analysis: Real World Applications, vol. 10, no. 1, pp. 519–530, 2009.
- X. Zhao and C. Liu, “Optimal control problem for viscous Cahn-Hilliard equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 17, pp. 6348–6357, 2011.
- J.-L. Lions, Optimal Control of Systems Governed by Partial Differential Equations, Springer, New York, NY, USA, 1971.
- A. Wouk, A Course of Applied Functional Analysis, Pure and Applied Mathematics, Wiley-Interscience, New York, NY, USA, 1979.
- R. Temam, Navier-Stokes Equations: Theory and Numerical Analysis, vol. 2 of Studies in Mathematics and Its Applications, North-Holland, Amsterdam, The Netherlands, 1979.
- R. Dautray and J.-L. Lions, Mathematical Analysis and Numerical Methods for Science and Technology. Volume 5: Evolution Problems I, Springer, Berlin, Germany, 1992.
- E. Kreyszig, Introductory Functional Analysis with Applications, John Wiley & Sons, New York, NY, USA, 1978.