Uniqueness for an inverse problem of determining order and temporal factor of the source for time-fractional evolution equations

Résumé technique : Unicité pour un problème inverse de détermination de l'ordre et du facteur temporel de la source pour des équations d'évolution fractionnaires en temps

Formulation du problème
Cet article étudie un problème inverse associé au problème de Cauchy pour une équation d'évolution fractionnaire en temps dans un espace de Hilbert $X$. Le problème direct est défini par l'équation :
$$\partial_t^\alpha u(t) = -Au(t) + p(t)f$$
où $A$ est un opérateur auto-adjoint de définition positive avec un inverse compact, $f \in X$ est un profil de source connu, et les inconnues sont l'ordre fractionnaire $\alpha \in (0, 1) \cup (1, 2)$ et le facteur de source dépendant du temps $p(t) \in C[0, T]$. La condition initiale est implicitement définie par l'exigence que la solution $u$ appartienne à l'espace de Sobolev fractionnaire $H^\alpha(0, T; X)$, ce qui impose $u(0)=0$ (et $u'(0)=0$ si $\alpha > 1$) au sens des traces là où cela s'applique.

La condition de surdétermination fournie pour résoudre le problème inverse est le produit scalaire de la solution avec une fonction de poids fixe $\psi \in D(A)$ :
$$(u(t), \psi)_X = \Psi(t), \quad 0 < t < T.$$
L'objectif principal est de déterminer l'unicité de la récupération simultanée de $\alpha$ et de $p(t)$ à partir de ces données.

Méthodologie
Les auteurs emploient une approche de décomposition spectrale combinée à une analyse asymptotique au voisinage de $t=0$. La méthodologie repose sur les étapes clés suivantes :

1. Décomposition en fonctions propres : La solution $u(t)$ est développée en utilisant les fonctions propres de l'opérateur $A$. Cela transforme l'équation d'évolution en une série impliquant des fonctions de Mittag-Leffler $E_{\alpha, \beta}(z)$.
2. Décomposition asymptotique : Une technique centrale est la décomposition de la solution (ou de son produit scalaire avec $\psi$) au voisinage de $t=0$ en une composante principale « la moins lisse » et un reste « plus lisse ». Plus précisément, les auteurs utilisent la propriété selon laquelle l'intégrale fractionnaire $J^\alpha$ et la dérivée fractionnaire $\partial_t^\alpha$ permettent de séparer le terme dominant, qui se comporte comme $t^{\alpha+m}$ (où $m$ est lié à l'ordre principal de $p(t)$ à $t=0$), des termes d'ordre supérieur.
3. Classes admissibles : L'analyse restreint les facteurs de source inconnus $p(t)$ et $q(t)$ à des classes spécifiques ($P$ et $\tilde{P}$). Ces classes exigent que les fonctions se comportent asymptotiquement comme $p(t) \sim p_0 t^m$ près de $t=0$ avec des conditions de lissage spécifiques sur le reste.
4. Unicité via les asymptotiques : En comparant les développements asymptotiques des données $(u(t), \psi)_X$ pour deux solutions potentielles avec les paramètres $(\alpha, p)$ et $(\beta, q)$, les auteurs déduisent des contradictions à moins que les paramètres ne soient identiques. Cela implique l'analyse des puissances dominantes de $t$ dans le développement.
5. Équations intégrales et stabilité : Pour la récupération de $p(t)$ lorsque $\alpha$ est connu, le problème est réduit à une équation intégrale de Volterra. Les auteurs utilisent des inégalités de Gronwall généralisées pour établir l'existence, l'unicité et des estimations de stabilité de Lipschitz.

Contributions clés et résultats

• Unicité de l'ordre fractionnaire ($\alpha$) : L'article établit que l'ordre fractionnaire $\alpha$ est déterminé de manière unique par les données $(u(t), \psi)_X$ pour $0 < t < T$, indépendamment de la forme spécifique de l'opérateur $A$ et de la fonction source $p(t)$, à condition que $p$ appartienne à la classe $P$ et que $(f, \psi)_X \neq 0$. Cela est vrai même si l'opérateur $A$ est inconnu (c'est-à-dire en comparant deux systèmes avec potentiellement des opérateurs différents $\tilde{A}$).
• Unicité du facteur de source ($p(t)$) :
  • Si $\alpha$ est connu et que $A$ est le même pour les deux systèmes, $p(t)$ est déterminé de manière unique.
  • Si $\alpha$ est inconnu, l'article prouve que $p(t)$ est déterminé de manière unique simultanément avec $\alpha$ sous la condition que $p, q \in \tilde{P}$ (une classe plus étroite exigeant une régularité plus élevée, $a \ge m+2$).
  • Les théorèmes 1.1 et 1.2 affirment que si les données concordent pour tout $t \in (0, T)$, alors $\alpha = \beta$ et $p = q$.
• Rôle des données initiales : L'article souligne que l'hypothèse $u(0)=0$ (impliquée par $u \in H^\alpha$) est critique. Un exemple est fourni montrant que si les données initiales sont non nulles ($u(0) \neq 0$), l'unicité pour $p(t)$ peut échouer.
• Résultats raffinés pour $\alpha \in (0, 1)$ : Pour le cas $\alpha \in (0, 1)$, les auteurs prouvent que si les données $(u(t), \psi)_X$ sont suffisamment lisses (spécifiquement, si $\partial_t^\alpha (u, \psi)_X \in H^\theta$ avec $\theta > 1/2$), alors le facteur de source $p(t)$ doit être nul si les données sont nulles. Cela étend les résultats d'unicité à des cas où $p(t)$ ne s'annule pas nécessairement à $t=0$ mais satisfait des conditions de régularité spécifiques.
• Stabilité : Le théorème 1.3 fournit une estimation de stabilité de Lipschitz bilatérale pour la détermination de $p(t)$ lorsque $\alpha$ est connu, reliant la norme de $p$ à la norme de la dérivée fractionnaire des données observées.

Signification et affirmations
L'article prétend résoudre le problème inverse de l'identification simultanée de l'ordre fractionnaire et du facteur de source dépendant du temps sans connaissance préalable de l'opérateur elliptique $A$. Contrairement à des travaux antérieurs qui reposent souvent sur des observations ponctuelles $u(x_0, t)$ ou des fonctions propres spécifiques, ce travail démontre qu'une fonction de poids arbitraire $\psi \in D(A)$ suffit, à condition que l'observation soit continue sur l'intervalle $(0, T)$.

Les auteurs soulignent que leurs résultats reposent sur la décomposition de la solution au voisinage de $t=0$ en un terme principal singulier et un reste plus lisse. Cette technique permet d'extraire directement l'ordre fractionnaire $\alpha$ à partir du comportement asymptotique des données. L'article note également que bien que les résultats soient établis pour des espaces de Hilbert abstraits, ils sont vraisemblablement extensibles à l'opérateur de Laplace dans des domaines bornés avec des conditions de Dirichlet, bien que cela reste un sujet de recherche future. Le travail ne propose pas de nouvelles applications expérimentales, mais fournit un fondement théorique rigoureux pour l'unicité de ces problèmes inverses en calcul fractionnaire.