We consider the statistical inverse problem of recovering a function $f: M \to \mathbb R$, where $M$ is a smooth compact Riemannian manifold with boundary, from measurements of general $X$-ray transforms $I_a(f)$ of $f$, corrupted by additive Gaussian noise. For $M$ equal to the unit disk with `flat' geometry and $a=0$ this reduces to the standard Radon transform, but our general setting allows for anisotropic media $M$ and can further model local `attenuation' effects -- both highly relevant in practical imaging problems such as SPECT tomography. We propose a nonparametric Bayesian inference approach based on standard Gaussian process priors for $f$. The posterior reconstruction of $f$ corresponds to a Tikhonov regulariser with a reproducing kernel Hilbert space norm penalty that does not require the calculation of the singular value decomposition of the forward operator $I_a$. We prove Bernstein-von Mises theorems that entail that posterior-based inferences such as credible sets are valid and optimal from a frequentist point of view for a large family of semi-parametric aspects of $f$. In particular we derive the asymptotic distribution of smooth linear functionals of the Tikhonov regulariser, which is shown to attain the semi-parametric Cramér-Rao information bound. The proofs rely on an invertibility result for the `Fisher information' operator $I_a^*I_a$ between suitable function spaces, a result of independent interest that relies on techniques from microlocal analysis. We illustrate the performance of the proposed method via simulations in various settings.

Aug 22 2017

math.AP arXiv:1708.06329v1

We introduce a notion of quasilinear parabolic equations over metric measure spaces. Under sharp structural conditions, we prove that local weak solutions are locally bounded and satisfy the parabolic Harnack inequality. Applications include the parabolic maximum principle and pointwise estimates for weak solutions.

In order to prove numerically the global existence and uniqueness of smooth solutions of a fourth order, nonlinear PDE, we derive rigorous a-posteriori upper bounds on the supremum of the numerical range of the linearized operator. These bounds also have to be easily computable in order to be applicable to our rigorous a-posteriori methods, as we use them in each time-step of the numerical discretization. The final goal is to establish global bounds on smooth local solutions, which then establish global uniqueness.

Aug 22 2017

math.AP arXiv:1708.06307v1

In this short note we provide a quantitative version of the classical Runge approximation property for second order elliptic operators. This relies on quantitative unique continuation results and duality arguments. We show that these estimates are essentially optimal. As a model application we provide a new proof of the result from \citeF07, \citeAK12 on stability for the Calderón problem with local data.

Aug 22 2017

math.AP arXiv:1708.06300v1

In this note we analyse \emphquantitative approximation properties of a certain class of \emphnonlocal equations: Viewing the fractional heat equation as a model problem, which involves both \emphlocal and \emphnonlocal pseudodifferential operators, we study quantitative approximation properties of solutions to it. First, relying on Runge type arguments, we give an alternative proof of certain \emphqualitative approximation results from \citeDSV16. Using propagation of smallness arguments, we then provide bounds on the \emphcost of approximate controllability and thus quantify the approximation properties of solutions to the fractional heat equation. Finally, we discuss generalizations of these results to a larger class of operators involving both local and nonlocal contributions.

Aug 22 2017

math.AP arXiv:1708.06294v1

The Calderón problem for the fractional Schrödinger equation was introduced in the work \citeGSU, which gave a global uniqueness result also in the partial data case. This article improves this result in two ways. First, we prove a quantitative uniqueness result showing that this inverse problem enjoys logarithmic stability under suitable a priori bounds. Second, we show that the results are valid for potentials in scale-invariant $L^p$ or negative order Sobolev spaces. A key point is a quantitative approximation property for solutions of fractional equations, obtained by combining a careful propagation of smallness analysis for the Caffarelli-Silvestre extension and a duality argument.

In this letter, two explicit self-similar solutions $\pm(T-t)\sqrt{1-(\frac{r}{T-t})^2}$ to a graph representation of time-like extremal hypersurfaces in Minkowski spacetime $\mathbb{R}^{1+3}$ are given. Meanwhile, there is an untable eigenvalue in the linearized time-like extremal hypersurfaces equation around two explicit self-similar solutions $\pm(T-t)\sqrt{1-(\frac{r}{T-t})^2}$.

Bifurcations of self-similar solutions for reversing interfaces are studied in the slow diffusion equation with strong absorption. The self-similar solutions bifurcate from the time-independent solutions for standing interfaces. We show that such bifurcations occur at the bifurcation points, at which the confluent hypergeometric functions satisfying Kummer's differential equation is truncated into a finite polynomial. A two-scale asymptotic method is employed to obtain the asymptotic dependencies of the self-similar reversing interfaces near the bifurcation points. The asymptotic results are shown to be in excellent agreement with numerical computations.

In this paper we obtain Sobolev estimates for weak solutions of first oder variational Mean Field Game systems with coupling terms that are local function of the density variable. Under some coercivity condition on the coupling, we obtain first order Sobolev estimates for the density variable, while under similar coercivity condition on the Hamiltonian we obtain second order Sobolev estimates for the value function. These results are valid both for stationary and time-dependent problems. In the latter case the estimates are fully global in time, thus we resolve a question which was left open in [PS17]. Our methods apply to a large class of Hamiltonians and coupling functions.

Aug 22 2017

math.AP arXiv:1708.06180v1

In this paper, hypocoercivity methods are applied to linear kinetic equations with mass conservation and without confinement, in order to prove that the long-time behavior has algebraic decay as in the case of the heat equation. Two alternative approaches are developed: an analysis based on decoupled Fourier modes and a direct approach where, instead of the Poincaré inequality for the Dirichlet form, Nash's inequality is employed. The first approach is also used to provide a proof of exponential decay to equilibrium on the flat torus. The results are obtained on a space with exponential weights and then extended to larger function spaces by a factorization method. The optimality of the rates is discussed. Algebraic rates of decay on the whole space are also improved when the initial datum has zero average.

Aug 22 2017

math.AP arXiv:1708.06172v1

In this paper, we prove the global existence of small smooth solutions to the three-dimensional incompressible Oldroyd-B model without damping on the stress tensor. The main difficulty is the lack of full dissipation in stress tensor. To overcome it, we construct some time-weighted energies based on the special coupled structure of system. Such type energies show the partial dissipation of stress tensor and the strongly full dissipation of velocity. In the view of treating "nonlinear term" as a "linear term", we also apply this result to 3D incompressible viscoelastic system with Hookean elasticity and then prove the global existence of small solutions without the physical assumption (div-curl structure) as previous works.

It is shown that globally positive solutions of a linear second order parabolic partial differential equation on a bounded domain, with Robin boundary conditions, are unique up to multiplication by a positive constant.

Aug 22 2017

math.AP arXiv:1708.06149v1

In this paper we study the asymptotic and qualitative properties of least energy radial sign-changing solutions of the fractional Brezis--Nirenberg problem ruled by the s-laplacian, in a ball of $\mathbb{R}^n$, when $s \in (0,1)$ and $n > 6s$. As usual, $\lambda$ is the (positive) parameter in the linear part in $u$, and we consider $\lambda$ close to zero. We prove that if such solutions vanish at the center of the ball then they vanish everywhere, we establish a bound on the number of sign-changes and, when $s$ is close to $1$, for a suitable value of the parameter $\lambda$ such solutions change sign exactly once. Moreover, for any $s \in (0,1)$ and $\lambda$ sufficiently small we prove that the number of connected components of the complement of the nodal set corresponds to the number of sign-changes plus one. In addition, for any $s \in (\frac{1}{2},1)$, we prove that least energy nodal solutions which change sign exactly once have the limit profile of a "tower of bubbles", as $\lambda \to 0^+$, i.e. the positive and negative parts concentrate at the same point (which is the center of the ball) with different concentration speeds.

In this paper, we prove the well-posedness and optimal regularity for the solution of stochastic evolution equations with Lipschitz-type coefficients driven by general multiplicative noises. To consider the well-posedness of the problem, the linear operator of the equations is only need to be a generator of a $C_0$-semigroup and the proposed noises are quite general, which include space-time white noise and rougher noises. When the linear operator generates an analytic semigroup, we derive the optimal spatial and trajectory regularity of the solution through a generalized criterion by factorization method.

We consider inverse curvature flows in warped product manifolds, which are constrained subject to local terms of lower order, namely the radial coordinate and the generalized support function. Under various assumptions we prove longtime existence and smooth convergence to a coordinate slice. We apply this result to deduce a new Minkowski type inequality in the anti-de-Sitter Schwarzschild manifolds and a weighted isoperimetric type inequality in the hyperbolic space.

Aug 22 2017

math.AP arXiv:1708.06099v1

This work is concerned with the study of fundamental models from nonlinear acoustics. In Part~I, a hierarchy of nonlinear damped wave equations arising in the description of sound propagation in thermoviscous fluids is deduced. In particular, a rigorous justification of two classical models, the Kuznetsov and Westervelt equations, retained as limiting systems for consistent initial data, is given. Numerical comparisons that confirm and complement the theoretical results are provided in Part~II.

We investigate the mean curvature flows in a class of warped product manifolds with closed hypersurfaces fibering over $\mathbb{R}$. In particular, we prove that under natural conditions on the warping function and Ricci curvature bound for the ambient space, there exists a large class of closed initial hypersurfaces, as geodesic graphs over the totally geodesic hypersurface $\Sigma$, such that the mean curvature flow starting from $S_0$ exists for all time and converges to $\Sigma$.

Aug 22 2017

math.AP arXiv:1708.05955v1

The purpose of this paper is to study the mixed Dirichlet-Neumann boundary value problem for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces on a bounded Lipschitz domain in ${\mathbb R}^3$, with $p$ in a neighborhood of $2$. This system is obtained by adding the semilinear term $|{\bf u}|{\bf u}$ to the linear Brinkman equation. First, we provide some results about equivalence between the Gagliardo and non-tangential traces, as well as between the weak canonical conormal derivatives and the non-tangential conormal derivatives. Various mapping and invertibility properties of some integral operators of potential theory for the linear Brinkman system, and well posedness results for the Dirichlet and Neumann problems in $L_p$-based Besov spaces on bounded Lipschitz domains in ${\mathbb R}^n$ ($n\geq 3$) are also presented. Then, employing integral potential operators, we show the well-posedness in $L_2$-based Sobolev spaces for the mixed problem of Dirichlet-Neumann type for the linear Brinkman system on a bounded Lipschitz domain in ${\mathbb R}^n$ $(n\geq 3)$. Further, by using some stability results of Fredholm and invertibility properties and exploring invertibility of the associated Neumann-to-Dirichlet operator, we extend the well-posedness property to some $L_p$-based Sobolev spaces. Next we use the well-posedness result in the linear case combined with a fixed point theorem in order to show the existence and uniqueness for a mixed boundary value problem of Dirichlet and Neumann type for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces, with $p\in (2-\varepsilon ,2+\varepsilon)$ and some parameter $\varepsilon >0$.

Aug 22 2017

math.AP arXiv:1708.05842v1

We study the "stiff pressure limit" of a nonlinear drift-diffusion equation, where the density is constrained to stay below the maximal value one. The challenge lies in the presence of a drift and the consequent lack of monotonicity in time. In the limit a Hele-Shaw-type free boundary problem emerges, which describes the evolution of the congested zone where density equals one. We discuss pointwise convergence of the densities as well as the $BV$ regularity of the limiting free boundary.

For a second order operator on a compact manifold satisfying the strong Hörmander condition, we give a bound for the spectral gap analogous to the Lichnerowicz estimate for the Laplacian of a Riemannian manifold. We consider a wide class of such operators which includes horizontal lifts of the Laplacian on Riemannian submersions with minimal leaves.

Aug 22 2017

math.AP arXiv:1708.05759v1

For the Novikov equation, on both the line and the circle, we construct a 2-peakon solution with an asymmetric antipeakon-peakon initial profile whose $H^s$-norm for $s<3/2$ is arbitrarily small. Immediately after the initial time, both the antipeakon and peakon move in the positive direction, and a collision occurs in arbitrarily small time. Moreover, at the collision time the $H^s$-norm of the solution becomes arbitrarily large when $5/4<s<3/2$, thus resulting in norm inflation and ill-posedness. However, when $s<5/4$, the solution at the collision time coincides with a second solitary antipeakon solution. This scenario thus results in nonuniqueness and ill-posedness. Finally, when $s=5/4$ ill-posedness follows either from a failure of convergence or a failure of uniqueness. Considering that the Novikov equation is well-posed for $s>3/2$, these results put together establish $3/2$ as the critical index of well-posedness for this equation. The case $s=3/2$ remains an open question.

Aug 22 2017

math.AP arXiv:1708.05754v1

This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $\lambda^2$ to the curve are bounded below by $e^{- C \lambda}$. In this article, the result is generalized to all real analytic Riemannian manifolds $(M, g)$ of any dimension $m$ without boundary. Moreover, a similar lower bound is given for the Hausdorff $m-2$ measure of the intersection of the nodal set with a good real analytic hypersurface. Most of the article is devoted to giving a dynamical or geometric control condition for `goodness' of a hypersurface. The conditions are that the hypersurface $H$ be asymmetric with respect to geodesics and that the flowout of the unit vectors with footpoint on $H$ have full measure in $S^*M. $ This gives a partial answer to a question of Bourgain-Rudnick of characterizing hypersurfaces $H$ on which a sequence of eigenfunctions vanishes. We show that under our conditions, a positive density sequence cannot vanish on $H$ or even have smaller $L^2$ norms than $e^{- C \lambda}$