American Institute of Mathematical Sciences

June  2015, 2(2): 143-164. doi: 10.3934/jcd.2015001

A posteriori error bounds for two point boundary value problems: A green's function approach

 1 Program in Applied Mathematics, The University of Arizona, Tucson, Arizona 85721, United States

Received  January 2015 Revised  August 2015 Published  May 2016

We present a computer assisted method for generating existence proofs and a posteriori error bounds for solutions to two point boundary value problems (BVPs). All truncation errors are accounted for and, if combined with interval arithmetic to bound the rounding errors, the computer generated results are mathematically rigorous. The method is formulated for $n$-dimensional systems and does not require any special form for the vector field of the differential equation. It utilizes a numerically generated approximation to the BVP fundamental solution and Green's function and thus can be applied to stable BVPs whose initial value problem is unstable. The utility of the method is demonstrated on a pair of singularly perturbed model BVPs and by using it to rigorously show the existence of a periodic orbit in the Lorenz system.
Citation: Jeremiah Birrell. A posteriori error bounds for two point boundary value problems: A green's function approach. Journal of Computational Dynamics, 2015, 2 (2) : 143-164. doi: 10.3934/jcd.2015001
References:
 [1] D. Ambrosi, G. Arioli and H. Koch, A homoclinic solution for excitation waves on a contractile substratum,, SIAM Journal on Applied Dynamical Systems, 11 (2012), 1533.  doi: 10.1137/12087654X.  Google Scholar [2] G. Arioli and H. Koch, Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation,, Nonlinear Analysis: Theory, 113 (2015), 51.  doi: 10.1016/j.na.2014.09.023.  Google Scholar [3] U. Ascher and L. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations,, Society for Industrial and Applied Mathematics (SIAM, (3600).  doi: 10.1137/1.9781611971392.  Google Scholar [4] P.-O. Åsén, Stability of Plane Couette Flow and Pipe Poiseuille Flow,, PhD thesis, (2007).   Google Scholar [5] B. A. Coomes, H. Koçak and K. J. Palmer, Rigorous computational shadowing of orbits of ordinary differential equations,, Numerische Mathematik, 69 (1995), 401.  doi: 10.1007/s002110050100.  Google Scholar [6] Y. Eidelman, V. Milman and A. Tsolomitis, Functional Analysis: An Introduction,, Graduate studies in mathematics, (2004).  doi: 10.1090/gsm/066.  Google Scholar [7] C. Fefferman and R. de la Llave, Relativistic stability of matter-I,, I. Rev. Mat. Iberoamericana, 2 (1986), 119.  doi: 10.4171/RMI/30.  Google Scholar [8] O. Fogelklou, W. Tucker and G. Kreiss, A computer-assisted proof of the existence of traveling wave solutions to the scalar euler equations with artificial viscosity,, Nonlinear Differential Equations and Applications NoDEA, 19 (2012), 97.  doi: 10.1007/s00030-011-0120-7.  Google Scholar [9] O. Fogelklou, W. Tucker, G. Kreiss and M. Siklosi, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition,, Communications in Nonlinear Science and Numerical Simulation, 16 (2011), 1227.  doi: 10.1016/j.cnsns.2010.07.008.  Google Scholar [10] G. Folland, Real Analysis: Modern Techniques and Their Applications,, A Wiley-Interscience Publication. John Wiley & Sons, (1984).   Google Scholar [11] Z. Galias and P. Zgliczyski, Computer assisted proof of chaos in the Lorenz equations,, Physica D: Nonlinear Phenomena, 115 (1998), 165.  doi: 10.1016/S0167-2789(97)00233-9.  Google Scholar [12] M. Göhlen, M. Plum and J. Schröder, A programmed algorithm for existence proofs for two-point boundary value problems,, Computing, 44 (1990), 91.  doi: 10.1007/BF02241862.  Google Scholar [13] A. Hungria, J.-P. Lessard and J. D. M. James, Rigorous numerics for analytic solutions of differential equations: The radii polynomial approach,, Math. Comp., 85 (2016), 1427.  doi: 10.1090/mcom/3046.  Google Scholar [14] L. Jaulin, Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics,, no. v. 1 in Applied Interval Analysis: With Examples in Parameter and State Estimation, (2001).  doi: 10.1007/978-1-4471-0249-6.  Google Scholar [15] L. Kantorovich and G. Akilov, Functional Analysis in Normed Spaces,, International series of monographs in pure and applied mathematics, (1964).   Google Scholar [16] R. B. Kearfott, Interval computations: Introduction, uses, and resources,, Euromath Bulletin, 2 (1996), 95.   Google Scholar [17] G. Kedem, A posteriori error bounds for two-point boundary value problems,, SIAM Journal on Numerical Analysis, 18 (1981), 431.  doi: 10.1137/0718028.  Google Scholar [18] H. Koch, A. Schenkel and P. Wittwer, Computer-assisted proofs in analysis and programming in logic: A case study,, SIAM Review, 38 (1996), 565.  doi: 10.1137/S0036144595284180.  Google Scholar [19] J. Lee and L. Greengard, A fast adaptive numerical method for stiff two-point boundary value problems,, SIAM Journal on Scientific Computing, 18 (1997), 403.  doi: 10.1137/S1064827594272797.  Google Scholar [20] J.-P. Lessard, J. Mireles James and C. Reinhardt, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields,, Journal of Dynamics and Differential Equations, 26 (2014), 267.  doi: 10.1007/s10884-014-9367-0.  Google Scholar [21] J.-P. Lessard and C. Reinhardt, Rigorous numerics for nonlinear differential equations using Chebyshev series,, SIAM Journal on Numerical Analysis, 52 (2014), 1.  doi: 10.1137/13090883X.  Google Scholar [22] M. A. McCarthy and R. A. Tapia, Computable a posteriori $L_\infty$-error bounds for the approximate solution of two-point boundary value problems,, SIAM Journal on Numerical Analysis, 12 (1975), 919.  doi: 10.1137/0712068.  Google Scholar [23] R. Moore, Methods and Applications of Interval Analysis,, Studies in Applied and Numerical Mathematics, (1979).   Google Scholar [24] R. Moore, R. Kearfott and M. Cloud, Introduction to Interval Analysis,, Cambridge University Press, (2009).  doi: 10.1137/1.9780898717716.  Google Scholar [25] K. Nagatou, N. Yamamoto and M. Nakao, An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness,, Numerical Functional Analysis and Optimization, 20 (1999), 543.  doi: 10.1080/01630569908816910.  Google Scholar [26] M. T. Nakao, Solving nonlinear parabolic problems with result verification. Part I: One-space dimensional case,, Journal of Computational and Applied Mathematics, 38 (1991), 323.  doi: 10.1016/0377-0427(91)90179-N.  Google Scholar [27] M. T. Nakao, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems,, Journal of Mathematical Analysis and Applications, 164 (1992), 489.  doi: 10.1016/0022-247X(92)90129-2.  Google Scholar [28] M. T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations,, Numerical Functional Analysis and Optimization, 22 (2001), 321.  doi: 10.1081/NFA-100105107.  Google Scholar [29] N. Nedialkov, K. Jackson and G. Corliss, Validated solutions of initial value problems for ordinary differential equations,, Applied Mathematics and Computation, 105 (1999), 21.  doi: 10.1016/S0096-3003(98)10083-8.  Google Scholar [30] M. Plum, Computer-assisted existence proofs for two-point boundary value problems,, Computing, 46 (1991), 19.  doi: 10.1007/BF02239009.  Google Scholar [31] M. Plum, Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance,, Jahresbericht der Deutschen Mathematiker Vereinigung, 110 (2008), 19.   Google Scholar [32] S. Rump, INTLAB - INTerval LABoratory,, in Developments in Reliable Computing (ed. T. Csendes), (1999), 77.  doi: 10.1007/978-94-017-1247-7_7.  Google Scholar [33] A. Takayasu, S. Oishi and T. Kubo, Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations,, Nonlinear Theory and Its Applications, 1 (2010), 105.  doi: 10.1587/nolta.1.105.  Google Scholar [34] W. Tucker, Validated Numerics: A Short Introduction to Rigorous Computations,, Princeton University Press, (2011).   Google Scholar [35] W. Tucker, The Lorenz attractor exists,, Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 328 (1999), 1197.  doi: 10.1016/S0764-4442(99)80439-X.  Google Scholar [36] M. Urabe, Galerkin's procedure for nonlinear periodic systems,, Archive for Rational Mechanics and Analysis, 20 (1965), 120.  doi: 10.1007/BF00284614.  Google Scholar [37] J. van den Berg, J. Mireles-James, J. Lessard and K. Mischaikow, Rigorous numerics for symmetric connecting orbits: Even homoclinics of the Gray-Scott equation,, SIAM Journal on Mathematical Analysis, 43 (2011), 1557.  doi: 10.1137/100812008.  Google Scholar [38] J. B. van den Berg, C. M. Groothedde and J. F. Williams, Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem,, SIAM Journal on Applied Dynamical Systems, 14 (2015), 423.  doi: 10.1137/140987973.  Google Scholar [39] Y. Watanabe, M. Plum and M. T. Nakao, A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow,, ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik, 89 (2009), 5.  doi: 10.1002/zamm.200700158.  Google Scholar [40] N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed-point theorem,, SIAM Journal on Numerical Analysis, 35 (1998), 2004.  doi: 10.1137/S0036142996304498.  Google Scholar [41] P. Zgliczynski, Computer assisted proof of chaos in the Rössler equations and in the Hénon map,, Nonlinearity, 10 (1997), 243.  doi: 10.1088/0951-7715/10/1/016.  Google Scholar

show all references

References:
 [1] D. Ambrosi, G. Arioli and H. Koch, A homoclinic solution for excitation waves on a contractile substratum,, SIAM Journal on Applied Dynamical Systems, 11 (2012), 1533.  doi: 10.1137/12087654X.  Google Scholar [2] G. Arioli and H. Koch, Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation,, Nonlinear Analysis: Theory, 113 (2015), 51.  doi: 10.1016/j.na.2014.09.023.  Google Scholar [3] U. Ascher and L. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations,, Society for Industrial and Applied Mathematics (SIAM, (3600).  doi: 10.1137/1.9781611971392.  Google Scholar [4] P.-O. Åsén, Stability of Plane Couette Flow and Pipe Poiseuille Flow,, PhD thesis, (2007).   Google Scholar [5] B. A. Coomes, H. Koçak and K. J. Palmer, Rigorous computational shadowing of orbits of ordinary differential equations,, Numerische Mathematik, 69 (1995), 401.  doi: 10.1007/s002110050100.  Google Scholar [6] Y. Eidelman, V. Milman and A. Tsolomitis, Functional Analysis: An Introduction,, Graduate studies in mathematics, (2004).  doi: 10.1090/gsm/066.  Google Scholar [7] C. Fefferman and R. de la Llave, Relativistic stability of matter-I,, I. Rev. Mat. Iberoamericana, 2 (1986), 119.  doi: 10.4171/RMI/30.  Google Scholar [8] O. Fogelklou, W. Tucker and G. Kreiss, A computer-assisted proof of the existence of traveling wave solutions to the scalar euler equations with artificial viscosity,, Nonlinear Differential Equations and Applications NoDEA, 19 (2012), 97.  doi: 10.1007/s00030-011-0120-7.  Google Scholar [9] O. Fogelklou, W. Tucker, G. Kreiss and M. Siklosi, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition,, Communications in Nonlinear Science and Numerical Simulation, 16 (2011), 1227.  doi: 10.1016/j.cnsns.2010.07.008.  Google Scholar [10] G. Folland, Real Analysis: Modern Techniques and Their Applications,, A Wiley-Interscience Publication. John Wiley & Sons, (1984).   Google Scholar [11] Z. Galias and P. Zgliczyski, Computer assisted proof of chaos in the Lorenz equations,, Physica D: Nonlinear Phenomena, 115 (1998), 165.  doi: 10.1016/S0167-2789(97)00233-9.  Google Scholar [12] M. Göhlen, M. Plum and J. Schröder, A programmed algorithm for existence proofs for two-point boundary value problems,, Computing, 44 (1990), 91.  doi: 10.1007/BF02241862.  Google Scholar [13] A. Hungria, J.-P. Lessard and J. D. M. James, Rigorous numerics for analytic solutions of differential equations: The radii polynomial approach,, Math. Comp., 85 (2016), 1427.  doi: 10.1090/mcom/3046.  Google Scholar [14] L. Jaulin, Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics,, no. v. 1 in Applied Interval Analysis: With Examples in Parameter and State Estimation, (2001).  doi: 10.1007/978-1-4471-0249-6.  Google Scholar [15] L. Kantorovich and G. Akilov, Functional Analysis in Normed Spaces,, International series of monographs in pure and applied mathematics, (1964).   Google Scholar [16] R. B. Kearfott, Interval computations: Introduction, uses, and resources,, Euromath Bulletin, 2 (1996), 95.   Google Scholar [17] G. Kedem, A posteriori error bounds for two-point boundary value problems,, SIAM Journal on Numerical Analysis, 18 (1981), 431.  doi: 10.1137/0718028.  Google Scholar [18] H. Koch, A. Schenkel and P. Wittwer, Computer-assisted proofs in analysis and programming in logic: A case study,, SIAM Review, 38 (1996), 565.  doi: 10.1137/S0036144595284180.  Google Scholar [19] J. Lee and L. Greengard, A fast adaptive numerical method for stiff two-point boundary value problems,, SIAM Journal on Scientific Computing, 18 (1997), 403.  doi: 10.1137/S1064827594272797.  Google Scholar [20] J.-P. Lessard, J. Mireles James and C. Reinhardt, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields,, Journal of Dynamics and Differential Equations, 26 (2014), 267.  doi: 10.1007/s10884-014-9367-0.  Google Scholar [21] J.-P. Lessard and C. Reinhardt, Rigorous numerics for nonlinear differential equations using Chebyshev series,, SIAM Journal on Numerical Analysis, 52 (2014), 1.  doi: 10.1137/13090883X.  Google Scholar [22] M. A. McCarthy and R. A. Tapia, Computable a posteriori $L_\infty$-error bounds for the approximate solution of two-point boundary value problems,, SIAM Journal on Numerical Analysis, 12 (1975), 919.  doi: 10.1137/0712068.  Google Scholar [23] R. Moore, Methods and Applications of Interval Analysis,, Studies in Applied and Numerical Mathematics, (1979).   Google Scholar [24] R. Moore, R. Kearfott and M. Cloud, Introduction to Interval Analysis,, Cambridge University Press, (2009).  doi: 10.1137/1.9780898717716.  Google Scholar [25] K. Nagatou, N. Yamamoto and M. Nakao, An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness,, Numerical Functional Analysis and Optimization, 20 (1999), 543.  doi: 10.1080/01630569908816910.  Google Scholar [26] M. T. Nakao, Solving nonlinear parabolic problems with result verification. Part I: One-space dimensional case,, Journal of Computational and Applied Mathematics, 38 (1991), 323.  doi: 10.1016/0377-0427(91)90179-N.  Google Scholar [27] M. T. Nakao, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems,, Journal of Mathematical Analysis and Applications, 164 (1992), 489.  doi: 10.1016/0022-247X(92)90129-2.  Google Scholar [28] M. T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations,, Numerical Functional Analysis and Optimization, 22 (2001), 321.  doi: 10.1081/NFA-100105107.  Google Scholar [29] N. Nedialkov, K. Jackson and G. Corliss, Validated solutions of initial value problems for ordinary differential equations,, Applied Mathematics and Computation, 105 (1999), 21.  doi: 10.1016/S0096-3003(98)10083-8.  Google Scholar [30] M. Plum, Computer-assisted existence proofs for two-point boundary value problems,, Computing, 46 (1991), 19.  doi: 10.1007/BF02239009.  Google Scholar [31] M. Plum, Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance,, Jahresbericht der Deutschen Mathematiker Vereinigung, 110 (2008), 19.   Google Scholar [32] S. Rump, INTLAB - INTerval LABoratory,, in Developments in Reliable Computing (ed. T. Csendes), (1999), 77.  doi: 10.1007/978-94-017-1247-7_7.  Google Scholar [33] A. Takayasu, S. Oishi and T. Kubo, Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations,, Nonlinear Theory and Its Applications, 1 (2010), 105.  doi: 10.1587/nolta.1.105.  Google Scholar [34] W. Tucker, Validated Numerics: A Short Introduction to Rigorous Computations,, Princeton University Press, (2011).   Google Scholar [35] W. Tucker, The Lorenz attractor exists,, Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 328 (1999), 1197.  doi: 10.1016/S0764-4442(99)80439-X.  Google Scholar [36] M. Urabe, Galerkin's procedure for nonlinear periodic systems,, Archive for Rational Mechanics and Analysis, 20 (1965), 120.  doi: 10.1007/BF00284614.  Google Scholar [37] J. van den Berg, J. Mireles-James, J. Lessard and K. Mischaikow, Rigorous numerics for symmetric connecting orbits: Even homoclinics of the Gray-Scott equation,, SIAM Journal on Mathematical Analysis, 43 (2011), 1557.  doi: 10.1137/100812008.  Google Scholar [38] J. B. van den Berg, C. M. Groothedde and J. F. Williams, Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem,, SIAM Journal on Applied Dynamical Systems, 14 (2015), 423.  doi: 10.1137/140987973.  Google Scholar [39] Y. Watanabe, M. Plum and M. T. Nakao, A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow,, ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik, 89 (2009), 5.  doi: 10.1002/zamm.200700158.  Google Scholar [40] N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed-point theorem,, SIAM Journal on Numerical Analysis, 35 (1998), 2004.  doi: 10.1137/S0036142996304498.  Google Scholar [41] P. Zgliczynski, Computer assisted proof of chaos in the Rössler equations and in the Hénon map,, Nonlinearity, 10 (1997), 243.  doi: 10.1088/0951-7715/10/1/016.  Google Scholar
 [1] Mokhtar Bouloudene, Manar A. Alqudah, Fahd Jarad, Yassine Adjabi, Thabet Abdeljawad. Nonlinear singular $p$ -Laplacian boundary value problems in the frame of conformable derivative. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020442 [2] Shenglan Xie, Maoan Han, Peng Zhu. A posteriori error estimate of weak Galerkin fem for second order elliptic problem with mixed boundary condition. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020340 [3] Marek Macák, Róbert Čunderlík, Karol Mikula, Zuzana Minarechová. Computational optimization in solving the geodetic boundary value problems. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 987-999. doi: 10.3934/dcdss.2020381 [4] Alberto Bressan, Wen Shen. A posteriori error estimates for self-similar solutions to the Euler equations. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 113-130. doi: 10.3934/dcds.2020168 [5] Amru Hussein, Martin Saal, Marc Wrona. Primitive equations with horizontal viscosity: The initial value and The time-periodic problem for physical boundary conditions. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020398 [6] Jan Bouwe van den Berg, Elena Queirolo. A general framework for validated continuation of periodic orbits in systems of polynomial ODEs. Journal of Computational Dynamics, 2021, 8 (1) : 59-97. doi: 10.3934/jcd.2021004 [7] Antoine Benoit. Weak well-posedness of hyperbolic boundary value problems in a strip: when instabilities do not reflect the geometry. Communications on Pure & Applied Analysis, 2020, 19 (12) : 5475-5486. doi: 10.3934/cpaa.2020248 [8] Kazunori Matsui. Sharp consistency estimates for a pressure-Poisson problem with Stokes boundary value problems. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1001-1015. doi: 10.3934/dcdss.2020380 [9] Ying Lv, Yan-Fang Xue, Chun-Lei Tang. Ground state homoclinic orbits for a class of asymptotically periodic second-order Hamiltonian systems. Discrete & Continuous Dynamical Systems - B, 2021, 26 (3) : 1627-1652. doi: 10.3934/dcdsb.2020176 [10] Xinfu Chen, Huiqiang Jiang, Guoqing Liu. Boundary spike of the singular limit of an energy minimizing problem. Discrete & Continuous Dynamical Systems - A, 2020, 40 (6) : 3253-3290. doi: 10.3934/dcds.2020124 [11] Feifei Cheng, Ji Li. Geometric singular perturbation analysis of Degasperis-Procesi equation with distributed delay. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 967-985. doi: 10.3934/dcds.2020305 [12] Franck Davhys Reval Langa, Morgan Pierre. A doubly splitting scheme for the Caginalp system with singular potentials and dynamic boundary conditions. Discrete & Continuous Dynamical Systems - S, 2021, 14 (2) : 653-676. doi: 10.3934/dcdss.2020353 [13] Shiqiu Fu, Kanishka Perera. On a class of semipositone problems with singular Trudinger-Moser nonlinearities. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020452 [14] Vieri Benci, Sunra Mosconi, Marco Squassina. Preface: Applications of mathematical analysis to problems in theoretical physics. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020446 [15] Susmita Sadhu. Complex oscillatory patterns near singular Hopf bifurcation in a two-timescale ecosystem. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020342 [16] Tong Peng. Designing prorated lifetime warranty strategy for high-value and durable products under two-dimensional warranty. Journal of Industrial & Management Optimization, 2021, 17 (2) : 953-970. doi: 10.3934/jimo.2020006 [17] Tetsuya Ishiwata, Young Chol Yang. Numerical and mathematical analysis of blow-up problems for a stochastic differential equation. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 909-918. doi: 10.3934/dcdss.2020391 [18] Anna Canale, Francesco Pappalardo, Ciro Tarantino. Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials. Communications on Pure & Applied Analysis, 2021, 20 (1) : 405-425. doi: 10.3934/cpaa.2020274 [19] Yi Zhou, Jianli Liu. The initial-boundary value problem on a strip for the equation of time-like extremal surfaces. Discrete & Continuous Dynamical Systems - A, 2009, 23 (1&2) : 381-397. doi: 10.3934/dcds.2009.23.381 [20] Mehdi Badsi. Collisional sheath solutions of a bi-species Vlasov-Poisson-Boltzmann boundary value problem. Kinetic & Related Models, 2021, 14 (1) : 149-174. doi: 10.3934/krm.2020052

Impact Factor: