AI & ML
Immersed Boundary Electrodiffusion in the Wasserstein Gradient Flow Formalism: Global Well-Posedness, Non-Equilibrium Thermodynamics, and Singular Asymptotics
arXiv cs.NA0 views
arXiv:2610.40942v1 Announce Type: cross Abstract: We introduce a unified optimal transport framework for the Immersed Boundary (IB) electrodiffusion active pump model. By representing membrane chemical potential barriers and active pump potentials via smoothed Eulerian kernels ($\Psi_w, \mathcal{H}_w$), we formulate the passive dynamics as an $L^2$-Wasserstein ($W_2$) gradient flow coupled to non-conservative active pushing fields representing ATP-driven $3:2$ $\text{Na}^+/\text{K}^+$ exchangers. We establish global weak existence of solutions to the continuous Poisson--Nernst--Planck--IB system via a split-step Jordan--Kinderlehrer--Otto (JKO) variational scheme, backed by Calder\'on--Zygmund bounds for non-local Poisson drift and $H^3(\mathbb{S}^1)$ interface regularity under Stokes flow. We prove the continuous Rayleighian energy balance and establish exponential $W_2$-stability of Non-Equilibrium Steady States (NESS) under a quantitative Bakry--\'Emery curvature threshold. Furthermore, we analyze the dual singular limits of kernel smoothing width $w \to 0$ and dimensionless Debye length $g = \lambda_D / L \to 0$. We establish the precise asymptotic regime connecting regularized and sharp models, prove the $\Gamma$-convergence of regularized energy functionals, derive distributional interface flux jump conditions, and resolve $O(\lambda_D)$ Debye space-charge boundary layers to confirm bulk electroneutrality.
Source:https://arxiv.org/abs/2610.40942PreviousAccurate structural identification for layered composite structures, through a wave and finite element schemeNextKernel-based Interpolatory Methods for Context Compression of Attention Mechanisms
Related posts
Stop Filing Invoices by Hand: How a Local AI Agent Reads, Classifies and Routes Business Documents
0dev.to
AI Agents Now Design & Run Robot Labs (Nature). The Molecules They Make Still Live on 2D Screens.
0dev.to AI
The Trade Journal: Every Decision Logged Against a Receipted Price, So the Record Survives the Argument
0dev.to AI
AEO (answer engine optimization)
0dev.to WebDev
How to tell if a video is a deepfake
0dev.to Security
Auditando una teoría física de tiempo cuantizado.
0dev.to Python