NONLOCAL BY TIME PROBLEM FOR SOME DIFFERENTIAL-OPERATOR EQUATION IN SPACES OF S AND S TYPES

S Bodnaruk,V Gorodetskyi,R Kolisnyk,N Shevchuk

doi:10.31861/bmj2021.02.04

Abstract

In the theory of fractional integro-differentiation the operator $A := \displaystyle \Big(I-\frac{\partial^2}{\partial x^2}\Big)$ is often used. This operator called the Bessel operator of fractional differentiation of the order of $ 1/2 $. This paper investigates the properties of the operator $B := \displaystyle \Big(I-\frac{\partial^2}{\partial x^2}+\frac{\partial^4}{\partial x^4}\Big)$, which can be understood as a certain analogue of the operator $A$. It is established that $B$ is a self-adjoint operator in Hilbert space $L_2(\mathbb{R})$, the narrowing of which to a certain space of $S$ type (such spaces are introduced in \cite{lit_bodn_2}) matches the pseudodifferential operator $F_{\sigma \to x}^{-1}[a(\sigma) F_{x\to \sigma}]$ constructed by the function-symbol $a(\sigma) = (1+\sigma^2+\sigma^4)^{1/4}$, $\sigma \in \mathbb{R}$ (here $F$, $F^{-1}$ are the Fourier transforms). This approach allows us to apply effectively the Fourier transform method in the study of the correct solvability of a nonlocal by time problem for the evolution equation with the specified operator. The correct solvability for the specified equation is established in the case when the initial function, by means of which the nonlocal condition is given, is an element of the space of the generalized function of the Gevrey ultradistribution type. The properties of the fundamental solution of the problem was studied, the representation of the solution in the form of a convolution of the fundamental solution of the initial function is given.

Highlights

Ключовi слова i фрази: нелокальна задача, простiр узагальнених функцiй, згортка, псевдодиференцiальний оператор, перетворення Фур’є, коректна розв’язнiсть, клас операторiв, мультплiкатор, згортувач, граничний перехiд, фiнiтна функцiя
З (5), (6) випливає, що a(λ) – мультиплiкатор у просторi S1γ, а також у кожному просторi S1γ, де γ > 1 (нагадаємо, що функцiя a ∈ C∞(R) називається мультиплiкатором у просторi Sαβ, якщо aφ ∈ Sαβ для довiльної функцiї φ ∈ Sαβ, при цьому вiдображення φ → aφ є неперервним у просторi Sαβ)
The properties of the fundamental solution of the problem was studied, the representation of the solution in the form of a convolution of the fundamental solution of the initial function is given

Summary

Вказану систему норм iнодi замiнюють еквiвалентною їй системою норм

∪ Sαβ,,AB, A,B>0 тобто в Sαβ вводиться топологiя iндуктивної границi просторiв Sαβ,,AB [2]. З (5), (6) випливає, що a(λ) – мультиплiкатор у просторi S1γ, а також у кожному просторi S1γ, де γ > 1 (нагадаємо, що функцiя a ∈ C∞(R) називається мультиплiкатором у просторi Sαβ, якщо aφ ∈ Sαβ для довiльної функцiї φ ∈ Sαβ, при цьому вiдображення φ → aφ є неперервним у просторi Sαβ). Оскiльки в основному просторi Sαβ визначена операцiя зсуву аргумента Tx, то згортку узагальненої функцiї f ∈ (Sαβ)′ з основною функцiєю φ ∈ Sαβ задамо формулою (f ∗ φ)(x) := ⟨f, T−xφ⟩ ≡ ⟨f, φ(x − ·)⟩, φ(ξ) := φ(−ξ). Якщо f ∈ (Sαβ)′ – згортувач у просторi Sαβ, то для довiльної функцiї φ ∈ Sαβ правильною є формула F [f ∗ φ] = F [f ] · F [φ], при цьому F [f ] – мультиплiкатор у просторi Sβα.

Ak tk

Тодi i