SearcharxivSearch

arXiv subjects

Shitao Liu

Publications and source records attributed to Shitao Liu.

11 recordsLinked to original sources

Radial Basis Operator Networks

Operator networks are designed to approximate nonlinear operators, which provide mappings between infinite-dimensional spaces such as function spaces. These networks are playing an increasingly important role in machine learning, with their most notable contributions in the field of scientific computing. Their significance stems from their ability to handle the type of data often encountered in scientific applications. For instance, in climate modeling or fluid dynamics, input data typically consists of discretized continuous fields (like temperature distributions or velocity fields). We introduce the radial basis operator network (RBON), which represents a significant advancement as the first operator network capable of learning an operator in both the time domain and frequency domain when adjusted to accept complex-valued inputs. Despite the small, single hidden-layer structure, the RBON boasts small $L^2$ relative test error for both in- and out-of-distribution data (OOD) of less than $1\times 10^{-7}$ in some benchmark cases. Moreover, the RBON maintains small error on OOD data from entirely different function classes from the training data.

cs.LG

Recovering All Coefficients in the Schrödinger Equation With Finite Sets of Boundary Measurements

We consider an inverse problem of recovering all spatial dependent coefficients in the time dependent Schrödinger equation defined on an open bounded domain in $\mathbb{R}^n$, $n\geq 2$, with smooth enough boundary. We show that by appropriately selecting a finite number of initial conditions and a fixed Dirichlet boundary condition, we may recover all the coefficients in a Lipschitz stable fashion from the corresponding finitely many boundary measurements made on a portion of the boundary. The proof is based on a direct approach, which was introduced in \cite{HIY2020}, to derive the stability estimate directly from the Carleman estimates without any cut-off procedure or compactness-uniqueness argument.

math.AP

An Inverse Hyperbolic Problem with Application to Joint Photoacoustic Parameter Determination

We consider an inverse problem of recovering a parameter appearing in all levels in a second-order hyperbolic equation from a single boundary measurement. The model is motivated from applications in photoacoustic tomography when one seeks to recover both the wave speed and the initial ultrasound pressure from a single ultrasound signal. In particular, our result shows that the ratio of the initial ultrasound pressure and the wave speed squared uniquely determines both of them respectively.

math.AP

Recover all Coefficients in Second-Order Hyperbolic Equations from Finite Sets of Boundary Measurements

We consider the inverse hyperbolic problem of recovering all spatial dependent coefficients, which are the wave speed, the damping coefficient, potential coefficient and gradient coefficient, in a second-order hyperbolic equation defined on an open bounded domain with smooth enough boundary. We show that by appropriately selecting finite pairs of initial conditions we can uniquely and Lipschitz stably recover all those coefficients from the corresponding boundary measurements of their solutions. The proofs are based on sharp Carleman estimate, continuous observability inequality and regularity theory for general second-order hyperbolic equations.

math.AP

Source Reconstruction and Stability via Boundary Control of Abstract Viscoelastic Systems

We study the inverse source problem for a class of viscoelastic systems from a single boundary measurement in a general spatial dimension. We give specific reconstruction formula and stability estimate for the source in terms of the boundary measurement. Our approaches rely on the exact boundary controllability of the corresponding viscoelastic systems for which we also provide a new proof based on a modification of the well-known moment method.

math.AP

An inverse boundary value problem for the magnetic Schrödinger operator with a bounded magnetic potential in a slab

We study an inverse boundary value problem with partial data in an infinite slab in $\mathbb{R}^{n}$, $n\geq 3$, for the magnetic Schrödinger operator with an $L^{\infty}$ magnetic potential and an $L^{\infty}$ electric potential. We show that the magnetic field and the electric potential can be uniquely determined, when the Dirichlet and Neumann data are given on either different boundary hyperplanes or on the same boundary hyperplanes of the slab. This generalizes the result in [11], where the same uniqueness result was established when the magnetic potential is Lipschitz continuous. The proof is based on the complex geometric optics solutions constructed in [14], which are special solutions to the magnetic Schrödinger equation with $L^{\infty}$ magnetic and electric potentials in a bounded domain.

math.AP

A Lipschitz stable reconstruction formula for the inverse problem for the wave equation

We consider the problem to reconstruct a wave speed $c \in C^\infty(M)$ in a domain $M \subset \R^n$ from acoustic boundary measurements modelled by the hyperbolic Dirichlet-to-Neumann map $Λ$. We introduce a reconstruction formula for $c$ that is based on the Boundary Control method and incorporates features also from the complex geometric optics solutions approach. Moreover, we show that the reconstruction formula is locally Lipschitz stable for a low frequency component of $c^{-2}$ under the assumption that the Riemannian manifold $(M, c^{-2} dx^2)$ has a strictly convex function with no critical points. That is, we show that for all bounded $C^2$ neighborhoods $U$ of $c$, there is a $C^1$ neighborhood $V$ of $c$ and constants $C, R > 0$ such that |\F\ll(\tilde c^{-2} - c^{-2}\rr)(ξ)| \le C e^{2R |ξ|} \norm{\tilde Λ- Λ}_*, \quad ξ\in \R^n, for all $\tilde c \in U \cap V$, where $\tilde Λ$ is the Dirichlet-to-Neumann map corresponding to the wave speed $\tilde c$ and $\norm{\cdot}_*$ is a norm capturing certain regularity properties of the Dirichlet-to-Neumann maps.

math.AP

Characterizations of dominated splitting system and its relation to hyperbolicity

Hyperbolicity and dominated splitting are two of the most important concepts in the global analysis of differentiable dynamics. In this paper we give several equivalent characterizations of the dominated splitting and in particular we show a criterion for dynamical systems being dominated splitting in terms of hyperbolicity.18 pages

math.DS

Global Uniqueness and Stability in Determining the Damping Coefficient of an Inverse Hyperbolic Problem with Non-Homogeneous Neumann B.C. through an Additional Dirichlet Boundary Trace

We consider a second-order hyperbolic equation on an open bounded domain $Ω$ in $\mathbb{R}^n$ for $n\geq2$, with $C^2$-boundary $Γ=\paΩ=\bar{Γ_0\cupΓ_1}$, $Γ_0\capΓ_1=\emptyset$, subject to non-homogeneous Neumann boundary conditions on the entire boundary $Γ$. We then study the inverse problem of determining the interior damping coefficient of the equation by means of an additional measurement of the Dirichlet boundary trace of the solution, in a suitable, explicit sub-portion $Γ_1$ of the boundary $Γ$, and over a computable time interval $T>0$. Under sharp conditions on the complementary part $Γ_0= Γ\backslashΓ_1$, $T>0$, and under weak regularity requirements on the data, we establish the two canonical results in inverse problems: (i) uniqueness and (ii) stability (at the $L^2$-level). The latter (ii) is the main result of the paper. Our proof relies on three main ingredients: (a) sharp Carleman estimates at the $H^1 \times L_2$-level for second-order hyperbolic equations \cite{L-T-Z.1}; (b) a correspondingly implied continuous observability inequality at the same energy level \cite{L-T-Z.1}; (c) sharp interior and boundary regularity theory for second-order hyperbolic equations with Neumann boundary data \cite{L-T.4}, \cite{L-T.5}, \cite{L-T.6}, \cite{Ta.3}. The proof of the linear uniqueness result (Section 4, step 5) also takes advantage of a convenient tactical route "post-Carleman estimates" suggested by V.Isakov in \cite[Thm.\,8.2.2, p.\,231]{Is.2}.

math.AP

Inverse Problem for a Structural Acoustic Interaction

In this work, we consider an inverse problem of determining a source term for a structural acoustic partial differentia equation (PDE) model, comprised of a two or three-dimensional interior acoustic wave equation coupled to a Kirchoff plate equation, with the coupling being accomplished across a boundary interface. For this PDE system, we obtain the uniqueness and stability estimate for the source term from a single measurement of boundary values of the "structure". The proof of uniqueness is based on Carleman estimate. Then, by means of an observability inequality and a compactness/uniqueness argument, we can get the stability result. Finally, an operator theoretic approach gives us the regularity needed for the initial conditions in order to get the desired stability estimate.

math.AP