Searcharxiv⌕ Search

arXiv subjects

Daniel Faraco

Publications and source records attributed to Daniel Faraco.

34 records · Page 2Linked to original sources
arXiv2018

Proof of Taylor's conjecture on magnetic helicity conservation

We prove Taylor's conjecture which says that in 3D MHD, magnetic helicity is conserved in the ideal limit in bounded, simply connected, perfectly conducting domains. When the domain is multiply connected, magnetic helicity depends on the vector potential of the magnetic field. In that setting we show that magnetic helicity is conserved for a large and natural class of vector potentials but not in general for all vector potentials. As an analogue of Taylor's conjecture in 2D, we show that mean square magnetic potential is conserved in the ideal limit, even in multiply connected domains.

math.AP↗
arXiv2018

Degraded mixing solutions for the Muskat problem

We prove the existence of infinitely many mixing solutions for the Muskat problem in the fully unstable regime displaying a linearly degraded macroscopic behaviour inside the mixing zone. In fact, we estimate the volume proportion of each fluid in every rectangle of the mixing zone. The proof is a refined version of the convex integration scheme presented in [DS10, Sze12] applied to the subsolution in [CCF16]. More generally, we obtain a quantitative h-principle for a class of evolution equations which shows that, in terms of weak*-continuous quantities, a generic solution in a suitable metric space essentially behaves like the subsolution. This applies of course to linear quantities, and in the case of IPM to the power balance $\mathbf{P}$ (14) which is quadratic. As further applications of such quantitative h-principle we discuss the case of vortex sheet for the incompressible Euler equations.

math.AP↗
arXiv2018

Magnetic helicity and subsolutions in ideal MHD

We show that ideal 2D MHD does not possess weak solutions (or even subsolutions) with compact support in time and non-trivial magnetic field. We also show that the $Λ$-convex hull of ideal MHD has empty interior in both 2D and 3D; this is seen by finding suitable $Λ$-convex functions. As a consequence we show that mean-square magnetic potential is conserved in 2D by subsolutions and weak limits of solutions in the physically natural energy space $L^\infty_t L^2_x$, and in 3D we show the conservation of magnetic helicity by $L^3$-integrable subsolutions and weak limits of solutions. However, in 3D the $Λ$-convex hull is shown to be large enough that nontrivial smooth, compactly supported strict subsolutions exist.

math.AP↗
arXiv2017

Characterization for stability in planar conductivities

We find a complete characterization for sets of isotropic conductivities with stable recovery in the $L^2$ norm when the data of the Calderón Inverse Conductivity Problem is obtained in the boundary of a disk and the conductivities are constant in a neighborhood of its boundary. To obtain this result, we present minimal a priori assumptions which turn to be sufficient for sets of conductivities to have stable recovery in a bounded and rough domain. The condition is presented in terms of the modulus of continuity of the coefficients involved and their ellipticity bound.

math.AP↗
arXiv2016

Manifolds of quasiconformal mappings and the nonlinear Beltrami equation

In this paper we show that the homeomorphic solutions to each nonlinear Beltrami equation $\partial_{\bar{z}} f = \mathcal{H}(z, \partial_{z} f)$ generate a two-dimensional manifold of quasiconformal mappings $\mathcal{F}_{\mathcal{H}} \subset W^{1,2}_{\mathrm{loc}}(\mathbb{C})$. Moreover, we show that under regularity assumptions on $\mathcal{H}$, the manifold $\mathcal{F}_{\mathcal{H}}$ defines the structure function $\mathcal{H}$ uniquely.

math.CV↗
arXiv2016

Sufficient conditions for the existence of limiting Carleman weights

In https://arxiv.org/abs/1411.4887, we found some necessary conditions for a Riemannian manifold to admit a local limiting Carleman weight (LCW), based upon the Cotton-York tensor in dimension $3$ and the Weyl tensor in dimension $4$. In this paper, we find further necessary conditions for the existence of local LCWs that are often sufficient. For a manifold of dimension $3$ or $4$, we classify the possible Cotton-York, or Weyl tensors, and provide a mechanism to find out whether the manifold admits local LCW for each type of tensor. In particular, we show that a product of two surfaces admits a LCW if and only if at least one of the two surfaces is of revolution. This provides an example of a manifold satisfying the eigenflag condition of \cite{AFGR} but not admitting $LCW$.

math.AP↗
arXiv2016

Sobolev homeomorphisms with gradients of low rank via laminates

Let $Ω\subset \mathbb{R}^{n}$ be a bounded open set. Given $2\leq m\leq n$, we construct a convex function $ϕ:Ω\to \mathbb{R}$ whose gradient $f= \nabla ϕ$ is a Hölder continuous homeomorphism, $f$ is the identity on $\partial Ω$, the derivative $D f$ has rank $m-1$ a.e.\ in $Ω$ and $D f$ is in the weak $L^{m}$ space $L^{m,w}$. The proof is based on convex integration and staircase laminates.

math.CA↗
arXiv2015

Obstructions to the existence of limiting Carleman weights

We give a necessary condition for a Riemannian manifold to admit limiting Carleman weights in terms of the Weyl tensor (in dimensions 4 and higher) and the Cotton-York tensor in dimension 3. As an application we provide explicit examples of manifolds without limiting Carleman weights and show that the set of such metrics on a given manifold contains an open and dense set.

math.AP↗
arXiv2015

Rough Potential Recovery in the Plane

We reconstruct compactly supported potentials with only half a derivative in $L^2$ from the scattering amplitude at a fixed energy. For this we draw a connection between the recently introduced method of Bukhgeim, which uniquely determined the potential from the Dirichlet-to-Neumann map, and a question of Carleson regarding the convergence to initial data of solutions to time-dependent Schrödinger equations. We also provide examples of compactly supported potentials, with $s$ derivatives in $L^2$ for any $s<1/2$, which cannot be recovered by these means. Thus the recovery method has a different threshold in terms of regularity than the corresponding uniqueness result.

math.CA↗
arXiv2015

On Plancherel's identity for a two-dimensional scattering transform

We consider the $\overline{\partial}$-Dirac system that Ablowitz and Fokas used to transform the defocussing Davey-Stewartson system to a linear evolution equation. The nonlinear Plancherel identity for the associated scattering transform was established by Beals and Coifman for Schwartz functions. Sung extended the validity of the identity to functions belonging to $L^1(\mathbb{R}^2)\cap L^\infty(\mathbb{R}^2)$ and Brown to $L^2(\mathbb{R}^2)$-functions with sufficiently small norm. More recently, Perry extended to the weighted Sobolev space $H^{1,1}(\mathbb{R}^2)$ and here we extend to $H^{s,s}(\mathbb{R}^2)$ with $s\in(0,1)$.

math.CA↗
arXiv2013

G-Convergence, Dirichlet to Neumann maps and invisibility

We establish optimal conditions under which the G-convergence of linear elliptic operators implies the convergence of the corresponding Dirichlet to Neumann maps. As an application we show that the approximate cloaking isotropic materials from [ Greenleaf, A.; Kurylev, Y.; Lassas, M.; Uhlmann, G. Approximate quantum and acoustic cloaking. J. Spectr. Theory (2011), no. 1, 27--80.] are independent of the source.

math.AP↗
arXiv2007

Beltrami equations with coefficient in the Sobolev space $W^{1,p}$

We study the removable singularities for solutions to the Beltrami equation $\bar\partial f=μ\partial f$, assuming that the coefficient $μ$ lies on some Sobolev space $W^{1,p}$, $p\leq 2$. Our results are based on an extended version of the well known Weyl's lemma, asserting that distributional solutions are actually true solutions. Our main result is that quasiconformal mappings with compactly supported Beltrami coefficient $μ\in W^{1,2}$ preserve compact sets of $σ$-finite length and vanishing analytic capacity, even though they need not be bilipschitz.

math.AP↗