Jacob Bedrossian

activity

20242026

most citedUniform Inviscid Damping and Inviscid Limit of the 2D Navier-Stokes equation with Navier Boundary Conditions

1 citations · 2 across the 9 of their papers we have counts for

collaborators

Showing 2026 · math.APShow all

3 papers · 2 filters

math.AP2026

Formalization of Landau damping in the Vlasov--Poisson equations in Lean

Jacob Bedrossian

We present a formalization in Lean 4 of Mouhot and Villani's theorem on nonlinear Landau damping in $T^{d}$ in all Gevrey regularity indices $s > 1/3$ for small backgrounds.

math.AP2026

Existence of solutions for a model of the Earth's magnetic field

Jacob Bedrossian, Tom Schang, Franziska Weber

We study a physically realistic, whole-core mathematical model of the dynamics in the Earth's core and we prove existence of Leray-Hopf type weak solutions to the model. Our model…

math.AP2026

Finite time singularities in the Landau equation with very hard potentials

Jacob Bedrossian, Jiajie Chen, Maria Pia Gualdani +3

We consider the inhomogeneous Landau equation with $γ \in (3, 2]$ and construct smooth, strictly positive initial data that develop a finite time singularity. The $C^{α}$ -norm o…