arXiv subjects

Christopher Irving

Publications and source records attributed to Christopher Irving.

10 recordsLinked to original sources

arXiv2026

On the normal trace space of extended divergence-measure fields

We characterise the normal trace space associated to extended (measure-valued) divergence-measure fields on the boundary of a set $E \subset \mathbb R^n$, as the Arens-Eells space $\mathrm{AE}(\partial E)$. Such a trace operator is constructed for any Borel set $E$, and under a mild regularity condition, which includes Lipschitz domains, this trace operator is shown to moreover be surjective. This relies in part on a new pointwise description of the Anzellotti pairing $\overline{\nabla ϕ\cdot {\boldsymbol F}}$ between a $\mathrm{W}^{1,\infty}$ function $ϕ$ and extended divergence-measure field ${\boldsymbol F}$. As an application, we prove extension theorems for divergence-measure fields and divergence-free measures. Results for $\mathrm{L}^1$-fields are also obtained.

math.FA↗

arXiv2026

Admissibility criteria for normal traces and Cauchy fluxes

We compare notions of admissible surfaces for Cauchy fluxes, formulated as understanding when the normal trace of the underlying stress field can be represented by a measure. If this field is unbounded, the problem of admissibility is necessitated by the fact that the normal trace need not admit a measure representation on every regular surface, but only on ``almost all'' such surfaces. We compare an approach based on a precise majorant introduced by Šilhavý (Arch. Ration. Mech. Anal. 116.3 (1991)) with a Minkowski-type condition introduced by Chen, Torres and the first author (Arch. Ration. Mech. Anal. 249.6 (2025)) by showing that, under mild geometric conditions, the former condition implies the latter. We also show, by means of an explicit construction, that the latter admissibility condition can allow for arbitrary measure concentrations as a normal trace.

math.AP↗

arXiv2026

Partial regularity for $\mathscr{A}$-quasiconvex variational problems of linear growth

We prove that minimizers of variational integrals $$ \mathcal E(v)=\int_Ωf(v)\quad\text{for }v\in\mathcal M(Ω)\text{ such that } \mathscr{A} v=0, $$ are partially continuous provided that the integrands $f$ are strongly $\mathscr{A}$-quasiconvex in a suitable sense. We consider linear growth problems, linear PDE operators $\mathscr{A}$ of constant rank, and variations of the form $v+φ$ with $\mathscr{A}$-free $φ\in \mathrm{C}_{\mathrm{c}}^\infty(Ω)$. Our analysis also covers the ``potentials case'' $$ \mathcal F(u)=\int_Ωf( \mathscr{B} u)\quad\text{for } u\in\mathscr D'(Ω)\text{ such that }\mathscr B u\in \mathcal M(Ω), $$ where $\mathscr{B}$ is a different linear pde operator of constant rank. Both our main results extend to $x$-dependent integrands.

math.AP↗

arXiv2025

Universality of renormalisable mappings in two dimensions: the case of polar convex integrands

We establish universality of the renormalised energy for mappings from a planar domain to a compact manifold, by approximating subquadratic polar convex functionals of the form $\int_Ωf(|\mathrm{D} u|)\,\mathrm{d} x$. The analysis relies on the condition that the vortex map ${x}/{\lvert x\rvert}$ has finite energy and that $t\mapsto f (\sqrt{t})$ is concave. We derive the leading order asymptotics and provide a detailed description of the convergence of $\mathrm{W}^{1,1}$-almost minimisers, leading to a characterization of second-order asymptotics. At the core of the method, we prove a ball merging construction (following Jerrard and Sandier's approach) for a general class of convex integrands. We therefore generalize the approximation by $p$-harmonic mappings when $p\nearrow 2$ and can also cover linearly growing functionals, including those of area-type.

math.AP↗

arXiv2025

Partial regularity for minima of higher-order quasiconvex integrands with natural Orlicz growth

A partial regularity theorem is presented for minimisers of $k$th-order functionals subject to a quasiconvexity and general growth condition. We will assume a natural growth condition governed by an $N$-function satisfying the $Δ_2$ and $\nabla_2$ conditions, assuming no quantitative estimates on the second derivative of the integrand; this is new even in the $k = 1$ case. These results will also be extended to the case of strong local minimisers.

math.AP↗

arXiv2024

Extended Divergence-Measure Fields, the Gauss-Green Formula, and Cauchy Fluxes

We establish the Gauss-Green formula for extended divergence-measure fields (i.e., vector-valued measures whose distributional divergences are Radon measures) over open sets. We prove that, for almost every open set, the normal trace is a measure supported on the boundary of the set. Moreover, for any open set, we provide a representation of the normal trace of the field over the boundary of the open set as the limit of measure-valued normal traces over the boundaries of approximating sets. Furthermore, using this theory, we extend the balance law from classical continuum physics to a general framework in which the production on any open set is measured with a Radon measure and the associated Cauchy flux is bounded by a Radon measure concentrated on the boundary of the set. We prove that there exists an extended divergence-measure field such that the Cauchy flux can be recovered through the field, locally on almost every open set and globally on every open set. Our results generalize the classical Cauchy's Theorem (that is only valid for continuous vector fields) and extend the previous formulations of the Cauchy flux (that generate vector fields within $L^{p}$). Thereby, we establish the equivalence between entropy solutions of the multidimensional nonlinear partial differential equations of divergence form and of the mathematical formulation of physical balance laws via the Cauchy flux through the constitutive relations in the axiomatic foundation of Continuum Physics.

math.AP↗

arXiv2023

Boundary regularity results for minimisers of convex functionals with $(p,q)$-growth

We prove improved differentiability results for relaxed minimisers of vectorial convex functionals with $(p, q)$-growth, satisfying a Hölder-growth condition in $x$. We consider both Dirichlet and Neumann boundary data. In addition, we obtain a characterisation of regular boundary points for such minimisers. In particular, in case of homogeneous boundary conditions, this allows us to deduce partial boundary regularity of relaxed minimisers on smooth domains for radial integrands. We also obtain some partial boundary regularity results for non-homogeneous Neumann boundary conditions.

math.AP↗

arXiv2023

$\mathrm{BMO}$ $\varepsilon$-regularity results for solutions to Legendre-Hadamard elliptic systems

We will establish an $\varepsilon$-regularity result for weak solutions to Legendre-Hadamard elliptic systems, under the a-priori assumption that the gradient $\nabla u$ is small in $\mathrm{BMO}.$ Focusing on the case of Euler-Lagrange systems to simplify the exposition, regularity results will be obtained up to the boundary, and global consequences will be explored. Extensions to general quasilinear elliptic systems and higher-order integrands is also discussed.

math.AP↗

arXiv2022

$\mathcal{A}$-harmonic approximation and partial regularity, revisited

We give a direct harmonic approximation lemma for local minima of quasiconvex multiple integrals that entails their $\mathrm{C}^{1,α}$ or $\mathrm{C}^{\infty}$-partial regularity. Different from previous contributions, the method is fully direct and elementary, only hinging on the $\mathrm{L}^{p}$-theory for strongly elliptic linear systems and Sobolev's embedding theorem. Especially, no heavier tools such as Lipschitz truncations are required.

math.AP↗

arXiv2022

Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing

Influenced by the advances in data and computing, the scientific practice increasingly involves machine learning and artificial intelligence driven methods which requires specialized capabilities at the system-, science- and service-level in addition to the conventional large-capacity supercomputing approaches. The latest distributed architectures built around the composability of data-centric applications led to the emergence of a new ecosystem for container coordination and integration. However, there is still a divide between the application development pipelines of existing supercomputing environments, and these new dynamic environments that disaggregate fluid resource pools through accessible, portable and re-programmable interfaces. New approaches for dynamic composability of heterogeneous systems are needed to further advance the data-driven scientific practice for the purpose of more efficient computing and usable tools for specific scientific domains. In this paper, we present a novel approach for using composable systems in the intersection between scientific computing, artificial intelligence (AI), and remote sensing domain. We describe the architecture of a first working example of a composable infrastructure that federates Expanse, an NSF-funded supercomputer, with Nautilus, a Kubernetes-based GPU geo-distributed cluster. We also summarize a case study in wildfire modeling, that demonstrates the application of this new infrastructure in scientific workflows: a composed system that bridges the insights from edge sensing, AI and computing capabilities with a physics-driven simulation.

cs.DC↗