Miraj Samarakkody

collaborators

3 papers

math.DG2026

Physics-Informed Neural Networks for Computing the Morse Index of the Critical Catenoid

Miraj Samarakkody

The Morse index of a free boundary minimal surface is encoded in its Jacobi-Steklov spectrum, and we test how faithfully a physics-informed neural network (PINN) reproduces that sp…

math.MG2026

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case

Miraj Samarakkody

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwi…

math.DG2024

Closed $p$ -Elastic Curves in Spheres of $L^{3}$

Alvaro Pampano, Miraj Samarakkody, Hung Tran

For every $p \in R$ , we study $p$ -elastic curves in the hyperbolic plane $H^{2}$ and in the de Sitter $2$ -space $H_{1}^{2}$ . We analyze the existence of closed $…

Physics-Informed Neural Networks for Computing the Morse Index of the Critical Catenoid

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case

Closed p-Elastic Curves in Spheres of L3

Closed $p$ -Elastic Curves in Spheres of $L^{3}$