-
Uniqueness of solutions to an elliptic inequality with rapid decay at infinity
Authors:
F. Golgeleyen,
O. Y. Imanuvilov,
M. Yamamoto
Abstract:
We consider an elliptic differential inequality: $\vert Δu(x) \vert \le C_0(\YYYY^{-γ}\vert u(x)\vert + \YYYY^{-θ}\vert \nabla u(x)\vert)$ in an exterior domain $\R^n \setminus \ooo{U}$, where $U$ is a simply connected bounded domain $U$, $x := (y,z) \in \R^n$ with $y \in \R^m$ and $z\in \R^{n-m}$ for given $m\in \{ 1, ..., n\}$, and $γ, θ\in \R$ are constants. We assume that $u(x)$ decays with ex…
▽ More
We consider an elliptic differential inequality: $\vert Δu(x) \vert \le C_0(\YYYY^{-γ}\vert u(x)\vert + \YYYY^{-θ}\vert \nabla u(x)\vert)$ in an exterior domain $\R^n \setminus \ooo{U}$, where $U$ is a simply connected bounded domain $U$, $x := (y,z) \in \R^n$ with $y \in \R^m$ and $z\in \R^{n-m}$ for given $m\in \{ 1, ..., n\}$, and $γ, θ\in \R$ are constants. We assume that $u(x)$ decays with exponential rate in the $y$-coordinates and polynomial rate in the $z$-coordinates as $\vert x\vert \to \infty$. We prove that if decay rates of $u$ satisfy certain conditions related to the constants $γ, θ\in \R$, then $u\equiv 0$ in $\UUUUU$. The key is a Carleman estimate with typical cut-off arguments.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Algebraic Approach for Orthomax Rotations
Authors:
Ryoya Fukasaku,
Michio Yamamoto,
Yutaro Kabata,
Yasuhiko Ikematsu,
Kei Hirose
Abstract:
In exploratory factor analysis, rotation techniques are employed to derive interpretable factor loading matrices. Factor rotations deal with equality-constrained optimization problems aimed at determining a loading matrix based on measure of simplicity, such as ``perfect simple structure'' and ``Thurstone simple structure.'' Numerous criteria have been proposed, since the concept of simple structu…
▽ More
In exploratory factor analysis, rotation techniques are employed to derive interpretable factor loading matrices. Factor rotations deal with equality-constrained optimization problems aimed at determining a loading matrix based on measure of simplicity, such as ``perfect simple structure'' and ``Thurstone simple structure.'' Numerous criteria have been proposed, since the concept of simple structure is fundamentally ambiguous and involves multiple distinct aspects. However, most rotation criteria may fail to consistently yield a simple structure that is optimal for analytical purposes, primarily due to two challenges. First, existing optimization techniques, including the gradient projection descent method, exhibit strong dependence on initial values and frequently become trapped in suboptimal local optima. Second, multifaceted nature of simple structure complicates the ability of any single criterion to ensure interpretability across all aspects. In certain cases, even when a global optimum is achieved, other rotations may exhibit simpler structures in specific aspects. To address these issues, obtaining all equality-constrained stationary points -- including both global and local optima -- is advantageous. Fortunately, many rotation criteria are expressed as algebraic functions, and the constraints in the optimization problems in factor rotations are formulated as algebraic equations. Therefore, we can employ computational algebra techniques that utilize operations within polynomial rings to derive exact all equality-constrained stationary points. Unlike existing optimization methods, the computational algebraic approach can determine global optima and all stationary points, independent of initial values. We conduct Monte Carlo simulations to examine the properties of the orthomax rotation criteria, which generalizes various orthogonal rotation methods.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Logarithmic evolutions on the incompressible Navier--Stokes flow
Authors:
Masakazu Yamamoto
Abstract:
Through the asymptotic expansion, large-time behavior of incompressible Navier--Stokes flow in $n$ dimensional whole space is drawn. In particular, the logarithmic evolution included in flow velocity is focused. When the components of velocity are ordered from major to minor according to the parabolic scale, logarithmically evolving components appear in a certain pattern. This work asserts that th…
▽ More
Through the asymptotic expansion, large-time behavior of incompressible Navier--Stokes flow in $n$ dimensional whole space is drawn. In particular, the logarithmic evolution included in flow velocity is focused. When the components of velocity are ordered from major to minor according to the parabolic scale, logarithmically evolving components appear in a certain pattern. This work asserts that this pattern varies depending on the evenness and oddness of the space dimension. In the preceding works, the expansion with $2n$th order was already derived. The assertion is derived by reexamining these works in detail.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
Uniqueness in determining multidimensional domains with unknown initial data
Authors:
Jone Apraiz,
Anna Doubova,
Enrique Fernández-Cara,
Masahiro Yamamoto
Abstract:
This paper addresses several geometric inverse problems for some linear parabolic systems where the initial data (and even the coefficients) are unknown. The goal is to identify a subdomain within a multidimensional set. The non-homogeneous part of the equation is expressed as a function of separate space and time variables. We establish uniqueness results by incorporating observations that can be…
▽ More
This paper addresses several geometric inverse problems for some linear parabolic systems where the initial data (and even the coefficients) are unknown. The goal is to identify a subdomain within a multidimensional set. The non-homogeneous part of the equation is expressed as a function of separate space and time variables. We establish uniqueness results by incorporating observations that can be on the boundary or in an interior domain. Through this process, we also derive information about the initial data. The main tools required for the proofs include unique continuation, time analyticity of the solutions and semigroup theory.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Initial boundary value problems for time-fractional evolution equations in Banach spaces
Authors:
Giuseppe Floridia,
Fikret Golgeleyen,
Masahiro Yamamoto
Abstract:
We consider an initial value problem for time-fractional evolution equation in Banach space $X$: $$ \pppa (u(t)-a) = Au(t) + F(t), \quad 0<t<T. \eqno{(*)} $$ Here $u: (0,T) \rrrr X$ is an $X$-valued function defined in $(0,T)$, and $a \in X$ is an initial value. The operator $A$ satisfies a decay condition of resolvent which is common as a generator of analytic semigroup, and in particular, we can…
▽ More
We consider an initial value problem for time-fractional evolution equation in Banach space $X$: $$ \pppa (u(t)-a) = Au(t) + F(t), \quad 0<t<T. \eqno{(*)} $$ Here $u: (0,T) \rrrr X$ is an $X$-valued function defined in $(0,T)$, and $a \in X$ is an initial value. The operator $A$ satisfies a decay condition of resolvent which is common as a generator of analytic semigroup, and in particular, we can treat a case $X=L^p(\OOO)$ over a bounded domain $\OOO$ and a uniform elliptic operator $A$ within our framework.
First we construct a solution operator $(a, F) \rrrr u$ by means of $X$-valued Laplace transform, and we establish the well-posedness of (*) in classes such as weak solution and strong solutions. We discuss also mild solutions local in time for semilinear time-fractional evolution equations. Finally we apply the result on the well-posedness to an inverse problem of determining an initial value and we establish the uniqueness for the inverse problem.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Comparison principles for the time-fractional diffusion equations with the Robin boundary conditions. Part II: Semilinear equations
Authors:
Yuri Luchko,
Masahiro Yamamoto
Abstract:
In this paper, we deal with analysis of the initial-boundary value problems for the semilinear time-fractional diffusion equations, while the case of the linear equations was considered in the first part of the present work. These equations contain uniformly elliptic spatial differential operators of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces…
▽ More
In this paper, we deal with analysis of the initial-boundary value problems for the semilinear time-fractional diffusion equations, while the case of the linear equations was considered in the first part of the present work. These equations contain uniformly elliptic spatial differential operators of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces as well as a semilinear term that depends on the spatial variable, the unknown function and its gradient. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditions. For these problems, we first prove uniqueness and existence of their solutions. Under some suitable conditions, we then show the non-negativity of the solutions and derive several comparison principles. We also apply the monotonicity method by upper and lower solutions to deduce some a priori estimates for solutions to the initial-boundary value problems for the semilinear time-fractional diffusion equations. Finally, we consider some initial-boundary value problems for systems of the linear and semilinear time-fractional diffusion equations and prove non-negativity of their solutions under the suitable conditions.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Parabolic-scalings on large-time behavior of the incompressible Navier--Stokes flow
Authors:
Masakazu Yamamoto
Abstract:
Through asymptotic expansion, the large-time behavior of incompressible Navier--Stokes flow in $n$-dimensional whole space is depicted. Especially, from their parabolic scalings, large-time behaviors of any terms on the expansion are clarified. The parabolic scalings also guarantee the uniqueness of the expansion. In the preceding work, the expansion with the $n$th order has already been derived.…
▽ More
Through asymptotic expansion, the large-time behavior of incompressible Navier--Stokes flow in $n$-dimensional whole space is depicted. Especially, from their parabolic scalings, large-time behaviors of any terms on the expansion are clarified. The parabolic scalings also guarantee the uniqueness of the expansion. In the preceding work, the expansion with the $n$th order has already been derived. They also predicted that the flow has some logarithmic evolutions in higher-order decay. In this paper, an asymptotic expansion with $2n$th order is presented. Furthermore, logarithmic evolutions are discovered.
△ Less
Submitted 5 May, 2025; v1 submitted 24 October, 2024;
originally announced October 2024.
-
Simultaneous uniqueness for a coefficient inverse problem in one-dimensional fractional diffusion equation from an interior point measurement
Authors:
Xiaohua Jing,
Zhiyuan Li,
Masahiro Yamamoto
Abstract:
This article is concerned with an inverse problem of simultaneously determining a spatially varying coefficient and a Robin coefficient for a one-dimensional fractional diffusion equation with a time-fractional derivative of order $α\in(0,1)$. We prove the uniqueness for the inverse problem by observation data at one interior point over a finite time interval, provided that a coefficient is known…
▽ More
This article is concerned with an inverse problem of simultaneously determining a spatially varying coefficient and a Robin coefficient for a one-dimensional fractional diffusion equation with a time-fractional derivative of order $α\in(0,1)$. We prove the uniqueness for the inverse problem by observation data at one interior point over a finite time interval, provided that a coefficient is known on a subinterval. Our proof is based on the uniqueness in the inverse spectracl problem for a Sturm-Liouville problem by means of the Weyl $m$-function and the spectral representation of the solution to an initial-boundary value problem for the fractional diffusion equation.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Inverse coefficient problem for one-dimensional evolution equation vanishing initial condition
Authors:
Oleg Y,
Imanuvilov,
Masahiro Yamamoto
Abstract:
We consider an inverse problem of determining a coefficient $p(x)$ of an evolution equation $σ\ppp_tu = a(x)\ppp_x^2u - p(x)u$ for $0<x<\ell$ and $0<t<T$, where $σ\in \C \setminus \{0\}$, $\ell>0$ and $T>0$ are arbitrarily given. Our main result is the uniqueness: by assuming that the zeros of initial value $b(x):= u(0,x)$ on $[0, \ell]$ is a finite set and each zero is of order one at most, if tw…
▽ More
We consider an inverse problem of determining a coefficient $p(x)$ of an evolution equation $σ\ppp_tu = a(x)\ppp_x^2u - p(x)u$ for $0<x<\ell$ and $0<t<T$, where $σ\in \C \setminus \{0\}$, $\ell>0$ and $T>0$ are arbitrarily given. Our main result is the uniqueness: by assuming that the zeros of initial value $b(x):= u(0,x)$ on $[0, \ell]$ is a finite set and each zero is of order one at most, if two solutions have the same Cauchy data at $x=0$ over $(0,T)$ and the same initial value $b(x)$, then the coefficient $p(x)$ is uniquely determined on $[0,\ell]$.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Inverse coefficient problems for one-dimensional time-fractional diffusion equations
Authors:
Oleg Imanuvilov,
Kazufumi Ito,
Masahiro Yamamoto
Abstract:
We prove the uniqueness in determining a spatially varying zeroth-order coefficient of a one-dimensional time-fractional diffusion equation by initial value and Cauchy data at one end point of the spatial interval.
We prove the uniqueness in determining a spatially varying zeroth-order coefficient of a one-dimensional time-fractional diffusion equation by initial value and Cauchy data at one end point of the spatial interval.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Determination of the flux terms in a time fractional viscoelastic equation
Authors:
Mohamed BenSalah,
Salih Tatar,
Suleyman Ulusoy,
Masahiro Yamamoto
Abstract:
In this paper, we study the flux identification problem for a nonlinear time-fractional viscoelastic equation with a general source function based on the boundary measurements. We prove that the direct problem is well-posed, i.e., the solution exists, unique and depends continuously on the heat flux. Then the Fréchet differentiability of the cost functional is proved. The Conjugate Gradient Algori…
▽ More
In this paper, we study the flux identification problem for a nonlinear time-fractional viscoelastic equation with a general source function based on the boundary measurements. We prove that the direct problem is well-posed, i.e., the solution exists, unique and depends continuously on the heat flux. Then the Fréchet differentiability of the cost functional is proved. The Conjugate Gradient Algorithm, based on the gradient formula for the cost functional, is proposed for numerical solution of the inverse flux problem. The numerical examples, both with noise-free and noisy data, provide a clear demonstration of the applicability and accuracy of the proposed method.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
One-dimensional coefficient inverse problems by transformation operators
Authors:
Oleg Imanuvilov,
Masahiro Yamamoto
Abstract:
We prove the uniqueness for an inverse problem of determining a matrix coefficient $P(x)$ of a system of evolution equations $σ\ppp_t u = \ppp_x^2 u(t,x) - P(x) u(t,x)$ for $0<x<\ell$ and $0<t<T$, where $\ell>0$ and $T>0$ are arbitrarily given. The uniqueness results assert that two solutions have the same Cauchy data at $x=0$ over $(0,T)$ and the same initial value or the final value which is pos…
▽ More
We prove the uniqueness for an inverse problem of determining a matrix coefficient $P(x)$ of a system of evolution equations $σ\ppp_t u = \ppp_x^2 u(t,x) - P(x) u(t,x)$ for $0<x<\ell$ and $0<t<T$, where $\ell>0$ and $T>0$ are arbitrarily given. The uniqueness results assert that two solutions have the same Cauchy data at $x=0$ over $(0,T)$ and the same initial value or the final value which is positive on $[0,\ell]$, then the zeroth-order coefficient is uniquely determined on $[0,\ell]$. The uniqueness for inverse coefficient problem for a system of evolution equations without boundary conditions over the whole boundary is an open problem even in the one-dimension in the case where only initial value is given as spatial data. Moreover, in the case of the zero initial condition, we prove the uniqueness in the half of the spatial interval.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Global and local existence of solutions for nonlinear systems of time-fractional diffusion equations
Authors:
Dian Feng,
Masahiro Yamamoto
Abstract:
In this paper, we consider initial-boundary value problems for two-component nonlinear systems of time-fractional diffusion equations with the homogeneous Neumann boundary condition and non-negative initial values. The main results are the existence of solutions global in time and the blow-up. Our approach involves the truncation of the nonlinear terms, which enables us to handle all local Lipschi…
▽ More
In this paper, we consider initial-boundary value problems for two-component nonlinear systems of time-fractional diffusion equations with the homogeneous Neumann boundary condition and non-negative initial values. The main results are the existence of solutions global in time and the blow-up. Our approach involves the truncation of the nonlinear terms, which enables us to handle all local Lipschitz continuous nonlinear terms, provided their sum is less than or equal to zero. By employing a comparison principle for the corresponding linear system, we establish also the non-negativity of the nonlinear system.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Stability of backward-in-time semilinear coupled parabolic systems
Authors:
S. E. Chorfi,
M. Yamamoto
Abstract:
We consider backward problems for semilinear coupled parabolic systems in bounded domains. We prove conditional stability estimates for linear and semilinear systems of strongly coupled parabolic equations involving general semilinearities. The proof of the stability estimates relies on a modified method by Carleman estimates incorporating the simple weight function $e^{λt}$ with a sufficiently la…
▽ More
We consider backward problems for semilinear coupled parabolic systems in bounded domains. We prove conditional stability estimates for linear and semilinear systems of strongly coupled parabolic equations involving general semilinearities. The proof of the stability estimates relies on a modified method by Carleman estimates incorporating the simple weight function $e^{λt}$ with a sufficiently large parameter $λ$.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Logarithmic convexity of non-symmetric time-fractional diffusion equations
Authors:
S. E. Chorfi,
L. Maniar,
M. Yamamoto
Abstract:
We consider a class of diffusion equations with the Caputo time-fractional derivative $\partial_t^αu=L u$ subject to the homogeneous Dirichlet boundary conditions. Here, we consider a fractional order $0<α< 1$ and a second-order operator $L$ which is elliptic and non-symmetric. In this paper, we show that the logarithmic convexity extends to this non-symmetric case provided that the drift coeffici…
▽ More
We consider a class of diffusion equations with the Caputo time-fractional derivative $\partial_t^αu=L u$ subject to the homogeneous Dirichlet boundary conditions. Here, we consider a fractional order $0<α< 1$ and a second-order operator $L$ which is elliptic and non-symmetric. In this paper, we show that the logarithmic convexity extends to this non-symmetric case provided that the drift coefficient is given by a gradient vector field. Next, we perform some numerical experiments to validate the theoretical results in both symmetric and non-symmetric cases. Finally, some conclusions and open problems will be mentioned.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Inverse problems for one-dimensional fluid-solid interaction models
Authors:
J. Apraiz,
A. Doubova,
E. Fernández-Cara,
M. Yamamoto
Abstract:
We consider a one-dimensional fluid-solid interaction model governed by the Burgers equation with a time varying interface. We discuss on the inverse problem of determining the shape of the interface from Dirichlet and Neumann data at one end point of the spatial interval. In particular, we establish uniqueness results and some conditional stability estimates. For the proofs, we use and adapt some…
▽ More
We consider a one-dimensional fluid-solid interaction model governed by the Burgers equation with a time varying interface. We discuss on the inverse problem of determining the shape of the interface from Dirichlet and Neumann data at one end point of the spatial interval. In particular, we establish uniqueness results and some conditional stability estimates. For the proofs, we use and adapt some lateral estimates that, in turn, rely on appropriate Carleman and interpolation inequalities.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Stability of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data
Authors:
Mourad Choulli,
Masahiro Yamamoto
Abstract:
We establish stability inequalities for the problem of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data. We study the case of complete spectral data as well as the case of partial spectral data.
We establish stability inequalities for the problem of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data. We study the case of complete spectral data as well as the case of partial spectral data.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Reconstruction of degenerate conductivity region for parabolic equations
Authors:
Piermarco Cannarsa,
Anna Doubova,
Masahiro Yamamoto
Abstract:
We consider an inverse problem of reconstructing a degeneracy point in the diffusion coefficient in a one-dimensional parabolic equation by measuring the normal derivative on one side of the domain boundary. We analyze the sensitivity of the inverse problem to the initial data. We give sufficient conditions on the initial data for uniqueness and stability for the one-point measurement and show som…
▽ More
We consider an inverse problem of reconstructing a degeneracy point in the diffusion coefficient in a one-dimensional parabolic equation by measuring the normal derivative on one side of the domain boundary. We analyze the sensitivity of the inverse problem to the initial data. We give sufficient conditions on the initial data for uniqueness and stability for the one-point measurement and show some examples of positive and negative results. On the other hand, we present more general uniqueness results, also for the identification of an initial data by measurements distributed over time. The proofs are based on an explicit form of the solution by means of Bessel functions of the first type. Finally, the theoretical results are supported by numerical experiments.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Determination of source terms and coefficients dependent on $n-1$ spatial variable of parabolic and Schrödinger equations
Authors:
Oleg Imanuvilov,
Masahiro Yamamoto
Abstract:
We establish the uniqueness in the determination of a source term or a coefficient of the zeroth order term of a second-order parabolic equation. Moreover we consider the determination of a potential of the Schrödinger equation. For a parabolic equation, an unknown source term and coefficient depend on the time and $n-1$ spatial variables. For the Schrödinger equation, we assume that a potential d…
▽ More
We establish the uniqueness in the determination of a source term or a coefficient of the zeroth order term of a second-order parabolic equation. Moreover we consider the determination of a potential of the Schrödinger equation. For a parabolic equation, an unknown source term and coefficient depend on the time and $n-1$ spatial variables. For the Schrödinger equation, we assume that a potential depends on $n-1$ spatial variables. The data are taken on a part of the boundary satisfying some geometric condition.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Blow-up for time-fractional diffusion equations with superlinear convex semilinear terms
Authors:
Xinchi Huang,
Yikan Liu,
Masahiro Yamamoto
Abstract:
This article is concerned with a semilinear time-fractional diffusion equation with a superlinear convex semilinear term in a bounded domain $Ω$ with the homogeneous Dirichlet, Neumann, Robin boundary conditions and non-negative and not identically vanishing initial value. The order of the fractional derivative in time is between $1$ and $0$, and the elliptic part is with time-independent coeffici…
▽ More
This article is concerned with a semilinear time-fractional diffusion equation with a superlinear convex semilinear term in a bounded domain $Ω$ with the homogeneous Dirichlet, Neumann, Robin boundary conditions and non-negative and not identically vanishing initial value. The order of the fractional derivative in time is between $1$ and $0$, and the elliptic part is with time-independent coefficients. We prove
(i) The solution with any initial value blow-up if the eigenvalue $λ_1$ of the elliptic operator with the minimum real part is non-positive.
(ii) Otherwise, the solution blows up if a weighted $L^1$-norm of initial value is greater than some critical value give by $λ_1$.
We provide upper estimates of the blow-up times. The key is a comparison principle for time-fractional ordinary differential equations.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Simultaneous determination of initial value and source term for time-fractional wave-diffusion equations
Authors:
Paola Loreti,
Daniela Sforza,
Masahiro Yamamoto
Abstract:
We consider initial boundary value problems for time fractional diffusion-wave equations: $$ d_t^α u = -Au + μ(t)f(x) $$ in a bounded domain where $μ(t)f(x)$ describes a source and $α\in (0,1) \cup (1,2)$, and $-A$ is a symmetric ellitpic operator with repect to the spatial variable $x$. We assume that $μ(t) = 0$ for $t > T$:some time and choose $T_2>T_1>T$. We prove the uniqueness in simultaneous…
▽ More
We consider initial boundary value problems for time fractional diffusion-wave equations: $$ d_t^α u = -Au + μ(t)f(x) $$ in a bounded domain where $μ(t)f(x)$ describes a source and $α\in (0,1) \cup (1,2)$, and $-A$ is a symmetric ellitpic operator with repect to the spatial variable $x$. We assume that $μ(t) = 0$ for $t > T$:some time and choose $T_2>T_1>T$. We prove the uniqueness in simultaneously determining $f$ in $Ω$, $μ$ in $(0,T)$, and initial values of $u$ by data $u\vert_{ω\times (T_1,T_2)}$, provided that the order $α$ does not belong to a countably infinite set in $(0,1) \cup (1,2)$ which is characterized by $μ$. The proof is based on the asymptotic behavior of the Mittag-Leffler functions.
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
Lipschitz stability for determination of states and inverse source problem for the mean field game equations
Authors:
Oleg Imanuvilov,
Hongyu Liu,
Masahiro Yamamoto
Abstract:
In a bounded domain $Ω\subset \mathbb{R}^d$ over time interval $(0,T)$, we consider mean field game equations whose principal coefficients depend on the time and state variables with a general Hamiltonian. We attach the non-zero Robin boundary condition. We first prove the Lipschitz stability in $Ω\times (\varepsilon, T-\varepsilon)$ with given $\varepsilon>0$ for the determination of the solution…
▽ More
In a bounded domain $Ω\subset \mathbb{R}^d$ over time interval $(0,T)$, we consider mean field game equations whose principal coefficients depend on the time and state variables with a general Hamiltonian. We attach the non-zero Robin boundary condition. We first prove the Lipschitz stability in $Ω\times (\varepsilon, T-\varepsilon)$ with given $\varepsilon>0$ for the determination of the solutions by Dirichlet data on arbitrarily chosen subboundary of $\partialΩ$. Next we prove the Lipschitz stability for an inverse problem of determining spatially varying factors of source terms and a coefficient by extra boundary data and spatial data at an intermediate time.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Global Lipschitz stability for an inverse coefficient problem for a mean field game system
Authors:
Oleg Imanuvilov,
Masahiro Yamamoto
Abstract:
For an inverse coefficient problem of determining a state-varying factor in the corresponding Hamiltonian for a mean field game system, we prove the global Lipschitz stability by spatial data of one component and interior data in an arbitrarily chosen subdomain over a time interval. The proof is based on Carleman estimates with different norms.
For an inverse coefficient problem of determining a state-varying factor in the corresponding Hamiltonian for a mean field game system, we prove the global Lipschitz stability by spatial data of one component and interior data in an arbitrarily chosen subdomain over a time interval. The proof is based on Carleman estimates with different norms.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
Harmonic Measures and Numerical Computation of Cauchy Problems for Laplace Equations
Authors:
Yu Chen,
Jin Cheng,
Shuai Lu,
Masahiro Yamamoto
Abstract:
It is well known that Cauchy problem for Laplace equations is an ill-posed problem in Hadamard's sense. Small deviations in Cauchy data may lead to large errors in the solutions. It is observed that if a bound is imposed on the solution, there exists a conditional stability estimate. This gives a reasonable way to construct stable algorithms. However, it is impossible to have good results at all p…
▽ More
It is well known that Cauchy problem for Laplace equations is an ill-posed problem in Hadamard's sense. Small deviations in Cauchy data may lead to large errors in the solutions. It is observed that if a bound is imposed on the solution, there exists a conditional stability estimate. This gives a reasonable way to construct stable algorithms. However, it is impossible to have good results at all points in the domain. Although numerical methods for Cauchy problems for Laplace equations have been widely studied for quite a long time, there are still some unclear points, for example, how to evaluate the numerical solutions, which means whether we can approximate the Cauchy data well and keep the bound of the solution, and at which points the numerical results are reliable? In this paper, we will prove the conditional stability estimate which is quantitatively related to harmonic measures. The harmonic measure can be used as an indicate function to pointwisely evaluate the numerical result, which further enables us to find a reliable subdomain where the local convergence rate is higher than a certain order.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Inverse parabolic problem with initial data by a single measurement
Authors:
Oleg Y. Imanuvilov,
M. Yamamoto
Abstract:
We consider initial boundary value problems with the homogeneous Neumann boundary condition. Given an initial value, we establish the uniqueness in determining a spatially varying coefficient of zeroth-order term by a single measurement of Dirichlet data on an arbitrarily chosen subboundary. The uniqueness holds in a subdomain where the initial value is positive, provided that it is sufficiently s…
▽ More
We consider initial boundary value problems with the homogeneous Neumann boundary condition. Given an initial value, we establish the uniqueness in determining a spatially varying coefficient of zeroth-order term by a single measurement of Dirichlet data on an arbitrarily chosen subboundary. The uniqueness holds in a subdomain where the initial value is positive, provided that it is sufficiently smooth which is specified by decay rates of the Fourier coefficients. The key idea is the reduction to an inverse elliptic problem and relies on elliptic Carleman estimates.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Unique continuation for a mean field game system
Authors:
Oleg Imanuvilov,
Hongyu Liu,
Masahiro Yamamoto
Abstract:
For a mean field game system, we prove the unique continuation which asserts that if Cauchy data are zero on arbitrarily chosen lateral subboundary, then the solution identically vanishes.
For a mean field game system, we prove the unique continuation which asserts that if Cauchy data are zero on arbitrarily chosen lateral subboundary, then the solution identically vanishes.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
Stability for backward problems in time for degenerate parabolic equations
Authors:
Piermarco Cannarsa,
Masahiro Yamamoto
Abstract:
For solution $u(x,t)$ to degenearte parabolic equations in a bounded domain $Ω$ with homogenous boundary condition, we consider backward problems in time: determine $u(\cdot,t_0)$ in $Ω$ by $u(\cdot,T)$, where $t$ is the time variable and $0\le t_0 < T$. Our main results are conditional stability under boundedness assumptions on $u(\cdot,0)$. The proof is based on a weighted $L^2$-estimate of $u$…
▽ More
For solution $u(x,t)$ to degenearte parabolic equations in a bounded domain $Ω$ with homogenous boundary condition, we consider backward problems in time: determine $u(\cdot,t_0)$ in $Ω$ by $u(\cdot,T)$, where $t$ is the time variable and $0\le t_0 < T$. Our main results are conditional stability under boundedness assumptions on $u(\cdot,0)$. The proof is based on a weighted $L^2$-estimate of $u$ whose weight depends only on $t$, which is an inequality of Carleman's type. Moreover our method is applied to semilinear degenerate parabolic equations.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
Comparison principles for the time-fractional diffusion equations with the Robin boundary conditions. Part I: Linear equations
Authors:
Yuri Luchko,
Masahiro Yamamoto
Abstract:
The main objective of this paper is analysis of the initial-boundary value problems for the linear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type time-fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditions. First…
▽ More
The main objective of this paper is analysis of the initial-boundary value problems for the linear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type time-fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditions. First we discuss the uniqueness and existence of solutions to these initial-boundary value problems. Under some suitable conditions on the problem data, we then prove positivity of the solutions. Based on these results, several comparison principles for the solutions to the initial-boundary value problems for the linear time-fractional diffusion equations are derived.
△ Less
Submitted 16 April, 2023;
originally announced April 2023.
-
Uniqueness of solution to boundary value problems for time-fractional wave equations
Authors:
Paola Loreti,
Daniela Sforza,
Masahiro Yamamoto
Abstract:
We consider an initial boundary value problem in a bounded domain $Ω$ over a time interval $(0, T)$ for a time-fractional wave equation where the order of the fractional time derivative is between $1$ and $2$ and the spatial elliptic operator has time-independent coefficients and is not necessarily symmetric. We prove that if for arbitrarily chosen subdomain $ω\subset Ω$ and $T>0$, a solution to t…
▽ More
We consider an initial boundary value problem in a bounded domain $Ω$ over a time interval $(0, T)$ for a time-fractional wave equation where the order of the fractional time derivative is between $1$ and $2$ and the spatial elliptic operator has time-independent coefficients and is not necessarily symmetric. We prove that if for arbitrarily chosen subdomain $ω\subset Ω$ and $T>0$, a solution to the problem vanishes in $ω\times (0,T)$, then $u=0$ in $Ω\times (0, T)$. The uniqueness does not require any geometric condition on $ω$.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
Lipschitz stability for determination of states and inverse source problem for the mean field game equations
Authors:
Oleg Imanuvilov,
Hongyu Liu,
Masahiro Yamamoto
Abstract:
We consider solutions satisfying the zero Neumann boundary condition and a linearized mean field game equation in $Ω\times (0,T)$ whose principal coefficients depend on the time and spatial variables with general Hamiltonian, where $Ω$ is a bounded domain in $\Bbb R^d$ and $(0,T)$ is the time interval. We first prove the Lipschitz stability in $Ω\times (\varepsilon, T-\varepsilon)$ with given…
▽ More
We consider solutions satisfying the zero Neumann boundary condition and a linearized mean field game equation in $Ω\times (0,T)$ whose principal coefficients depend on the time and spatial variables with general Hamiltonian, where $Ω$ is a bounded domain in $\Bbb R^d$ and $(0,T)$ is the time interval. We first prove the Lipschitz stability in $Ω\times (\varepsilon, T-\varepsilon)$ with given $\varepsilon>0$ for the determination of the solutions by Dirichlet data on arbitrarily chosen subboundary of $\partialΩ$. Next we prove the Lipschitz stability for an inverse problem of determining spatially varying factors of source terms and a coefficient by extra boundary data and spatial data at intermediate time.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Stability in determination of states for the mean field game equations
Authors:
Hongyu Liu,
Masahiro Yamamoto
Abstract:
We consider solutions satisfying the Neumann zero boundary condition and a linearized mean field game system in $Ω\times (0,T)$, where $Ω$ is a bounded domain in $\mathbb{R}^d$ and $(0,T)$ is the time interval. We prove two kinds of stability results in determining the solutions. The first is Hölder stability in time interval $(ε, T)$ with arbitrarily fixed $ε>0$ by data of solutions in…
▽ More
We consider solutions satisfying the Neumann zero boundary condition and a linearized mean field game system in $Ω\times (0,T)$, where $Ω$ is a bounded domain in $\mathbb{R}^d$ and $(0,T)$ is the time interval. We prove two kinds of stability results in determining the solutions. The first is Hölder stability in time interval $(ε, T)$ with arbitrarily fixed $ε>0$ by data of solutions in $Ω\times \{T\}$. The second is the Lipschitz stability in $Ω\times (ε, T-ε)$ by data of solutions in arbitrarily given subdomain of $Ω$ over $(0,T)$.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Homogenization and Inverse Problems for Fractional Diffusion Equations
Authors:
Atsushi Kawamoto,
Manabu Machida,
Masahiro Yamamoto
Abstract:
We consider the homogenization for time-fractional diffusion equations in a periodic structure and we derive the homogenized time-fractional diffusion equation. Then we discuss the determination of the constant diffusion coefficient by minimum data. Combining the results obtained above, we investigate the inverse problems of determining the diffusion coefficient for the homogenized equations from…
▽ More
We consider the homogenization for time-fractional diffusion equations in a periodic structure and we derive the homogenized time-fractional diffusion equation. Then we discuss the determination of the constant diffusion coefficient by minimum data. Combining the results obtained above, we investigate the inverse problems of determining the diffusion coefficient for the homogenized equations from the data in the periodic structure and vice versa, that is, we investigate the inverse problem of determining the diffusion coefficient for the periodic equations from the data in the homogenized structure.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Blowup in $L^1(Ω)$-norm and global existence for time-fractional diffusion equations with polynomial semilinear terms
Authors:
Giuseppe Floridia,
Yikan Liu,
Masahiro Yamamoto
Abstract:
This article is concerned with semilinear time-fractional diffusion equations with polynomial nonlinearity $u^p$ in a bounded domain $Ω$ with the homogeneous Neumann boundary condition and positive initial values. In the case of $p>1$, we prove the blowup of solutions $u(x,t)$ in the sense that $\|u(\,\cdot\,,t)\|_{L^1(Ω)}$ tends to $\infty$ as $t$ approaches some value, by using a comparison prin…
▽ More
This article is concerned with semilinear time-fractional diffusion equations with polynomial nonlinearity $u^p$ in a bounded domain $Ω$ with the homogeneous Neumann boundary condition and positive initial values. In the case of $p>1$, we prove the blowup of solutions $u(x,t)$ in the sense that $\|u(\,\cdot\,,t)\|_{L^1(Ω)}$ tends to $\infty$ as $t$ approaches some value, by using a comparison principle for the corresponding ordinary differential equations and constructing special lower solutions. Moreover, we provide an upper bound for the blowup time. In the case of $0<p<1$, we establish the global existence of solutions in time based on the Schauder fixed-point theorem.
△ Less
Submitted 8 January, 2024; v1 submitted 24 February, 2023;
originally announced February 2023.
-
Time evolution of the Navier-Stokes flow in far-field
Authors:
Masakazu Yamamoto
Abstract:
Asymptotic expansion in far-field for the incompressive Navier-Stokes flow are established. Under moment conditions on the initial vorticity, technique of renormalization together with Biot-Savard law derives an asymptotic expansion for the velocity with high-order. Especially scalings and large-time behaviors of the expansions are clarified. By employing them, time evolution of velocity in far-fi…
▽ More
Asymptotic expansion in far-field for the incompressive Navier-Stokes flow are established. Under moment conditions on the initial vorticity, technique of renormalization together with Biot-Savard law derives an asymptotic expansion for the velocity with high-order. Especially scalings and large-time behaviors of the expansions are clarified. By employing them, time evolution of velocity in far-field is drawn. As an appendix, asymptotic behavior of solutions as time variable tends to infinity is given.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Determination of a source term in Schrödinger equation with a data taken at final moment of observation
Authors:
O. Y. Imanuvilov,
M. Yamamoto
Abstract:
We establish the Lipshitz stability estimate in inverse problem of determination of a source term or zero order term in the Schrödinger equation with time-dependent coefficients under some non-trapping assumption. Based on this result we established the Lipshitz stability of the determination of a real-valued coefficient corresponding to zero-th order term in the Schrödinger equation.
We establish the Lipshitz stability estimate in inverse problem of determination of a source term or zero order term in the Schrödinger equation with time-dependent coefficients under some non-trapping assumption. Based on this result we established the Lipshitz stability of the determination of a real-valued coefficient corresponding to zero-th order term in the Schrödinger equation.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Sharp uniqueness and stability of solution for an inverse source problem for the Schrödinger equation
Authors:
Oleg Imanuvilov,
M. Yamamoto
Abstract:
The manuscript is concerned with uniqueness and stability for inverse source problem of determining spatially varying factor $f(x)$ of a source term given by $R(t)f(x)$ with suitable given $R(t)$ in the right hand side of the Schrödinger equation with time independent coefficients. In order to establish these results we provide a simple proof of a logarithmic conditional stability of the Cauchy pr…
▽ More
The manuscript is concerned with uniqueness and stability for inverse source problem of determining spatially varying factor $f(x)$ of a source term given by $R(t)f(x)$ with suitable given $R(t)$ in the right hand side of the Schrödinger equation with time independent coefficients. In order to establish these results we provide a simple proof of a logarithmic conditional stability of the Cauchy problem for the Schrödinger equation with time-independent coefficients and the zero Dirichlet boundary conditions on the whole boundary and a proof of uniqueness of solution to the Cauchy problem for the Schrödinger equation with data on an arbitrary small part of a lateral boundary. We do not assume any geometrical constraints on subboundary and a time interval is arbitrary. The key is an integral transform, with a kernel solving a null controllability problem for the 1-D Schrödinger, which changes a solution of the Schrödinger equation to a solution of an elliptic equation.
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
The backward problem for time fractional evolution equations
Authors:
S. E. Chorfi,
L. Maniar,
M. Yamamoto
Abstract:
In this paper, we consider the backward problem for fractional in time evolution equations $\partial_t^αu(t)= A u(t)$ with the Caputo derivative of order $0<α\le 1$, where $A$ is a self-adjoint and bounded above operator on a Hilbert space $H$. First, we extend the logarithmic convexity technique to the fractional framework by analyzing the properties of the Mittag-Leffler functions. Then we prove…
▽ More
In this paper, we consider the backward problem for fractional in time evolution equations $\partial_t^αu(t)= A u(t)$ with the Caputo derivative of order $0<α\le 1$, where $A$ is a self-adjoint and bounded above operator on a Hilbert space $H$. First, we extend the logarithmic convexity technique to the fractional framework by analyzing the properties of the Mittag-Leffler functions. Then we prove conditional stability estimates of Hölder type for initial conditions under a weaker norm of the final data. Finally, we give several applications to show the applicability of our abstract results.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Inverse parabolic problems by Carleman estimates with data taken initial or final time moment of observation
Authors:
O. Imanuvilov,
M. Yamamoto
Abstract:
We consider a parabolic equation in a bounded domain $\OOO$ over a time interval $(0,T)$ with the homogeneous Neumann boundary condition. We arbitrarily choose a subboundary $Γ\subset \ppp\OOO$. Then, we discuss an inverse problem of determining a zeroth-order spatially varying coefficient by extra data of solution $u$: $u\vert_{Γ\times (0,T)}$ and $u(\cdot,t_0)$ in $\OOO$ with $t_0=0$ or $t=T$. F…
▽ More
We consider a parabolic equation in a bounded domain $\OOO$ over a time interval $(0,T)$ with the homogeneous Neumann boundary condition. We arbitrarily choose a subboundary $Γ\subset \ppp\OOO$. Then, we discuss an inverse problem of determining a zeroth-order spatially varying coefficient by extra data of solution $u$: $u\vert_{Γ\times (0,T)}$ and $u(\cdot,t_0)$ in $\OOO$ with $t_0=0$ or $t=T$. First we establish a conditional Lipschitz stability estimate as well as the uniqueness for the case $t_0=T.$ Second, under additional condition for $Γ$, we prove the uniqueness for the case $t_0=0$. The second result adjusts the uniqueness by M.V. Klibanov (Inverse Problems {\bf 8} (1992) 575-596) to the inverse problem in a bounded domain $\OOO$. We modify his method which reduces the inverse parabolic problem to an inverse hyperbolic problem, and so even for the inverse parabolic problem, we have to assume conditions for the uniqueness for the corresponding inverse hyperbolic problem. Moreover we prove the uniqueness for some inverse source problem for a parabolic equation for $t_0=0$ without boundary condition on the whole $\ppp\OOO$.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Uniqueness of inverse source problems for time-fractional diffusion equations with singular functions in time
Authors:
Yikan Liu,
Masahiro Yamamoto
Abstract:
We consider a fractional diffusion equations of order $α\in(0,1)$ whose source term is singular in time: $(\partial_t^α+A)u(x,t)=μ(t)f(x)$, $(x,t)\inΩ\times(0,T)$, where $μ$ belongs to a Sobolev space of negative order. In inverse source problems of determining $f|_Ω$ by the data $u|_{ω\times(0,T)}$ with a given subdomain $ω\subsetΩ$ or $μ|_{(0,T)}$ by the data $u|_{\{x_0\}\times(0,T)}$ with a giv…
▽ More
We consider a fractional diffusion equations of order $α\in(0,1)$ whose source term is singular in time: $(\partial_t^α+A)u(x,t)=μ(t)f(x)$, $(x,t)\inΩ\times(0,T)$, where $μ$ belongs to a Sobolev space of negative order. In inverse source problems of determining $f|_Ω$ by the data $u|_{ω\times(0,T)}$ with a given subdomain $ω\subsetΩ$ or $μ|_{(0,T)}$ by the data $u|_{\{x_0\}\times(0,T)}$ with a given point $x_0\inΩ$, we prove the uniqueness by reducing to the case $μ\in L^2(0,T)$. The key is a transformation of a solution to an initial-boundary value problem with a regular function in time.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Comparison principles for the linear and semiliniar time-fractional diffusion equations with the Robin boundary condition
Authors:
Yuri Luchko,
Masahiro Yamamoto
Abstract:
The main objective of this paper is analysis of the initial-boundary value problems for the linear and semilinear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditio…
▽ More
The main objective of this paper is analysis of the initial-boundary value problems for the linear and semilinear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of the homogeneous Neumann or Robin conditions. First we deal with the uniqueness and existence of the solutions to these initial-boundary value problems. Then we show a positivity property for the solutions and derive the corresponding comparison principles. In the case of the semilinear time-fractional diffusion equation, we also apply the monotonicity method by upper and lower solutions. As an application of our results, we present some a priori estimates for solutions to the semilinear time-fractional diffusion equations.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Uniqueness for inverse source problems for fractional diffusion-wave equations by data during not acting time
Authors:
Masahiro Yamamoto
Abstract:
We consider fractional diffusion-wave equations with source term which is represented in a form of a product of a temporal function and a spatial function. We prove the uniqueness for inveres source problem of determining spatially varying factor by decay of data as the time tends to $\infty$, provided that the source does not work during the observations. Our main result asserts the uniqueness if…
▽ More
We consider fractional diffusion-wave equations with source term which is represented in a form of a product of a temporal function and a spatial function. We prove the uniqueness for inveres source problem of determining spatially varying factor by decay of data as the time tends to $\infty$, provided that the source does not work during the observations. Our main result asserts the uniqueness if data decay more rapidly than $\left(\frac{1}{t^p}\right)$ with any $p\in \N$ as $t\to\infty$. Date taken not from the initial time are realistic but the uniqueness was not known in general. The proof is based on the analyticity and the asymptotic behavior of a function generated by the solution.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Uniqueness of orders and parameters in multi-term time-fractional diffusion equations by short-time behavior
Authors:
Yikan Liu,
Masahiro Yamamoto
Abstract:
As the most significant difference from parabolic equations, long-time or short-time behavior of solutions to time-fractional evolution equations is dominated by the fractional orders, whose unique determination has been frequently investigated in literature. Unlike all the existing results, in this article we prove the uniqueness of orders and parameters (up to a multiplier for the latter) only b…
▽ More
As the most significant difference from parabolic equations, long-time or short-time behavior of solutions to time-fractional evolution equations is dominated by the fractional orders, whose unique determination has been frequently investigated in literature. Unlike all the existing results, in this article we prove the uniqueness of orders and parameters (up to a multiplier for the latter) only by principal terms of asymptotic expansions of solutions near $t=0$ at a single spatial point. Moreover, we discover special conditions on unknown initial values or source terms for the coincidence of observation data. As a byproduct, we can even conclude the uniqueness for initial values or source terms by the same data. The proof relies on the asymptotic expansion after taking the Laplace transform and the completeness of generalized eigenfunctions.
△ Less
Submitted 29 December, 2022; v1 submitted 5 June, 2022;
originally announced June 2022.
-
Well-posedness of initial-boundary value problem for time-fractional diffusion-wave equation with time-dependent coefficients
Authors:
Xinchi Huang,
Masahiro Yamamoto
Abstract:
We consider the well-posedness of the initial-boundary value problem for a time-fractional partial differential equation with the fractional order lying in (1,2]. For the case of time-dependent coefficients, it is difficult to give an explicit solution formula by the eigenfunction expansion method. In order to deal with the case of time-varying coefficients, we first show the unique existence and…
▽ More
We consider the well-posedness of the initial-boundary value problem for a time-fractional partial differential equation with the fractional order lying in (1,2]. For the case of time-dependent coefficients, it is difficult to give an explicit solution formula by the eigenfunction expansion method. In order to deal with the case of time-varying coefficients, we first show the unique existence and regularity of solution to a system of time-fractional ordinary differential equations. Then the unique existence of the weak solution to the time-fractional partial differential equation and improved regularity are derived by using the Galerkin method.
△ Less
Submitted 22 May, 2025; v1 submitted 20 March, 2022;
originally announced March 2022.
-
Fractional calculus and time-fractional differential equations: revisit and construction of a theory
Authors:
Masahiro Yamamoto
Abstract:
For fractional derivatives and time-fractional differential equations, we construct a framework on the basis of the operator theory in fractional Sobolev spaces. Our framework provides a feasible extension of the classical Caputo and the Riemann-Liouville derivatives within Sobolev spaces of fractional orders including negative ones. Our approach enables a unified treatment for fractional calculus…
▽ More
For fractional derivatives and time-fractional differential equations, we construct a framework on the basis of the operator theory in fractional Sobolev spaces. Our framework provides a feasible extension of the classical Caputo and the Riemann-Liouville derivatives within Sobolev spaces of fractional orders including negative ones. Our approach enables a unified treatment for fractional calculus and time-fractional differential equations. We formulate initial value problems for fractional ordinary differential equations and initial boundary value problems for fractional partial differential equations to prove the well-posedness and other properties.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Fractional derivatives and time-fractional ordinary differential equations in $L^p$-space
Authors:
Masahiro Yamamoto
Abstract:
We define fractional derivatives $\pppa$ in Sobolev spaces based on $L^p(0,T)$ by an operator theory, and characterize the domain of $\pppa$ in subspaces of the Sobolev-Slobodecki spaces $W^{α,p}(0,T)$. Moreover we define $\pppa u$ for $u\in L^p(0,T)$ in a sense of distribution. Then we discuss initial value problems for linear fractional ordinary differential equations by means of such $\pppa$ an…
▽ More
We define fractional derivatives $\pppa$ in Sobolev spaces based on $L^p(0,T)$ by an operator theory, and characterize the domain of $\pppa$ in subspaces of the Sobolev-Slobodecki spaces $W^{α,p}(0,T)$. Moreover we define $\pppa u$ for $u\in L^p(0,T)$ in a sense of distribution. Then we discuss initial value problems for linear fractional ordinary differential equations by means of such $\pppa$ and establish several results on the unique existence of solutions within specified classes according to the regularity of the coefficients and the non-homogeneous terms in the equations.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Inverse source problem for a one-dimensional time-fractional diffusion equation and unique continuation for weak solutions
Authors:
Zhiyuan Li,
Yikan Liu,
Masahiro Yamamoto
Abstract:
In this paper, we obtain the sharp uniqueness for an inverse $x$-source problem for a one-dimensional time-fractional diffusion equation with a zeroth-order term by the minimum possible lateral Cauchy data. The key ingredient is the unique continuation which holds for weak solutions.
In this paper, we obtain the sharp uniqueness for an inverse $x$-source problem for a one-dimensional time-fractional diffusion equation with a zeroth-order term by the minimum possible lateral Cauchy data. The key ingredient is the unique continuation which holds for weak solutions.
△ Less
Submitted 28 May, 2022; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Determination of source and initial values for acoustic equations with a time-fractional attenuation
Authors:
Xinchi Huang,
Yavar Kian,
Eric Soccorsi,
Masahiro Yamamoto
Abstract:
We consider the inverse problem of determining the initial states or the source term of a hyperbolic equation damped by some non-local time-fractional derivative. This framework is relevant to medical imaging such as thermoacoustic or photoacoustic tomography. We prove a stability estimate for each of these two problems, with the aid of a Carleman estimate specifically designed for the governing e…
▽ More
We consider the inverse problem of determining the initial states or the source term of a hyperbolic equation damped by some non-local time-fractional derivative. This framework is relevant to medical imaging such as thermoacoustic or photoacoustic tomography. We prove a stability estimate for each of these two problems, with the aid of a Carleman estimate specifically designed for the governing equation.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
A Carleman estimate and an energy method for a first-order symmetric hyperbolic system
Authors:
G. Floridia,
H. Takase,
M. Yamamoto
Abstract:
For a symmetric hyperbolic system of the first order, we prove a Carleman estimate under some positivity condition concerning the coefficient matrices. Next, applying the Carleman estimate, we prove an observability $L^2$-estimate for initial values by boundary data.
For a symmetric hyperbolic system of the first order, we prove a Carleman estimate under some positivity condition concerning the coefficient matrices. Next, applying the Carleman estimate, we prove an observability $L^2$-estimate for initial values by boundary data.
△ Less
Submitted 24 October, 2021;
originally announced October 2021.
-
Motion Planning of a Spin-Rolling Sphere on a Plane
Authors:
Seyed Amir Tafrishi,
Mikhail Svinin,
Motoji Yamamoto,
Yasuhisa Hirata
Abstract:
The paper deals with motion planning for a spin-rolling sphere when the sphere follows a straight path on a plane. Since the motion of the sphere is constrained by the straight line, the control of the sphere's spin motion is essential to converge to a desired configuration of the sphere. In this paper, we show a new geometric-based planning approach that is based on a full-state description of th…
▽ More
The paper deals with motion planning for a spin-rolling sphere when the sphere follows a straight path on a plane. Since the motion of the sphere is constrained by the straight line, the control of the sphere's spin motion is essential to converge to a desired configuration of the sphere. In this paper, we show a new geometric-based planning approach that is based on a full-state description of this nonlinear system. First, the problem statement of the motion planning is posed. Next, we develop a geometric controller implemented as a virtual surface by using the Darboux frame kinematics. This virtual surface generates arc-length-based inputs for controlling the trajectories of the sphere. Then, an iterative algorithm is designed to tune these inputs for the desired configurations. The feasibility of the proposed approach is verified by simulations.
△ Less
Submitted 16 November, 2021; v1 submitted 24 October, 2021;
originally announced October 2021.
-
Well-posedness and asymptotic estimate for a diffusion equation with time-fractional derivative
Authors:
Zhiyuan Li,
Xinchi Huang,
Masahiro Yamamoto
Abstract:
In this paper, we study the asymptotic estimate of solution for a mixed-order time-fractional diffusion equation in a bounded domain subject to the homogeneous Dirichlet boundary condition. Firstly, the unique existence and regularity estimates of solution to the initial-boundary value problem are considered. Then combined with some important properties, including a maximum principle for a time-fr…
▽ More
In this paper, we study the asymptotic estimate of solution for a mixed-order time-fractional diffusion equation in a bounded domain subject to the homogeneous Dirichlet boundary condition. Firstly, the unique existence and regularity estimates of solution to the initial-boundary value problem are considered. Then combined with some important properties, including a maximum principle for a time-fractional ordinary equation and a coercivity inequality for fractional derivatives, the energy method shows that the decay in time of the solution is dominated by the term $t^{-α}$ as $t\to\infty$.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
