Showing 1–50 of 137 results for author: Yamamoto, M

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.

Comments: 27 pages

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.

MSC Class: 35R25; 35K58; 47J06

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.

Comments: 12 pages, 6 figures

MSC Class: 35R11; 35R30; 35R25

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.

MSC Class: 35R30

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.

MSC Class: 35; 35R30

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.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:2302.12724

MSC Class: 35R11; 35K58; 35B44

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.

MSC Class: 35R30; 35R11; 35R25

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.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.06673

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, ** 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.

MSC Class: 35

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.

Comments: arXiv admin note: substantial text overlap with arXiv:2208.04606

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.

Comments: 34 pages

MSC Class: 35R11; 35R30; 35B27; 26A33

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.

Comments: 18 pages

MSC Class: 35R11; 35K58; 35B44

Journal ref: Advances in Nonlinear Analysis, 12 (2023), No. 20230121 (15pp)

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.

Comments: 18 pages

MSC Class: 35Q30; 35B40; 35C20; 76C05

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-trap** 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-trap** 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.

MSC Class: 35R11; 35R30; 26A33

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.

MSC Class: 35R30

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.

Comments: 15 pages

Journal ref: Practical Inverse Problems and Their Prospects, Mathematics for Industry 37 (2023) 145-162

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.

Comments: 56 pages

MSC Class: 26A33 (primary); 35B30; 35L05; 35R11; 35R30; 45K05; 60E99

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.

MSC Class: 35R30; 35R11

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.

Comments: 23 pages

MSC Class: 35R30; 35R11; 58J99

Journal ref: Inverse Problems 39 (2023) 024003 (28pp)

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]. First, we show some results on the unique existence of solution to time-fractional ordinary differential equations. Then the unique existence of weak and strong solutions to a time-fractional partial differential equation is derived by u… ▽ 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]. First, we show some results on the unique existence of solution to time-fractional ordinary differential equations. Then the unique existence of weak and strong solutions to a time-fractional partial differential equation is derived by using the Galerkin method. △ Less

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.

MSC Class: 26A33; 34A08; 35R11; 34A12

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.

MSC Class: 26A33; 34A08; 34A12

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.

Comments: 24 pages

MSC Class: 35K20; 35R30; 35B53

Journal ref: Inverse Probl. Imaging 17 (2023) 1-22

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.

MSC Class: 35R30; 35L20

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.

Comments: 23 Pages, 16 figures, under review

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.

Comments: 27 pages

Determination of source terms in diffusion and wave equations by observations after incidents: uniqueness and stability

Authors: ** Cheng, Shuai Lu, Masahiro Yamamoto

Abstract: We consider a diffusion and a wave equations: $$ \partial_t^ku(x,t) = Δu(x,t) + μ(t)f(x), \quad x\in Ω, \, t>0, \quad k=1,2 $$ with the zero initial and boundary conditions, where $Ω\subset \mathbb{R}^d$ is a bounded domain. We establish uniqueness and/or stability results for inverse problems of 1. determining $μ(t)$, $0<t<T$ with given $f(x)$; 2. determining $f(x)$, $x\in Ω$ with given $μ(t)$ \e… ▽ More We consider a diffusion and a wave equations: $$ \partial_t^ku(x,t) = Δu(x,t) + μ(t)f(x), \quad x\in Ω, \, t>0, \quad k=1,2 $$ with the zero initial and boundary conditions, where $Ω\subset \mathbb{R}^d$ is a bounded domain. We establish uniqueness and/or stability results for inverse problems of 1. determining $μ(t)$, $0<t<T$ with given $f(x)$; 2. determining $f(x)$, $x\in Ω$ with given $μ(t)$ \end{itemize} by data of $u$: $u(x_0,\cdot)$ with fixed point $x_0\in Ω$ or Neumann data on subboundary over time interval. In our inverse problems, data are taken over time interval $T_1<t<T_1$, by assuming that $T<T_1<T_2$ and $μ(t)=0$ for $t\ge T$, which means that the source stops to be active after the time $T$ and the observations are started only after $T$. This assumption is practical by such a posteriori data after incidents, although inverse problems had been well studied in the case of $T=0$. We establish the non-uniqueness, the uniqueness and conditional stability for a diffusion and a wave equations. The proofs are based on eigenfunction expansions of the solutions $u(x,t)$, and we rely on various knowledge of the generalized Weierstrass theorem on polynomial approximation, almost periodic functions, Carleman estimate, non-harmonic Fourier series. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Global Lipschitz stability for an inverse source problem for the Navier-Stokes equations

Authors: O. Y. Imanuvilov, M. Yamamoto

Abstract: For linearized Navier-Stokes equations, we consider an inverse source problem of determining a spatially varying divergence-free factor. We prove the global Lipschitz stability by interior data over a time interval and velocity field at $t_0>0$ over the spatial domain. The key are Carleman estimates for the Navier-Stokes equations and the operator rot. For linearized Navier-Stokes equations, we consider an inverse source problem of determining a spatially varying divergence-free factor. We prove the global Lipschitz stability by interior data over a time interval and velocity field at $t_0>0$ over the spatial domain. The key are Carleman estimates for the Navier-Stokes equations and the operator rot. △ Less

Submitted 9 July, 2021; originally announced July 2021.

MSC Class: 35R30; 35R25; 35Q30

Carleman estimate for the Navier-Stokes equations and applications

Authors: Oleg Y. Imanuvilov, Luca Lorenzi, M. Yamamoto

Abstract: For linearized Navier-Stokes equations, we first derive a Carleman estimate with a regular weight function. Then we apply it to establish conditional stability for the lateral Cauchy problem and finally we prove conditional stability estimates for inverse source problem of determining a spatially varying divergence-free factor of a source term. For linearized Navier-Stokes equations, we first derive a Carleman estimate with a regular weight function. Then we apply it to establish conditional stability for the lateral Cauchy problem and finally we prove conditional stability estimates for inverse source problem of determining a spatially varying divergence-free factor of a source term. △ Less

Submitted 9 July, 2021; originally announced July 2021.

MSC Class: 35R30; 35R25; 35Q30

Some Inverse Problems for the Burgers Equation and Related Systems

Authors: J. Apraiz, A. Doubova, E. Fernández-Cara, M. Yamamoto

Abstract: In this article we deal with one-dimensional inverse problems concerning the Burgers equation and some related nonlinear systems (involving heat effects and/or variable density). In these problems, the goal is to find the size of the spatial interval from some appropriate boundary observations of the solution. Depending on the properties of the initial and boundary data, we prove uniqueness and no… ▽ More In this article we deal with one-dimensional inverse problems concerning the Burgers equation and some related nonlinear systems (involving heat effects and/or variable density). In these problems, the goal is to find the size of the spatial interval from some appropriate boundary observations of the solution. Depending on the properties of the initial and boundary data, we prove uniqueness and non-uniqueness results. In addition, we also solve some of these inverse problems numerically and compute approximations of the interval sizes. △ Less

Submitted 17 June, 2021; originally announced June 2021.

MSC Class: 35R30; 35Q53; 35G50; 65M32

Inverse problem of reconstruction of degenerate diffusion coefficient in a parabolic equation

Authors: Piermarco Cannarsa, Anna Doubova, Masahiro Yamamoto

Abstract: We consider the inverse problem of identification of degenerate diffusion coefficient of the form $x^αa(x)$ in a one dimensional parabolic equation by some extra data. We first prove by energy methods the uniqueness and Lipschitz stability results for the identification of a constant coefficient $a$ and the power $α$ by knowing an interior data at some time. On the other hand, we obtain the uniq… ▽ More We consider the inverse problem of identification of degenerate diffusion coefficient of the form $x^αa(x)$ in a one dimensional parabolic equation by some extra data. We first prove by energy methods the uniqueness and Lipschitz stability results for the identification of a constant coefficient $a$ and the power $α$ by knowing an interior data at some time. On the other hand, we obtain the uniqueness result for the identification of a general diffusion coefficients $a(x)$ and also the power $α$ form a boundary data on one side of the space interval. The proof is based on global Carleman estimates for a hyperbolic problem and an inversion of the integral transform similar to the Laplace transform. Finally, the theoretical results are satisfactory verified by numerically experiments. △ Less

Submitted 20 June, 2021; v1 submitted 12 June, 2021; originally announced June 2021.

Uniqueness of Inverse Source Problems for General Evolution Equations

Authors: Yavar Kian, Yikan Liu, Masahiro Yamamoto

Abstract: In this article, we investigate inverse source problems for a wide range of PDEs of parabolic and hyperbolic types as well as time-fractional evolution equations by partial interior observation. Restricting the source terms to the form of separated variables, we establish uniqueness results for simultaneously determining both temporal and spatial components without non-vanishing assumptions at… ▽ More In this article, we investigate inverse source problems for a wide range of PDEs of parabolic and hyperbolic types as well as time-fractional evolution equations by partial interior observation. Restricting the source terms to the form of separated variables, we establish uniqueness results for simultaneously determining both temporal and spatial components without non-vanishing assumptions at $t=0$, which seems novel to the best of our knowledge. Remarkably, mostly we allow a rather flexible choice of the observation time not necessarily starting from $t=0$, which fits into various situations in practice. Our main approach is based on the combination of the Titchmarsh convolution theorem with unique continuation properties and time-analyticity of the PDEs under consideration. △ Less

Submitted 25 May, 2021; originally announced May 2021.

MSC Class: 35R11; 35R30; 35B60

Uniqueness for inverse problem of determining fractional orders for time-fractional advection-diffusion equations

Authors: Masahiro Yamamoto

Abstract: We consider initial boundary value problems of time-fractional advection-diffusion equations with the zero Dirichlet boundary value $\partial_t^α u(x,t) = -Au(x,t)$, where $-A = \sum}{i,j=1}^d \partial_i(a_{ij}(x)\partial_j) + \sum{j=1}^d b_j(x)\partial_j + c(x)$. We establish the uniqueness for an inverse problem of determining an order $α$ of fractional derivatives by data $u(x_0,t)$ for… ▽ More We consider initial boundary value problems of time-fractional advection-diffusion equations with the zero Dirichlet boundary value $\partial_t^α u(x,t) = -Au(x,t)$, where $-A = \sum}{i,j=1}^d \partial_i(a_{ij}(x)\partial_j) + \sum{j=1}^d b_j(x)\partial_j + c(x)$. We establish the uniqueness for an inverse problem of determining an order $α$ of fractional derivatives by data $u(x_0,t)$ for $0<t<T$ at one point $x_0$ in a spatial domain $\OOO$. The uniqueness holds even under assumption that $\OOO$ and $A$ are unknown, provided that the initial value does not change signs and is not identically zero. The proof is based on the eigenfunction expansions of finitely dimensional approximating solutions, a decay estimate and the asymptotic expansions of the Mittag-Leffler functions for large time. △ Less

Submitted 28 March, 2021; originally announced March 2021.

MSC Class: 35R30; 35R11

Simultaneous uniqueness for multiple parameters identification in a fractional diffusion-wave equation

Authors: Xiaohua **g, Masahiro Yamamoto

Abstract: This article deals with the uniqueness in identifying multiple parameters simultaneously in the one-dimensional time-fractional diffusion-wave equation of fractional time-derivative order $\in (0,2)$ with the zero Robin boundary condition. Using the Laplace transform and a transformation formula, we prove the uniqueness in determining an order of the fractional derivative, a spatially varying pote… ▽ More This article deals with the uniqueness in identifying multiple parameters simultaneously in the one-dimensional time-fractional diffusion-wave equation of fractional time-derivative order $\in (0,2)$ with the zero Robin boundary condition. Using the Laplace transform and a transformation formula, we prove the uniqueness in determining an order of the fractional derivative, a spatially varying potential, initial values and Robin coefficients simultaneously by boundary measurement data, provided that all the eigenmodes of an initial value do not vanish. Furthermore, for another formulation of inverse problem with input source term in place of initial value, by the uniqueness in the case of non-zero initial value and a Duhamel principle, we prove the simultaneous uniqueness in determining multiple parameters for a time-fractional diffusion-wave equation. △ Less

Submitted 13 March, 2021; originally announced March 2021.

On the maximum principle for the multi-term fractional transport equation

Authors: Yuri Luchko, Anna Suzuki, Masahiro Yamamoto

Abstract: In this paper, we prove a maximum principle for the general multi-term space-time-fractional transport equation and apply it for establishing uniqueness of solution to an initial-boundary-value problem for this equation. We also derive some comparison principles for solutions to the initial-boundary-value problems with different problem data. Finally, we present a maximum principle for the Cauchy… ▽ More In this paper, we prove a maximum principle for the general multi-term space-time-fractional transport equation and apply it for establishing uniqueness of solution to an initial-boundary-value problem for this equation. We also derive some comparison principles for solutions to the initial-boundary-value problems with different problem data. Finally, we present a maximum principle for the Cauchy problem for a time-fractional transport equation on an unbounded domain. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: 16 pages

MSC Class: 26A33; 35A05; 35B30; 35B50; 35C05; 35E05; 35L05; 45K05; 60E99

Decay rates and initial values for time-fractional diffusion-wave equations

Authors: Masahiro Yamamoto

Abstract: We consider a solution $u(\cdot,t)$ to an initial boundary value problem for time-fractional diffusion-wave equation with the order $α\in (0,2) \setminus \{ 1\}$ where $t$ is a time variable. We first prove that a suitable norm of $u(\cdot,t)$ is bounded by $\frac{1}{t^α}$ for $0<α<1$ and $\frac{1}{t^{α-1}}$ for $1<α<2$ for all large $t>0$. Moreover we characterize initial values in the cases wher… ▽ More We consider a solution $u(\cdot,t)$ to an initial boundary value problem for time-fractional diffusion-wave equation with the order $α\in (0,2) \setminus \{ 1\}$ where $t$ is a time variable. We first prove that a suitable norm of $u(\cdot,t)$ is bounded by $\frac{1}{t^α}$ for $0<α<1$ and $\frac{1}{t^{α-1}}$ for $1<α<2$ for all large $t>0$. Moreover we characterize initial values in the cases where the decay rates are faster than the above critical exponents. Differently from the classical diffusion equation $α=1$, the decay rate can give some local characterization of initial values. The proof is based on the eigenfunction expansions of solutions and the asymptotic expansions of the Mittag-Leffler functions for large time. △ Less

Submitted 10 March, 2021; originally announced March 2021.

MSC Class: 35R11; 35B40; 35C20

Uniqueness for fractional nonsymmetric diffusion equations and an application to an inverse source problem

Authors: Daijun Jiang, Zhiyuan Li, Matthieu Pauron, Masahiro Yamamoto

Abstract: In this paper, we discuss the uniqueness for solution to time-fractional diffusion equation $\partial_t^α(u-u_0) + Au=0$ with the homogeneous Dirichlet boundary condition, where an elliptic operator $-A$ is not necessarily symmetric. We prove that the solution is identically zero if its normal derivative with respect to the operator $A$ vanishes on an arbitrary small part of the spatial domain ove… ▽ More In this paper, we discuss the uniqueness for solution to time-fractional diffusion equation $\partial_t^α(u-u_0) + Au=0$ with the homogeneous Dirichlet boundary condition, where an elliptic operator $-A$ is not necessarily symmetric. We prove that the solution is identically zero if its normal derivative with respect to the operator $A$ vanishes on an arbitrary small part of the spatial domain over a time interval. The proof is based on the Laplace transform and the spectral decomposition, and is valid for more general time-fractional partial differential equations, including those involving non symmetric operators. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Darboux-Frame-Based Parametrization for a Spin-Rolling Sphere on a Plane: A Nonlinear Transformation of Underactuated System to Fully-Actuated Model

Authors: Seyed Amir Tafrishi, Mikhail Svinin, Motoji Yamamoto

Abstract: This paper presents a new kinematic model based on the Darboux frame for motion control and planning. In this work, we show that an underactuated model of a spin-rolling sphere on a plane with five states and three inputs can be transformed into a fully-actuated one by a given Darboux frame transformation. This nonlinear state transformation establishes a geometric model that is different from con… ▽ More This paper presents a new kinematic model based on the Darboux frame for motion control and planning. In this work, we show that an underactuated model of a spin-rolling sphere on a plane with five states and three inputs can be transformed into a fully-actuated one by a given Darboux frame transformation. This nonlinear state transformation establishes a geometric model that is different from conventional state-space ones. First, a kinematic model of the Darboux frame at the contact point of the rolling sphere is established. Next, we propose a virtual surface that is trapped between the sphere and the contact plane. This virtual surface is used for generating arc-length-based inputs for controlling the contact trajectories on the sphere and the plane. Finally, we discuss the controllability of this new model. In the future, we will design a geometric path planning method for the proposed kinematic model. △ Less

Submitted 12 June, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 17 pages, 7 figures, Accepted at Mechanism and Machine Theory Elsevier