# 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] Christos Sourdis. A Liouville theorem for ancient solutions to a semilinear heat equation and its elliptic counterpart. Electronic Research Archive, , () : -. doi: 10.3934/era.2021016 [2] Yunjuan Jin, Aifang Qu, Hairong Yuan. Radon measure solutions for steady compressible hypersonic-limit Euler flows passing cylindrically symmetric conical bodies. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2021048 [3] Elvise Berchio, Filippo Gazzola, Dario Pierotti. Nodal solutions to critical growth elliptic problems under Steklov boundary conditions. Communications on Pure & Applied Analysis, 2009, 8 (2) : 533-557. doi: 10.3934/cpaa.2009.8.533 [4] Arunima Bhattacharya, Micah Warren. $C^{2, \alpha}$ estimates for solutions to almost Linear elliptic equations. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2021024 [5] Meiqiang Feng, Yichen Zhang. Positive solutions of singular multiparameter p-Laplacian elliptic systems. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021083 [6] Lidan Wang, Lihe Wang, Chunqin Zhou. Classification of positive solutions for fully nonlinear elliptic equations in unbounded cylinders. Communications on Pure & Applied Analysis, 2021, 20 (3) : 1241-1261. doi: 10.3934/cpaa.2021019 [7] Peng Luo. Comparison theorem for diagonally quadratic BSDEs. Discrete & Continuous Dynamical Systems, 2021, 41 (6) : 2543-2557. doi: 10.3934/dcds.2020374 [8] A. Aghajani, S. F. Mottaghi. Regularity of extremal solutions of semilinaer fourth-order elliptic problems with general nonlinearities. Communications on Pure & Applied Analysis, 2018, 17 (3) : 887-898. doi: 10.3934/cpaa.2018044 [9] Claudianor O. Alves, César T. Ledesma. Multiplicity of solutions for a class of fractional elliptic problems with critical exponential growth and nonlocal Neumann condition. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2021058 [10] Vassili Gelfreich, Carles Simó. High-precision computations of divergent asymptotic series and homoclinic phenomena. Discrete & Continuous Dynamical Systems - B, 2008, 10 (2&3, September) : 511-536. doi: 10.3934/dcdsb.2008.10.511 [11] Miguel R. Nuñez-Chávez. Controllability under positive constraints for quasilinear parabolic PDEs. Mathematical Control & Related Fields, 2021  doi: 10.3934/mcrf.2021024 [12] Krzysztof A. Krakowski, Luís Machado, Fátima Silva Leite. A unifying approach for rolling symmetric spaces. Journal of Geometric Mechanics, 2021, 13 (1) : 145-166. doi: 10.3934/jgm.2020016 [13] Fritz Gesztesy, Helge Holden, Johanna Michor, Gerald Teschl. The algebro-geometric initial value problem for the Ablowitz-Ladik hierarchy. Discrete & Continuous Dynamical Systems, 2010, 26 (1) : 151-196. doi: 10.3934/dcds.2010.26.151 [14] Annalisa Cesaroni, Valerio Pagliari. Convergence of nonlocal geometric flows to anisotropic mean curvature motion. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021065 [15] Filippo Giuliani. Transfers of energy through fast diffusion channels in some resonant PDEs on the circle. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021068 [16] Y. Latushkin, B. Layton. The optimal gap condition for invariant manifolds. Discrete & Continuous Dynamical Systems, 1999, 5 (2) : 233-268. doi: 10.3934/dcds.1999.5.233 [17] Isabeau Birindelli, Françoise Demengel, Fabiana Leoni. Boundary asymptotics of the ergodic functions associated with fully nonlinear operators through a Liouville type theorem. Discrete & Continuous Dynamical Systems, 2021, 41 (7) : 3021-3029. doi: 10.3934/dcds.2020395 [18] Pablo D. Carrasco, Túlio Vales. A symmetric Random Walk defined by the time-one map of a geodesic flow. Discrete & Continuous Dynamical Systems, 2021, 41 (6) : 2891-2905. doi: 10.3934/dcds.2020390 [19] Zehui Jia, Xue Gao, Xingju Cai, Deren Han. The convergence rate analysis of the symmetric ADMM for the nonconvex separable optimization problems. Journal of Industrial & Management Optimization, 2021, 17 (4) : 1943-1971. doi: 10.3934/jimo.2020053 [20] Reza Mazrooei-Sebdani, Zahra Yousefi. The coupled 1:2 resonance in a symmetric case and parametric amplification model. Discrete & Continuous Dynamical Systems - B, 2021, 26 (7) : 3737-3765. doi: 10.3934/dcdsb.2020255

Impact Factor: