Radially Symmetric Initial Data

• Radially symmetric initial data are defined by their dependence solely on the radial distance from the origin, reducing the complexity of multi-dimensional PDEs.
• They enable the reduction of high-dimensional equations to more tractable one- or lower-dimensional systems through explicit treatment of boundary and compatibility conditions.
• This approach underpins advances in fluid dynamics, kinetic theory, and geometric analysis by enhancing stability, regularity, and the precision of analytic estimates.

Radially symmetric initial data refer to initial conditions for partial differential equations (PDEs) or dynamical systems in which physical fields or probability measures depend solely on the radial distance from a distinguished point, typically the origin. In $\mathbb{R}^d$, this symmetry is characterized by invariance under the action of the full orthogonal group $O(d)$, yielding data that are functions only of $r = |x|$. Radial symmetry imposes significant structural simplifications on the governing equations, enables reduction to lower-dimensional or tractable forms, and underpins many foundational results in hydrodynamics, kinetic theory, optimal transport, plasma physics, and geometric analysis.

1. Formal Definitions and Structural Properties

Radially symmetric initial data are formally defined as follows:

• Scalar fields: $f(x) = f_0(r)$ for some $f_0: [0,\infty)\to\mathbb{R}$, where $x\in\mathbb{R}^d$, $r=|x|$.
• Vector fields: $u(x) = u_0(r) \frac{x}{r}$, aligning the flow or field with the radial direction. For example, in the compressible Navier-Stokes and MHD systems on the two-dimensional ball $\Omega = \{x\in\mathbb{R}^2: |x|<R\}$, initial data typically satisfy $u(x,0) = u_0(r) \frac{x}{r}$ with $u_0(0)=0$ for regularity at the origin.
• Measures: A probability measure $\mu$ on $\mathbb{R}^d$ is radially symmetric if $\mu(MA) = \mu(A)$ for all Borel sets $A$ and all $M \in O(d)$. Such measures can be represented as the pushforward of a measure on $[0,\infty)$ via the modulus map.

Radial symmetry is preserved by many classes of evolution equations, ensuring that the solution remains radially symmetric for all $t>0$ when initialized with radially symmetric data.

2. Role in Governing Equations and Dimensional Reduction

Imposing radial symmetry on initial data enables direct reduction of high-dimensional PDEs to lower-dimensional or even one-dimensional systems, often with explicit source terms arising from the geometry:

• Fluid Dynamics: For the compressible Navier-Stokes equations with radially symmetric initial data in 2D balls, the equations reduce to

$$\begin{aligned} &\rho_t + (\rho u)_r + \frac{\rho u}{r} = 0, \ &(\rho u)_t + (\rho u^2)_r + \frac{\rho u^2}{r} + P_r = \left[(2\mu + \lambda(\rho))\left(u_r + \frac{u}{r}\right)\right]_r, \end{aligned}$$

with boundary conditions enforcing $u(0,t)=u(R,t)=0$ (Huang et al., 2023).

• Kinetic/Transport Equations: In the radially symmetric Boltzmann equation, the collision operator simplifies and admits a spectral-Laguerre decomposition in the radial variable (Glangetas et al., 2017, Li et al., 2017).
• Optimal Transport: The martingale optimal transport problem between radially symmetric marginals reduces to a family of one-dimensional problems along rays from the origin, with explicit formulas for minimizers (Lim, 2014).

The reduction often allows more powerful analytic and numerical methods, such as weighted Hardy inequalities, Sturm-Liouville theory, and ODE-based spectral solvers.

3. Regularity, Compatibility, and Boundary Conditions

Strong solvability and propagation of regularity for radially symmetric solutions rely heavily on precise compatibility and boundary conditions for the initial data:

• Fluid models: For global strong solutions to the Kazhikhov model in 2D, initial density $\rho_0 \in W^{1,q}(\Omega)$ with $q>2$ and velocity $u_0\in H^1(\Omega)$ suffice for global existence if the density-dependent bulk viscosity exponent $\beta>1$ and the pressure exponent $\gamma>1$ (Huang et al., 2023). Local-in-time theory requires higher regularity, $\rho_0, u_0 \in H^2(\Omega)$, and a non-vacuum condition $\inf_x\, \rho_0(x)>0$.
• Radial regularity at the origin: The absence of conical or physical singularities at $r=0$ necessitates even/odd expansion compatibility, e.g., $u_0(0)=0$, $\partial_r u_0(0)=0$ for velocity, and similar conditions for density and their derivatives (Lécureux-Mercier, 2013).
• Boundary conditions: In bounded domains (balls, annuli), Dirichlet conditions (e.g., $u(R,t)=0$) or vanishing flux/boundaries (for radiative/magnetic fields) are imposed at the outer boundary; regularity at $r=0$ is enforced at the center. For geodesic or gravitational settings, positivity and regularity constraints on the radial metric profiles or radius-dependent compactification are essential (Yoshino, 20 Jan 2025).

For entropy and measure-valued solutions, these conditions extend to ensuring transport balance across spherical surfaces and the origin (mass inflow/outflow, point-mass creation at $r=0$) (Nedeljkov et al., 2016).

4. Analytical and Dynamical Consequences

Radially symmetric initial data fundamentally alter both the analytic structure and the long-time dynamics of evolution equations:

• Existence and regularity enhancement: Reduction to the radial setting enables the use of sharp weighted Sobolev and Hardy-type inequalities. As shown for the compressible Navier-Stokes equations (Huang et al., 2023, Haspot, 2019), this leads to global-in-time strong or weak existence and, under suitable exponents, uniform-in-time bounds on the density.
• Instantaneous regularization: In compressible flow with density-dependent viscosity, radial symmetry ensures the vanishing of vorticity and reduces the effective velocity evolution to a damped transport equation. As a consequence, solutions with even discontinuous or "shocky" densities become instantaneously Lipschitz continuous in time (Haspot, 2019).
• Singularity and focusing: Under certain expanding/contracting radial initial conditions, the compressible Euler and Vlasov–Maxwell equations exhibit focusing phenomena, shock formation, and $L^{\infty}$ blowup at the origin, despite small $C^k$ initial norms (Cai et al., 2020, Zhang, 2022).
• Stability and monotonicity: For 2D incompressible Euler, monotone decreasing radially symmetric vorticity profiles are stationary and minimize the angular impulse, yielding $L^p+J_p$ stability bounds independent of support or $L^\infty$ size of the perturbation (Choi et al., 2021).

Radial symmetry also facilitates precise Riccati-type ODE arguments in nonlinear wave and gas dynamics, leading to sharp a priori estimates for Riemann invariants and detailed blowup/lifespan analysis (Lécureux-Mercier, 2013, Hidano et al., 2011).

5. Applications Across Mathematical Physics and Analysis

Radially symmetric initial data underpin results across a spectrum of nonlinear PDEs and applied mathematics:

• Hydrodynamics and MHD: Viscous compressible flows, compressible MHD with density-dependent viscosity, and radiation-coupled hydrodynamics show enhanced global existence, sharp decay, and dissipation properties under radial symmetry (Huang et al., 2023, Huang et al., 2023, Zhao et al., 2024).
• Kinetic theory: For non-cutoff spatially homogeneous Boltzmann equations, radial data allow explicit Hermite-Laguerre eigenfunction decompositions, reducing the multidimensional kinetic equation to a tractable ODE hierarchy (Glangetas et al., 2017, Li et al., 2017).
• Optimal transport: In arbitrary dimensions, optimal martingale transport with radially symmetric marginals admits a unique optimizer with explicit two-point support structure along rays (Lim, 2014).
• Geometric general relativity: Time-symmetric initial data for black string/Kaluza-Klein bubble spacetimes require full radial/rotational symmetry for explicit, regular families of solutions (Yoshino, 20 Jan 2025).
• Supercritical dissipative systems and surface quasi-geostrophic equations: The enhanced decay and cancellation due to radial symmetry allow for global well-posedness for large radial initial data or small nonradial perturbations (Bulut et al., 2024).
• Ultra-relativistic fluid dynamics: High-resolution benchmarks for shock, rarefaction, and blowup in relativistic flows are most efficiently constructed from radially symmetric data (Kunik et al., 2024).

6. Influence on Stability, Uniqueness, and Benchmarking

The adoption of radially symmetric initial data has direct implications for stability, uniqueness, and computational benchmarking:

• Stability mechanisms: For radially symmetric, monotone profiles in fluid systems, energy-like quantities are monotone or conserved, yielding robustness against large, nonlocal perturbations in angular impulse or $L^p$ norms (Choi et al., 2021).
• Uniqueness and characterization: Radially symmetric martingale transport plans are uniquely characterized by their action on radial laws; for pressureless gas dynamics, uniqueness of shadow wave (delta-shock) solutions is ensured in the radial setting (Lim, 2014, Nedeljkov et al., 2016).
• Benchmarking for multidimensional codes: Explicit radial initial data generate high-accuracy 1D reference solutions for complex multi-dimensional hyperbolic solvers, enabling validation and refinement of adaptive mesh codes in extreme regimes, such as shock focusing and nonlinear reflection (Kunik et al., 2024).
• Lifespan and blowup: For nonlinear wave equations, radial initial data enable proofs of the Glassey conjecture with low regularity, demonstrating both global existence and sharp lifespan bounds at the scaling threshold (Hidano et al., 2011).

The use of radially symmetric initial data is thus foundational in both theoretical and computational advances in modern PDE analysis and mathematical physics.