BZPEER

preprint2020arXiv

Stability of Current Density Impedance Imaging

We study stability of reconstruction in current density impedance imaging (CDII), that is, the inverse problem of recovering the conductivity of a body from the measurement of the magnitude of the current density vector field in the interior of the object. Our results show that CDII is stable with respect to errors in interior measurements of the current density vector field, and confirm the stability of reconstruction which was previously observed in numerical simulations, and was long believed to be the case.

preprint2016arXiv

Existence and structure of minimizers of least gradient problems

We study existence of minimizers of the general least gradient problem $\inf_{u \in BV_f} \int_Ωφ(x,Du),$ where $BV_f=\{u \in BV(Ω): \ \ u|_{\partial Ω}=f\}$ , $f\in L^{1}(\partial Ω)$ , and $φ(x,ξ)$ is convex, continuous, and homogeneous function of degree $1$ with respect to the $ξ$ variable. It is proven that there exists a divergence free vector field $T\in (L^{\infty}(Ω))^n$ that determines the structure of level sets of all (possible) minimizers, i.e. $T$ determines $\frac{Du}{|Du|}$ , $|Du|-$ a.e. in $Ω$ , for all minimizers $u$ . We also prove that every minimizer of the above least gradient problem is also a minimizer of $\inf_{u\in \mathcal{A}_f} \int_{\R^n}φ(x,Du),$ where $\mathcal{A}_f=\{v\in BV(\R^n): \ \ v=f \ \ \hbox{on}\ \ Ω^c\}$ and $f\in W^{1,1}(\R^n)$ is a compactly supported extension of $f\in L^1(\partial Ω)$ , and show that $T$ also determines the structure of level sets of all minimizers of the latter problem. This relationship between minimizers of the above two least gradient problems could be exploited to obtain information about existence and structure of minimizers of the former problem from that of the latter, which always exist.

preprint2016arXiv

Photo-acoustic tomography in a rotating measurement setting

Photo-acoustic tomography (PAT) aims to leverage the photo-acoustic coupling between optical absorption of light sources and ultrasound (US) emission to obtain high contrast reconstructions of optical parameters with the high resolution of sonic waves. Quantitative PAT often involves a two-step procedure: first the map of sonic emission is reconstructed from US boundary measurements; and second optical properties of biological tissues are evaluated. We consider here a practical measurement setting in which such a separation does not apply. We assume that the optical source and an array of ultrasonic transducers are mounted on a rotating frame (in two or three dimensions) so that the light source rotates at the same time as the US measurements are acquired. As a consequence, we no longer have the option to reconstruct a map of sonic emission corresponding to a given optical illumination. We propose here a framework where the two steps are combined into one and an absorption map is directly reconstructed from the available ultrasound measurements.

preprint2016arXiv

Symmetry of solutions of a mean field equation on flat tori

We study symmetry of solutions of the mean field equation $Δu +ρ(\frac{Ke^u}{\int_{T_ε} Ke^u} -\frac{1}{|T_ε|} )=0$ on the flat torus $T_ε=[-\frac{1}{2ε}, \frac{1}{2ε}] \times [-\frac{1}{2}, \frac{1}{2}]$ with $0<ε\leq 1$ , where $K\in C^2({T}_ε)$ is a positive function with $-Δ\ln K \leq \fracρ{|T_ε|}$ and $ρ\leq 8π$ . We prove that if $(x_0,y_0)$ is a critical point of the function $u+ln(K)$ , then $u$ is evenly symmetric about the lines $x=x_0$ and $y=y_0$ , provided $K$ is evenly symmetric about these lines. In particular we show that all solutions are one-dimensional if $K\equiv 1$ and $ρ\leq 8π$ . The results are sharp and answer a conjecture of Lin and Lucia affirmatively. We also prove some symmetry results for mean field equations on annulus.

preprint2016arXiv

The Sphere Covering Inequality and Its Applications

In this paper, we show that the total area of two distinct surfaces with Gaussian curvature equal to 1, which are also conformal to the Euclidean unit disk with the same conformal factor on the boundary, must be at least 4π. In other words, the areas of these surfaces must cover the whole unit sphere after a proper rearrangement. We refer to this lower bound of total area as the Sphere Covering Inequality. The inequality and its generalizations are applied to a number of open problems related to Moser- Trudinger type inequalities, mean field equations and Onsager vortices, etc, and yield optimal results.

preprint2014arXiv

Uniqueness of minimizers of weighted least gradient problems arising in conductivity imaging

We prove uniqueness for minimizers of the weighted least gradient problem $\inf \left\lbrace \int_Ω a|Du|: \ \ u\in BV(Ω), \ \ u|_{\partial Ω}=f \right\rbrace.$ The weight function $a$ is assumed to be continuous and it is allowed to vanish in certain subsets of $Ω$ . Existence is assumed a priori. Our approach is motivated by the hybrid inverse problem of imaging electric conductivity from interior knowledge (obtainable by MRI) of the magnitude of one current density vector field.

preprint2013arXiv

Current Density Impedance Imaging of an Anisotropic Conductivity in a Known Conformal Class

We present a procedure for recovering the conformal factor of an anisotropic conductivity matrix in a known conformal class in a domain in Euclidean space of dimension greater than or equal to 2. The method requires one internal measurement, together with a priori knowledge of the conformal class (local orientation) of the conductivity matrix. This problem arises in the coupled-physics medical imaging modality of Current Density Impedance Imaging (CDII) and the assumptions on the data are suitable for measurements determinable from cross-property based couplings of the two imaging modalities CDII and Diffusion Tensor Imaging (DTI). We show that the corresponding electric potential is the unique solution of a constrained minimization problem with respect to a weighted total variation functional defined in terms of the physical data. Further, we show that the associated equipotential surfaces are area minimizing with respect to a Riemannian metric obtained from the data. The results are also extended to allow the presence of perfectly conducting and/or insulating inclusions.

preprint2013arXiv

Existence and uniqueness of minimizers of general least gradient problems

Motivated by problems arising in conductivity imaging, we prove existence, uniqueness, and comparison theorems - under certain sharp conditions - for minimizers of the general least gradient problem $\inf_{u\in BV_f(Ω)} \int_Ωφ(x,Du),$ where $f:\partial Ω\to \R$ is continuous, \[ BV_f(Ω):=\{v\in BV(Ω): \ \ \forall x\in \partial Ω, \ \ \lim_{r\to 0} \ \esssup_{y\in Ω, |x-y|<r} |f(x) - v(y)| = 0 \ \} %BV_f(Ω)=\{u\in BV(Ω): {0.1cm} u|_{\partial Ω}=f {0.1cm} \hbox{and} {0.1cm} {0.1cm} u {0.1cm} \hbox{is continuous at} {0.1cm} \partial Ω\}. \] and $φ(x,ξ)$ is a function that, among other properties, is convex and homogeneous of degree 1 with respect to the $ξ$ variable. In particular we prove that if $a\in C^{1,1}(Ω)$ is bounded away from zero, then minimizers of the weighted least gradient problem $\inf_{u \in BV_f}\int_Ω a|Du|$ are unique in $BV_f(Ω)$ . We construct counterexamples to show that the regularity assumption $a\in C^{1,1}$ is sharp, in the sense that it can not be replaced by $a\in C^{1,α}(Ω)$ with any $α<1$ .

preprint2012arXiv

Functional Inequalities: New Perspectives and New Applications

This book is not meant to be another compendium of select inequalities, nor does it claim to contain the latest or the slickest ways of proving them. This project is rather an attempt at describing how most functional inequalities are not merely the byproduct of ingenious guess work by a few wizards among us, but are often manifestations of certain natural mathematical structures and physical phenomena. Our main goal here is to show how this point of view leads to "systematic" approaches for not just proving the most basic functional inequalities, but also for understanding and improving them, and for devising new ones - sometimes at will, and often on demand.

preprint2012arXiv

Radial Symmetry of Large Solutions of Semilinear Elliptic Equations with Convection

We study radial symmetry of large solutions of the semi-linear elliptic problem Δu + \nabla h.\nabla u = f(|x|,u), and we provide sharp conditions under which the problem has a radial solution. The result is independent of the rate of growth of the solution at infinity.

preprint2011arXiv

A convergent algorithm for the hybrid problem of reconstructing conductivity from minimal interior data

We consider the hybrid problem of reconstructing the isotropic electric conductivity of a body $Ω$ from interior Current Density Imaging data obtainable using MRI measurements. We only require knowledge of the magnitude $|J|$ of one current generated by a given voltage $f$ on the boundary $\partialΩ$ . As previously shown, the corresponding voltage potential u in $Ω$ is a minimizer of the weighted least gradient problem $u=\hbox{argmin} \{\int_Ωa(x)|\nabla u|: u \in H^{1}(Ω), \ \ u|_{\partial Ω}=f\},$ with $a(x)= |J(x)|$ . In this paper we present an alternating split Bregman algorithm for treating such least gradient problems, for $a\in L^2(Ω)$ non-negative and $f\in H^{1/2}(\partial Ω)$ . We give a detailed convergence proof by focusing to a large extent on the dual problem. This leads naturally to the alternating split Bregman algorithm. The dual problem also turns out to yield a novel method to recover the full vector field $J$ from knowledge of its magnitude, and of the voltage $f$ on the boundary. We then present several numerical experiments that illustrate the convergence behavior of the proposed algorithm.

preprint2011arXiv

Conductivity imaging from one interior measurement in the presence of perfectly conducting and insulating inclusions

We consider the problem of recovering an isotropic conductivity outside some perfectly conducting or insulating inclusions from the interior measurement of the magnitude of one current density field $|J|$ . We prove that the conductivity outside the inclusions, and the shape and position of the perfectly conducting and insulating inclusions are uniquely determined (except in an exceptional case) by the magnitude of the current generated by imposing a given boundary voltage. We have found an extension of the notion of admissibility to the case of possible presence of perfectly conducting and insulating inclusions. This also makes it possible to extend the results on uniqueness of the minimizers of the least gradient problem $F(u)=\int_Ωa|\nabla u|$ with $u|_{\partial Ω}=f$ to cases where $u$ has flat regions (is constant on open sets).

preprint2011arXiv

Convergence of the alternating split Bregman algorithm in infinite-dimensional Hilbert spaces

We prove results on weak convergence for the alternating split Bregman algorithm in infinite dimensional Hilbert spaces. We also show convergence of an approximate split Bregman algorithm, where errors are allowed at each step of the computation. To be able to treat the infinite dimensional case, our proofs focus mostly on the dual problem. We rely on Svaiter's theorem on weak convergence of the Douglas-Rachford splitting algorithm and on the relation between the alternating split Bregman and Douglas-Rachford splitting algorithms discovered by Setzer. Our motivation for this study is to provide a convergent algorithm for weighted least gradient problems arising in the hybrid method of imaging electric conductivity from interior knowledge (obtainable by MRI) of the magnitude of one current.

preprint2010arXiv

Isolated Singularities of Polyharmonic Inequalities

We study nonnegative classical solutions $u$ of the polyharmonic inequality $-Δ^m u > 0$ in a punctured neighborhood of the origin in $R^n$ . We give necessary and sufficient conditions on integers $n\ge 2$ and $m\ge 1$ such that these solutions $u$ satisfy a pointwise a priori bound as $x\to 0$ .

preprint2009arXiv

Optimal weighted Hardy-Rellich inequalities on $H^2\cap H^{1}_{0}$

We give necessary and sufficient conditions on a pair of positive radial functions $V$ and $W$ on a ball $B$ of radius $R$ in $R^{n}$ , $n \geq 1$ , so that the following inequalities hold \begin{equation*} \label{two} \hbox{ $\int_{B}V(x)|\nabla u |^{2}dx \geq \int_{B} W(x) u^{2}dx+b\int_{\partial B}u^2 ds$ for all u $\in H^1(B)$ ,} \end{equation*} and \begin{equation*} \label{two} \hbox{ $\int_{B}V(x)|Δu |^{2}dx \geq \int_{B} W(x)|\nabla u|^{2}dx+b\int_{\partial B}|\nabla u|^2 ds$ for all u $\in H^2(B)$ .} \end{equation*} Then we present various classes of optimal weighted Hardy-Rellich inequalities on $H^{2}\cap H^{1}_{0}$ . The proofs are based on decomposition into spherical harmonics. These types inequalities are important in the study of fourth order elliptic equations with Navier boundary condition and systems of second order elliptic equations.

preprint2009arXiv

The critical dimension for a 4th order problem with singular nonlinearity

We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$ . We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a "pull-in voltage" $\la^*>0$ such that a stable classical solution $u_\la$ with $0<u_\la<1$ exists for $\la\in (0,\la^*)$, while there is none of any kind when $\la>\la^*$. Our main result asserts that the extremal solution $u_{λ^*}$ is regular $(\sup_B u_{λ^*} <1)$ provided $N \le 8$ while $u_{λ^*}$ is singular ( $\sup_B u_{λ^*} =1$ ) for $N \ge 9$ , in which case $1-C_0|x|^{4/3}\leq u_{λ^*} (x) \leq 1-|x|^{4/3}$ on the unit ball, where $C_0:= (\frac{λ^*}{\overlineλ})^{1/3}$ and $\barλ:= {8/9} (N-{2/3}) (N- {8/3})$ .

Amir Moradifam

Research overview

Is this your work?

16 publications

Stability of Current Density Impedance Imaging

Existence and structure of minimizers of least gradient problems

Photo-acoustic tomography in a rotating measurement setting

Symmetry of solutions of a mean field equation on flat tori

The Sphere Covering Inequality and Its Applications

Uniqueness of minimizers of weighted least gradient problems arising in conductivity imaging

Current Density Impedance Imaging of an Anisotropic Conductivity in a Known Conformal Class

Existence and uniqueness of minimizers of general least gradient problems

Functional Inequalities: New Perspectives and New Applications

Radial Symmetry of Large Solutions of Semilinear Elliptic Equations with Convection

A convergent algorithm for the hybrid problem of reconstructing conductivity from minimal interior data

Conductivity imaging from one interior measurement in the presence of perfectly conducting and insulating inclusions

Convergence of the alternating split Bregman algorithm in infinite-dimensional Hilbert spaces

Isolated Singularities of Polyharmonic Inequalities

Optimal weighted Hardy-Rellich inequalities on $H^2\cap H^{1}_{0}$

The critical dimension for a 4th order problem with singular nonlinearity

See the researcher in context

Building this map preview

Amir Moradifam

Research overview

Is this your work?

16 publications

Stability of Current Density Impedance Imaging

Existence and structure of minimizers of least gradient problems

Photo-acoustic tomography in a rotating measurement setting

Symmetry of solutions of a mean field equation on flat tori

The Sphere Covering Inequality and Its Applications

Uniqueness of minimizers of weighted least gradient problems arising in conductivity imaging

Current Density Impedance Imaging of an Anisotropic Conductivity in a Known Conformal Class

Existence and uniqueness of minimizers of general least gradient problems

Functional Inequalities: New Perspectives and New Applications

Radial Symmetry of Large Solutions of Semilinear Elliptic Equations with Convection

A convergent algorithm for the hybrid problem of reconstructing conductivity from minimal interior data

Conductivity imaging from one interior measurement in the presence of perfectly conducting and insulating inclusions

Convergence of the alternating split Bregman algorithm in infinite-dimensional Hilbert spaces

Isolated Singularities of Polyharmonic Inequalities

Optimal weighted Hardy-Rellich inequalities on H2∩H01H^2\cap H^{1}_{0}H2∩H01​

The critical dimension for a 4th order problem with singular nonlinearity

See the researcher in context

Building this map preview

Optimal weighted Hardy-Rellich inequalities on $H^2\cap H^{1}_{0}$