# American Institute of Mathematical Sciences

June & December  2018, 5(1&2): 61-80. doi: 10.3934/jcd.2018003

## Computer-assisted proofs for radially symmetric solutions of PDEs

 1 MTA-SZTE Analysis and Stochastics Research Group, Bolyai Institute, University of Szeged, Aradi vértanúk tere 1, Szeged, Hungary, H-6720 2 VU Amsterdam, Department of Mathematics, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands 3 Université de Montréal, Département de Mathématiques et de Statistique, Pavillon André-Aisenstadt, 2920 chemin de la Tour, Montreal, QC, H3T 1J4, Canada 4 Bolyai Institute, University of Szeged, Aradi vértanúk tere 1, Szeged, Hungary, H-6720 5 McGill University, Department of Mathematics and Statistics, 805 Sherbrooke Street West, Montreal, QC, H3A 0B9, Canada 6 Simon Fraser University, Department of Mathematics, 8888 University Drive, Burnaby, BC, V5A 1S6, Canada

* Corresponding author: Jean-Philippe Lessard

Fund Project: The first, fourth and sixth authors were supported by the Hungarian Scientific Research Fund (NKFIH-OTKA), Grant No. K109782. The second author was supported in part by NWO-Vici grant 639.033.109. The fifth and the seventh authors were supported by NSERC.

We obtain radially symmetric solutions of some nonlinear (geometric) partial differential equations via a rigorous computer-assisted method. We introduce all main ideas through examples, accessible to non-experts. The proofs are obtained by solving for the coefficients of the Taylor series of the solutions in a Banach space of geometrically decaying sequences. The tool that allows us to advance from numerical simulations to mathematical proofs is the Banach contraction theorem.

Citation: István Balázs, Jan Bouwe van den Berg, Julien Courtois, János Dudás, Jean-Philippe Lessard, Anett Vörös-Kiss, JF Williams, Xi Yuan Yin. Computer-assisted proofs for radially symmetric solutions of PDEs. Journal of Computational Dynamics, 2018, 5 (1&2) : 61-80. doi: 10.3934/jcd.2018003
##### References:

show all references

##### References:
(Left) Ten relative equilibria of (CR4BP) with equal masses. (Right) Eight relative equilibria of (CR4BP) with masses $m_1 = 0.9987451087$, $m_2 = 0.0010170039$ and $m_3 = 0.0002378873$. In both plots, some level sets of the effective potential $\Omega$ are depicted.
(Left) The first solution of (9) on the unit sphere $S^2 \subset \mathbb{R}^3$. (Right) The corresponding (numerical) solution of the BVP (11). Since $r_{\min}<10^{-8}$, the true solution lies with the line-width by Theorem 2.1.
The second solution of (9) on the unit sphere $S^2 \subset \mathbb{R}^3$. (Right) The corresponding (numerical) solution of the BVP (11).
(Left) The third solution of (9) on the unit sphere $S^2 \subset \mathbb{R}^3$. (Right) The corresponding (numerical) solution of the BVP (11).
Six solutions of (22) for $\lambda \in \{118.2,120,250,350,450,500\}$.
(Left) A stationary solution of the Swift-Hohenberg equation (20) on the unit ball in $\mathbb{R}^3$ at $\lambda = 500$. (Right) The corresponding graph of $u(s) = u(\sqrt{x^2+y^2+z^2})$.
 [1] Maxime Breden, Jean-Philippe Lessard. Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. Discrete & Continuous Dynamical Systems - B, 2018, 23 (7) : 2825-2858. doi: 10.3934/dcdsb.2018164 [2] Chiara Caracciolo, Ugo Locatelli. Computer-assisted estimates for Birkhoff normal forms. Journal of Computational Dynamics, 2020, 7 (2) : 425-460. doi: 10.3934/jcd.2020017 [3] A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete & Continuous Dynamical Systems - A, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721 [4] Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete & Continuous Dynamical Systems - A, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045 [5] Maciej J. Capiński, Emmanuel Fleurantin, J. D. Mireles James. Computer assisted proofs of two-dimensional attracting invariant tori for ODEs. Discrete & Continuous Dynamical Systems - A, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162 [6] Julián López-Gómez. Uniqueness of radially symmetric large solutions. Conference Publications, 2007, 2007 (Special) : 677-686. doi: 10.3934/proc.2007.2007.677 [7] Gábor Székelyhidi, Ben Weinkove. On a constant rank theorem for nonlinear elliptic PDEs. Discrete & Continuous Dynamical Systems - A, 2016, 36 (11) : 6523-6532. doi: 10.3934/dcds.2016081 [8] Chiara Corsato, Colette De Coster, Pierpaolo Omari. Radially symmetric solutions of an anisotropic mean curvature equation modeling the corneal shape. Conference Publications, 2015, 2015 (special) : 297-303. doi: 10.3934/proc.2015.0297 [9] Harunori Monobe. Behavior of radially symmetric solutions for a free boundary problem related to cell motility. Discrete & Continuous Dynamical Systems - S, 2015, 8 (5) : 989-997. doi: 10.3934/dcdss.2015.8.989 [10] Fabrizio Colombo, Irene Sabadini, Frank Sommen. The inverse Fueter mapping theorem. Communications on Pure & Applied Analysis, 2011, 10 (4) : 1165-1181. doi: 10.3934/cpaa.2011.10.1165 [11] Marco Ghimenti, A. M. Micheletti. Non degeneracy for solutions of singularly perturbed nonlinear elliptic problems on symmetric Riemannian manifolds. Communications on Pure & Applied Analysis, 2013, 12 (2) : 679-693. doi: 10.3934/cpaa.2013.12.679 [12] Antonio Vitolo. On the growth of positive entire solutions of elliptic PDEs and their gradients. Discrete & Continuous Dynamical Systems - S, 2014, 7 (6) : 1335-1346. doi: 10.3934/dcdss.2014.7.1335 [13] Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95 [14] Yukio Kan-On. Structure on the set of radially symmetric positive stationary solutions for a competition-diffusion system. Conference Publications, 2013, 2013 (special) : 427-436. doi: 10.3934/proc.2013.2013.427 [15] Thomas I. Vogel. Comments on radially symmetric liquid bridges with inflected profiles. Conference Publications, 2005, 2005 (Special) : 862-867. doi: 10.3934/proc.2005.2005.862 [16] Djédjé Sylvain Zézé, Michel Potier-Ferry, Yannick Tampango. Multi-point Taylor series to solve differential equations. Discrete & Continuous Dynamical Systems - S, 2019, 12 (6) : 1791-1806. doi: 10.3934/dcdss.2019118 [17] Richard D. Neidinger. Efficient recurrence relations for univariate and multivariate Taylor series coefficients. Conference Publications, 2013, 2013 (special) : 587-596. doi: 10.3934/proc.2013.2013.587 [18] Peter Giesl. Converse theorem on a global contraction metric for a periodic orbit. Discrete & Continuous Dynamical Systems - A, 2019, 39 (9) : 5339-5363. doi: 10.3934/dcds.2019218 [19] Henk Broer, Konstantinos Efstathiou, Olga Lukina. A geometric fractional monodromy theorem. Discrete & Continuous Dynamical Systems - S, 2010, 3 (4) : 517-532. doi: 10.3934/dcdss.2010.3.517 [20] Patrizia Pucci, Marco Rigoli. Entire solutions of singular elliptic inequalities on complete manifolds. Discrete & Continuous Dynamical Systems - A, 2008, 20 (1) : 115-137. doi: 10.3934/dcds.2008.20.115

Impact Factor: