Group of Weakly Continuous Operators Associated to a Generalized Schrödinger Type Homogeneous Model

Yolanda Silvia Santiago Ayala

Facultad de Ciencias Matemáticas, Universidad Nacional Mayor de San Marcos, Lima, Peru.

DOI: 10.4236/jamp.2023.114062                

Abstract

In this work, we prove the existence and uniqueness of the solution of the generalized Schrödinger type homogeneous model in the periodic distributional space P’. Furthermore, we prove that the solution depends continuously respect to the initial data in P’. Introducing a family of weakly continuous operators, we prove that this family is a group of operators in P’. Then, with this family of operators, we get a fine version of the existence and dependency continuous theorem obtained. Finally, we give some remarks derived from this study.

Keywords

Groups Theory, Weakly Continuous Operators, Existence of Solution, Generalized Schrödinger Type Equation, Homogeneous Equation, Periodic Distributional Space

1. Introduction

First, we begin by commenting that [1] has proven the existence of a solution of the Schrodinger type equation in the Hilbert space $H_{per}^s$ . Also in [1] a family of bounded operators is introduced in the Hilbert space $H_{per}^s$ and it is proved that forms a unitary group. For the justification of the model, we suggest reviewing the references cited in [1] . Thus motivated by these ideas we will solve the problem ( $Q_{m+1}$ ) in the topological dual of P: $P^{\prime }$ , which is not a Banach space.

In this article, we will prove the existence and uniqueness of the solution of ( $Q_{m+1}$ ) in $P^{\prime }$ . Furthermore, we will demonstrate that the solution depends continuously with respect to the initial data in $P^{\prime }$ , considering the weak convergence in $P^{\prime }$ . And we will prove that the introduced family of operators forms a group of weakly continuous linear operators. Thus, with this family we will rewrite our result in a fine version.

We also want to highlight the wealth of information from Terence [2] , Kato [3] , Linares and Ponce [4] . We can also cite works of existence solution using Semigroup theory by Liu-Zheng [5] , Muñoz [6] , Pazy [7] , Santiago [8] [9] and Raposo [10] .

Our article is organized as follows. In Section 2, we indicate the methodology used and cite the references used. In Section 3, we put the results obtained from our study. This section is divided into three subsections. Thus, in Subsection 3.1 we prove that the problem ( $Q_{m+1}$ ) has a unique solution and also demonstrate that the solution depends continuously with respect to the initial data. In Subsection 3.2, we introduce families of weakly continuous linear operators in $P^{\prime }$ that manage to form a group. In Subsection 3.3 we improve Theorem 3.1.

Finally, in Section 4 we give the conclusions of this study.

2. Methodology

As theoretical framework in this article we use the references [1] [11] [12] [13] and [14] for Fourier Theory in periodic distributional space, periodic Sobolev spaces, topological vector spaces, weakly continuous operators, group of operators and existence of solution of a distributional differential equation.

We will use this theory in the analysis of the existence and continuous dependence of the solution of ( $Q_{m+1}$ ), carrying out a series of calculations and approximations in the process.

Thus, below we will briefly give some definitions necessary for the development (understanding) of this work. It is suggested, for an in-depth study, to refer to the cited references.

Let be

$P\mathrm{<mo>\; :\; </mo>}=C_{per}^{\infty }\left(\left[-\pi \mathrm{,}\pi \right]\right)\mathrm{,}$

that is, the space of the functions $f\mathrm{<mo>\; :\; </mo>}IR\to IC$ infinitely differentiable and periodic with period 2π. It’s known that this space is a complete metric space.

Also,

$\begin{array}{l}{P}^{\prime }\mathrm{<mo>\; :\; </mo>}=\{T\mathrm{<mo>\; :\; </mo>}P\to IC\text{linear}\text{such}\text{that}\exists {\psi }_n\in P{\text{and}}_{{}_{}^{}}^{}\\ \langle T\mathrm{,}\phi \rangle =\underset{n\to \infty }{lim}{\displaystyle {\int }_{-\pi }^{\pi }{\psi }_n}\left(x\right)\phi \left(x\right)\text{d}x\mathrm{,}\forall \phi \in P\}\\ ={\left(P\right)}^{\prime }\mathrm{.}\end{array}$

That is, $P^{\prime }$ is the topological dual of P. $P^{\prime }$ is known as the space of periodic distributions.

We want to summarize the properties of $P^{\prime }$ with the following diagram:

$\begin{array}{ccccc}P& \to & L^2\left(\left[-\pi \mathrm{,}\pi \right]\right)& \to & P^{\prime }\\ \wedge \downarrow \uparrow \vee & & \wedge \downarrow \uparrow \vee & & \wedge \downarrow \uparrow \vee \\ S\left(Z\right)& \to & l^2\left(Z\right)& \to & S^{\prime }(\; Z\; )\end{array}$

where the inclusions are continuous with dense image, $S\left(Z\right)$ is the space of Rapidly Decreasing sequences (R.D.), defined by

$S\left(Z\right):=\left\{\alpha ={\left({\alpha }_k\right)}_{k\in Z},{\alpha }_k\in IC/{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|{\alpha }_k\right|<\infty \text{and}{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|{\alpha }_k\right|{\left|k\right|}^n<\infty ,\forall n\ge 1\right\}$

and $S^{\prime }\left(Z\right)$ is the space of Slowly Growing sequences (S.G.), defined by

$S^{\prime }\left(Z\right)\mathrm{<mo>\; :\; </mo>}=\left\{\alpha ={\left({\alpha }_k\right)}_{k\in Z},{\alpha }_k\in IC/\exists C>0,\exists N\in IN\text{with}\left|{\alpha }_k\right|\le C{\left|k\right|}^N,\forall k\ne 0\right\}.$

3. Main Results

The presentation of the results obtained has been organized in subsections and is as follows.

3.1. Solution of the Schrödinger Equation ( $Q_{m+1}$ )

In this subsection we will study the existence of a solution to the problem ( $Q_{m+1}$ ) and the continuous dependence of the solution with respect to the initial data in $P^{\prime }$ .

Theorem 3.1 Let $\mu >0$ , $\alpha >0$ , m even not multiple of four and the distributional problem

$\left(Q_{m+1}\right)|\begin{array}{l}u\in C\left(IR,P^{\prime }\right)\hfill \\ {\partial }_{t}u-i\mu {\partial }_x^{m}u+i\alpha u=0\in P^{\prime }\hfill \\ u\left(0\right)=f\in P^{\prime }.\hfill \end{array}$

then ( $Q_{m+1}$ ) has a unique solution $u\in C^1\left(IR,P^{\prime }\right)$ . Furthermore, the solution depends continuously on the initial data. That is, given $f_n\mathrm{,}f\in P^{\prime }$ such that $f_n\stackrel{P^{\prime }}{\to }f$ implies $u_n\left(t\right)\stackrel{P^{\prime }}{\to }u\left(t\right)$ , $\forall t\in IR$ , where $u_n$ is solution of ( $Q_{m+1}$ ) with initial data $f_n$ and u is solution of ( $Q_{m+1}$ ) with initial data f.

Proof.- We have organized the proof as follows.

1) Suppose there exists $u\in C\left(IR,P^{\prime }\right)$ satisfying ( $Q_{m+1}$ ); this will allow us to obtain the explicit form of u. Then taking the Fourier transform to the equation

${\partial }_{t}u-i\mu {\partial }_x^{m}u+i\alpha u=0\mathrm{,}$

we get

$0={\partial }_t\hat{u}-i\mu {\left(ik\right)}^m\hat{u}+i\alpha \hat{u}={\partial }_t\hat{u}+i\mu k^m\hat{u}+i\alpha \hat{u},$

which for each $k\in \mathbb{Z}$ is an ODE with initial data $\hat{u}\left(k\mathrm{,0}\right)=\hat{f}\left(k\right)$ .

Thus, we propose an uncoupled system of homogeneous first-order ordinary differential equations

$\left({\Omega }_k\right)|\begin{array}{l}\hat{u}\in C\left(IR\mathrm{,}{S}^{\prime }\left(\mathbb{Z}\right)\right)\\ {\partial }_t\hat{u}\left(k,t\right)+i\mu k^m\hat{u}\left(k,t\right)+i\alpha \hat{u}\left(k,t\right)=0\\ \hat{u}\left(k\mathrm{,0}\right)=\hat{f}\left(k\right)\text{with}\hat{f}\in S^{\prime }\left(\mathbb{Z}\right)\mathrm{,}\end{array}$

$\forall k\in \mathbb{Z}$ and we get

$\hat{u}\left(k\mathrm{,}t\right)={\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{f}\left(k\right)\mathrm{,}$

from where we obtain the explicit expression of u, candidate for solution:

$u\left(t\right)={\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{u}\left(k,t\right){\varphi }_k={\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{f}\left(k\right){\varphi }_k,$ (1)

$={\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee }.$ (2)

Since $f\in P^{\prime }$ then $\hat{f}\in S^{\prime }\left(Z\right)$ . Thus, we affirm that

${\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\in S^{\prime }\left(Z\right)\mathrm{,}\forall t\in IR\mathrm{.}$ (3)

Indeed, let $t\in IR$ , since $\hat{f}\in S^{\prime }\left(Z\right)$ then satisfies: $\exists C>0$ , $\exists N\in IN$ such that $\left|\hat{f}\left(k\right)\right|\le C{\left|k\right|}^N$ , $\forall k\in Z-\left\{0\right\}$ , using this we get

$\left|\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right|=\left|\hat{f}\left(k\right)\right|\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\mu k^{m}t}\right|}}\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\alpha t}\right|}}=\left|\hat{f}\left(k\right)\right|\le C{\left|k\right|}^N\mathrm{.}$

Then,

${\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\in S^{\prime }\left(Z\right)\mathrm{.}$

If we define

$u\left(t\right):={\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee },\text{for}\text{all}t\in IR,$ (4)

we have that $u\left(t\right)\in P^{\prime }$ , $\forall t\in IR$ , since we apply the inverse Fourier transform to ${\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\in S^{\prime }\left(Z\right)$ .

2) We will prove that u defined in (4) is solution of ( $Q_{m+1}$ ) and $u\in C^1\left(IR\mathrm{,}{P}^{\prime }\right)$ .

Evaluating (2) at $t=0$ , we obtain

$u\left(0\right)={\left[{\left(\hat{f}\left(k\right)\right)}_{k\in Z}\right]}^{\vee }={\left[\hat{f}\right]}^{\vee }=f.$

Also, the following statements are verified.

a) ${\partial }_{t}u\left(t\right)=i\mu {\partial }_x^{m}u\left(t\right)-i\alpha u\left(t\right)$ in $P^{\prime }$ , $\forall t\in IR$ . That is, we will prove that the following equality

$\underset{\langle {\partial }_{t}u\left(t\right)\mathrm{,}\phi \rangle \mathrm{<mo>\; :\; </mo>}=}{\underset{︸}{\underset{h\to 0}{lim}\langle \frac{u\left(t+h\right)-u\left(t\right)}{h}\mathrm{,}\phi \rangle }}=i\mu \langle {\partial }_x^{m}u\left(t\right)\mathrm{,}\phi \rangle -i\alpha \langle u\left(t\right)\mathrm{,}\phi \rangle \mathrm{,}\forall \phi \in P$

is satisfied, for all $t\in IR$ .

Indeed, let $t\in IR$ , $\phi \in P$ and $h\in IR-\left\{0\right\}$ , we denote

$I_{h\mathrm{,}t}\mathrm{<mo>\; :\; </mo>}=\langle \frac{u\left(t+h\right)-u\left(t\right)}{h}\mathrm{,}\phi \rangle \mathrm{.}$

Thus, we get

$\begin{array}{c}{I}_{h,t}=\frac{1}{h}\left\{\langle u\left(t+h\right),\phi \rangle -\langle u\left(t\right),\phi \rangle \right\}\\ =\frac{1}{h}\{\underset{n\to +\infty }{lim}\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^m\left(t+h\right)}{\text{e}}^{-i\alpha \left(t+h\right)}{\varphi }_k,\phi \rangle \\ -\underset{n\to +\infty }{lim}\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\varphi }_k,\phi \rangle \}\end{array}$

$=\frac{1}{h}\left\{\underset{n\to +\infty }{lim}\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left({\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right){\varphi }_k,\phi \rangle \right\}$

$\begin{array}{l}=\underset{n\to +\infty }{lim}\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left(\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right){\varphi }_k,\phi \rangle \\ =\underset{n\to +\infty }{lim}\left\{{\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left(\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right)\underset{=2\pi \hat{\phi }\left(-k\right)}{\underset{︸}{\langle {\varphi }_k,\phi \rangle }}\right\}\\ =\underset{n\to +\infty }{lim}2\pi \left\{{\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left(\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right)\hat{\phi }\left(-k\right)\right\}\\ =2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left(\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right)\hat{\phi }\left(-k\right).\end{array}$ (5)

Let $h>0$ , we have

$\begin{array}{c}{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1={\displaystyle {\int }_0^h}{\left[{\text{e}}^{-i\mu k^{m}s}{\text{e}}^{-i\alpha s}\right]}^{\prime }\text{d}s\\ ={\displaystyle {\int }_0^h}\left(-i\mu k^m-i\alpha \right){\text{e}}^{-i\mu k^{m}s}{\text{e}}^{-i\alpha s}\text{d}s.\end{array}$ (6)

Taking norm to equality (6) we obtain

$\begin{array}{c}\left|{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right|\le {\displaystyle {\int }_0^h}\left\{\mu {\left|k\right|}^m+\left|\alpha \right|\right\}\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\mu k^{m}s}\right|}}\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\alpha s}\right|}}\text{d}s\\ =\left\{\mu {\left|k\right|}^m+\left|\alpha \right|\right\}\underset{=h}{\underset{︸}{{\displaystyle {\int }_0^h}\text{d}s}}\\ =\left\{\mu {\left|k\right|}^m+\left|\alpha \right|\right\}h.\end{array}$ (7)

That is, from (7) we get

$\left|\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right|\le \mu {\left|k\right|}^m+\left|\alpha \right|\mathrm{.}$ (8)

Note that (8) is valid for $h\in IR-\left\{0\right\}$ .

Using the inequality (8) and that $\hat{f}\in S^{\prime }\left(Z\right)$ we obtain

$\begin{array}{l}{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\mu k^{m}t}\right|}}\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\alpha t}\right|}}\left|\hat{\phi }\left(-k\right)\right|\left|\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right|\\ \le {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\left|\hat{\phi }\left(-k\right)\right|\left\{\mu {\left|k\right|}^m+\left|\alpha \right|\right\}\\ =\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\left|\hat{\phi }\left(-k\right)\right|{\left|k\right|}^m+\left|\alpha \right|{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\left|\hat{\phi }\left(-k\right)\right|\\ \le C\left\{\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^{N+m}\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|+\left|\alpha \right|{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^N\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|\right\}\\ =C\left\{\mu {\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^{N+m}\left|\hat{\phi }\left(J\right)\right|+\left|\alpha \right|{\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^N\left|\hat{\phi }\left(J\right)\right|\right\}<\infty \end{array}$

since $\hat{\phi }\in S\left(Z\right)$ .

Using the Weierstrass M-Test, the series $I_{h\mathrm{,}t}$ is absolute and uniformly convergent. Then we can take limit and get

$\begin{array}{c}\underset{h\to 0}{\lim }{I}_{h,t}=2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\phi }\left(-k\right)\underset{=-i\mu k^m-i\alpha }{\underset{︸}{\underset{h\to 0}{\lim }\left\{\frac{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1}{h}\right\}}}\\ =\left(-i\mu \right)2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\phi }\left(-k\right)k^m\\ -i\alpha 2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\phi }\left(-k\right).\end{array}$ (9)

Using (9) and that $\langle T^{\left(m\right)},\phi \rangle ={\left(-1\right)}^m\langle T,{\phi }^{\left(m\right)}\rangle =\langle T,{\phi }^{\left(m\right)}\rangle$ for $\phi \in P$ , $T\in P^{\prime }$ , we have

$\begin{array}{l}\underset{h\to 0}{\lim }{I}_{h,t}\\ =\left(-i\mu \right)2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\underset{=\frac{1}{2\pi }\langle \phi ,{\varphi }_k\rangle }{\underset{︸}{\hat{\phi }\left(-k\right)}}{k}^m-i\alpha 2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\underset{=\frac{1}{2\pi }\langle \phi ,{\varphi }_k\rangle }{\underset{︸}{\hat{\phi }\left(-k\right)}}\\ =i\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle \phi ,\underset{={\left(ik\right)}^m{\varphi }_k}{\underset{︸}{-k^m{\varphi }_k}}\rangle -i\alpha {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle \phi ,{\varphi }_k\rangle \\ =i\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\underset{=\langle {\phi }^{\left(m\right)},{\varphi }_k\rangle }{\underset{︸}{\langle \phi ,{\varphi }_k^{\left(m\right)}\rangle }}-i\alpha {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle \phi ,{\varphi }_k\rangle \\ =i\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle {\varphi }_k,{\phi }^{\left(m\right)}\rangle -i\alpha {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle {\varphi }_k,\phi \rangle \end{array}$

$\begin{array}{l}=i\mu \underset{n\to +\infty }{\lim }{\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle {\varphi }_k,{\phi }^{\left(m\right)}\rangle -i\alpha \underset{n\to +\infty }{\lim }{\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\langle {\varphi }_k,\phi \rangle \\ =i\mu \underset{n\to +\infty }{\lim }\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\varphi }_k,{\phi }^{\left(m\right)}\rangle -i\alpha \underset{n\to +\infty }{\lim }\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\varphi }_k,\phi \rangle \\ =i\mu \langle u\left(t\right),{\phi }^{\left(m\right)}\rangle -i\alpha \langle u\left(t\right),\phi \rangle \\ =i\mu \langle {\partial }_x^{m}u\left(t\right),\phi \rangle -i\alpha \langle u\left(t\right),\phi \rangle .\end{array}$ (10)

Therefore,

$\langle {\partial }_{t}u\left(t\right)\mathrm{,}\phi \rangle =i\mu \langle {\partial }_x^{m}u\left(t\right)\mathrm{,}\phi \rangle -i\alpha \langle u\left(t\right)\mathrm{,}\phi \rangle \mathrm{,}\forall \phi \in P\mathrm{,}\forall t\in IR\mathrm{.}$

That is,

${\partial }_{t}u\left(t\right)=i\mu {\partial }_x^{m}u\left(t\right)-i\alpha u\left(t\right)\text{in}{P}^{\prime }\mathrm{,}\forall t\in IR\mathrm{.}$

b) $u\in C\left(IR\mathrm{,}{P}^{\prime }\right)$ . That is, we will prove that

$u\left(t+h\right)\stackrel{P^{\prime }}{\to }u\left(t\right)\text{when}h\to 0\mathrm{,}\forall t\in IR\mathrm{.}$

In effect, let $t\in IR$ and $\phi \in P$ , we will prove that

$H_{t\mathrm{,}h}\mathrm{<mo>\; :\; </mo>}=\langle u\left(t+h\right)-u\left(t\right)\mathrm{,}\phi \rangle \to 0\mathrm{,}\text{when}h\to 0\mathrm{.}$

We know that if $\phi \in P$ then $\hat{\phi }\in S\left(Z\right)$ . Using (5) we have

$H_{t,h}=2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left({\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right)\hat{\phi }\left(-k\right).$

Let $0<\left|h\right|<1$ , from (8) we get

$\left|{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right|\le \mu {\left|k\right|}^m\left|h\right|+\left|\alpha \right|\left|h\right|\mathrm{<mo>\; <\; </mo>}\mu {\left|k\right|}^m+\left|\alpha \right|\mathrm{.}$ (11)

Using (11) and that $\hat{f}\in S^{\prime }\left(Z\right)$ we obtain

$\begin{array}{l}{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\mu k^{m}t}\right|}}\underset{=1}{\underset{︸}{\left|{\text{e}}^{-i\alpha t}\right|}}\left|{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right|\left|\hat{\phi }\left(-k\right)\right|\\ \le C\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^{N+m}\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|+C\left|\alpha \right|{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^N\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|\\ =C\mu {\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^{N+m}\left|\hat{\phi }\left(J\right)\right|+C\left|\alpha \right|{\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^N\left|\hat{\phi }\left(J\right)\right|<\infty \end{array}$

since $\hat{\phi }\in S\left(Z\right)$ .

Using the Weierstrass M-Test we conclude that the series $H_{t\mathrm{,}h}$ converges absolute and uniformly. Then it is possible to take limit and obtain

$\underset{h\to 0}{\lim }{H}_{t,h}=2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\phi }\left(-k\right)\underset{=0}{\underset{︸}{\underset{h\to 0}{\lim }\left\{{\text{e}}^{-i\mu k^{m}h}{\text{e}}^{-i\alpha h}-1\right\}}}=0.$

Since $t\in IR$ was taken arbitrarily, then we can conclude that

$u\in C\left(IR\mathrm{,}{P}^{\prime }\right)\mathrm{.}$

c) ${\partial }_{t}u\in C\left(IR\mathrm{,}{P}^{\prime }\right)$ . That is, we will prove that

${\partial }_{t}u\left(t+h\right)\stackrel{P^{\prime }}{\to }{\partial }_{t}u\left(t\right)\text{when}h\to 0\mathrm{,}\forall t\in IR\mathrm{.}$

In effect, let $t\in IR$ and $\phi \in P$ , using item a) we have

$\begin{array}{l}\langle {\partial }_{t}u\left(t+h\right),\phi \rangle -\langle {\partial }_{t}u\left(t\right),\phi \rangle \\ =i\mu \left\{\langle {\partial }_x^{m}u\left(t+h\right),\phi \rangle -\langle {\partial }_x^{m}u\left(t\right),\phi \rangle \right\}-i\alpha \left\{\langle u\left(t+h\right),\phi \rangle -\langle u\left(t\right),\phi \rangle \right\}\\ =i\mu \underset{\to 0}{\underset{︸}{\langle u\left(t+h\right),{\phi }^{\left(m\right)}\rangle -\langle u\left(t\right),{\phi }^{\left(m\right)}\rangle }}-i\alpha \underset{\to 0}{\underset{︸}{\left\{\langle u\left(t+h\right),\phi \rangle -\langle u\left(t\right),\phi \rangle \right\}}}\to 0\end{array}$ (12)

when $h\to 0$ , since item b) is valid with ${\phi }^{\left(r\right)}\in P$ for $r=0,m$ .

From b) and c) we have that $u\in C^1\left(IR\mathrm{,}{P}^{\prime }\right)$ .

3) Now, we will prove that the solution depends continuously respect to initial data. That is, if $f_n\stackrel{P^{\prime }}{\to }f$ we will prove that:

$u_n\left(t\right)\stackrel{P^{\prime }}{\to }u\left(t\right)\mathrm{,}\forall t\in IR\mathrm{.}$

We know that if $f_n\stackrel{P^{\prime }}{\to }f$ then ${\hat{f}}_n\stackrel{S^{\prime }\left(Z\right)}{\to }\hat{f}$ , that is

$\langle {\hat{f}}_n-\hat{f}\mathrm{,}\xi \rangle \to 0\text{when}n\to +\infty \mathrm{,}\forall \xi \in S\left(Z\right)\mathrm{.}$ (13)

For $t\in IR$ fixed and arbitrary, we want to prove that

$\langle u_n\left(t\right)\mathrm{,}\psi \rangle \to \langle u\left(t\right)\mathrm{,}\psi \rangle \text{when}n\to +\infty \mathrm{,}\forall \psi \in P\mathrm{.}$

Thus, let $t\in IR$ be fixed and $\psi \in P$ , using the generalized Parseval identity, we obtain the following equalities:

$\langle u_n\left(t\right),\psi \rangle =2\pi \langle {\left({\hat{f}}_n\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle$ (14)

$\langle u\left(t\right),\psi \rangle =2\pi \langle {\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle .$ (15)

From (14) and (15) we obtain:

$\langle u_n\left(t\right),\psi \rangle -\langle u\left(t\right),\psi \rangle =2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left\{{\hat{f}}_n\left(k\right)-\hat{f}\left(k\right)\right\}\underset{{\xi }_k:=}{\underset{︸}{{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\widetilde{\stackrel{^}{\psi }}\left(k\right)}}\to 0$

when $n\to +\infty$ , since $\xi :={\left({\xi }_k\right)}_{k\in Z}\in S\left(Z\right)$ and (13) holds. $\square$

Corollary 3.1 The unique solution of ( $Q_{m+1}$ ) is

$u\left(t\right)={\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\varphi }_k={\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee },$

where ${\varphi }_k\left(x\right)={\text{e}}^{ikx}$ , $x\in IR$ .

3.2. Group of Operators in $P^{\prime }$

In this subsection, we will introduce families of operators ${\left\{T_{\mu \mathrm{,}\alpha }\left(t\right)\right\}}_{t\in IR}$ in $P^{\prime }$ , with $\mu >0$ , $\alpha >0$ and m even not multiple of four; and we will prove that these operators are continuous in the weak sense. That is, $T_{\mu \mathrm{,}\alpha }\left(t\right)$ is continuous from $P^{\prime }$ to $P^{\prime }$ with the weak topology of $P^{\prime }$ , which we will call the weakly continuous operator.

Furthermore, we will prove that $T_{\mu \mathrm{,}\alpha }\left(t\right)$ satisfies the group properties.

For simplicity, we will denote this family of operators by ${\left\{T\left(t\right)\right\}}_{t\in IR}$ .

Theorem 3.2 Let $t\in IR$ , we define:

$T\left(t\right)\mathrm{<mo>\; :\; </mo>}{P}^{\prime }\to P^{\prime }$

$f\to T\left(t\right)f:={\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee }\in P^{\prime },$

then the following statements are satisfied:

1) $T\left(0\right)=I$ .

2) $T\left(t\right)$ is $IC$ —linear and weakly continuous $\forall t\in IR$ . That is, for every $t\in IR$ , if $f_n\stackrel{P^{\prime }}{\to }f$ then $T\left(t\right)f_n\stackrel{P^{\prime }}{\to }T\left(t\right)f$ .

3) $T\left(t+r\right)=T\left(t\right)\circ T\left(r\right)$ , $\forall t\mathrm{,}r\in IR$ .

4) $T\left(t\right)f\stackrel{P^{\prime }}{\to }f$ when $t\to 0$ , $\forall f\in P^{\prime }$ .

That is, for each $f\in P^{\prime }$ fixed, the following is satisfied

$\langle T\left(t\right)f\mathrm{,}\psi \rangle \to \langle f\mathrm{,}\psi \rangle \mathrm{,}\text{when}t\to 0\mathrm{,}\forall \psi \in P\mathrm{.}$

Proof.- Let $f\in P^{\prime }$ then $\hat{f}\in S^{\prime }\left(Z\right)$ . Then, from (3) we have

${\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\in S^{\prime }\left(Z\right)\mathrm{<mo>\; ;\; </mo>}$

taking the inverse Fourier transform, we obtain

$\underset{=T\left(t\right)f}{\underset{︸}{{\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee }}}\in P^{\prime }\mathrm{,}\forall t\in IR\mathrm{.}$

That is, $T\left(t\right)$ is well defined for all $t\in IR$ .

1) We easily obtain:

$T\left(0\right)f={\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}0}{\text{e}}^{-i\alpha 0}\right)}_{k\in Z}\right]}^{\vee }={\left[{\left(\hat{f}\left(k\right)\right)}_{k\in Z}\right]}^{\vee }={\left[\hat{f}\right]}^{\vee }=f\mathrm{,}\forall f\in P^{\prime }\mathrm{.}$

2) Let $t\in IR$ , we will prove that $T\left(t\right)\mathrm{<mo>\; :\; </mo>}{P}^{\prime }\to P^{\prime }$ is $IC$ -linear. In effect, let $a\in IC$ and $\left(\varphi \mathrm{,}\psi \right)\in P^{\prime }\times P^{\prime }$ , we have

$\begin{array}{c}T\left(t\right)\left(a\varphi +\psi \right)={\left[{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\left[a\varphi +\psi \right]}^{\wedge }\left(k\right)\right)}_{k\in Z}\right]}^{\vee }\\ ={\left[{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\left[a\hat{\varphi }\left(k\right)+\hat{\psi }\left(k\right)\right]\right)}_{k\in Z}\right]}^{\vee }\\ ={\left[a{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\varphi }\left(k\right)\right)}_{k\in Z}+{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\psi }\left(k\right)\right)}_{k\in Z}\right]}^{\vee }\\ =a{\left[{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\varphi }\left(k\right)\right)}_{k\in Z}\right]}^{\vee }+{\left[{\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{\psi }\left(k\right)\right)}_{k\in Z}\right]}^{\vee }\\ =aT\left(t\right)\varphi +T\left(t\right)\psi .\end{array}$

Now, for $t\in IR$ we will prove that $T\left(t\right)\mathrm{<mo>\; :\; </mo>}{P}^{\prime }\to P^{\prime }$ is weakly continuous. That is, if $f_n\stackrel{P^{\prime }}{\to }f$ then we will prove that $T\left(t\right)f_n\stackrel{P^{\prime }}{\to }T\left(t\right)f$ . Note that the case $t=0$ is obvious.

We know that if $f_n\stackrel{P^{\prime }}{\to }f$ then ${\hat{f}}_n\stackrel{S^{\prime }}{\to }\hat{f}$ , that is,

$\langle {\hat{f}}_n\mathrm{,}\xi \rangle \to \langle \hat{f}\mathrm{,}\xi \rangle \mathrm{,}\text{when}n\to +\infty \mathrm{,}\forall \xi \in S\left(Z\right)\mathrm{.}$

That is,

$\langle {\hat{f}}_n-\hat{f}\mathrm{,}\xi \rangle \to 0\mathrm{,}\text{when}n\to +\infty \mathrm{,}\forall \xi \in S\left(Z\right)\mathrm{.}$ (16)

We want to prove that:

$\langle T\left(t\right)f_n\mathrm{,}\psi \rangle \to \langle T\left(t\right)f\mathrm{,}\psi \rangle \text{when}n\to +\infty \mathrm{,}\forall \psi \in P\mathrm{.}$

Thus, let $t\in IR$ fixed and $\psi \in P$ , using the generalized Parseval identity, we obtain the following equalities

$\begin{array}{c}\langle T\left(t\right)f_n,\psi \rangle =\langle {\left[{\left({\hat{f}}_n\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee },\psi \rangle \\ =2\pi \langle {\left({\hat{f}}_n\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle ,\end{array}$ (17)

$\begin{array}{c}\langle T\left(t\right)f,\psi \rangle =\langle {\left[{\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee },\psi \rangle \\ =2\pi \langle {\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle .\end{array}$ (18)

From (17) and (18) we get

$\begin{array}{l}\langle T\left(t\right)f_n,\psi \rangle -\langle T\left(t\right)f,\psi \rangle \\ =2\pi \left\{\langle {\left({\hat{f}}_n\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle -\langle {\left(\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z},\widetilde{\stackrel{^}{\psi }}\rangle \right\}\\ =2\pi \left\{{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\hat{f}}_n\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\widetilde{\stackrel{^}{\psi }}(k)-{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\widetilde{\stackrel{^}{\psi }}\left(k\right)\right\}\\ =2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left\{{\hat{f}}_n\left(k\right)-\hat{f}\left(k\right)\right\}\underset{{\xi }_k:=}{\underset{︸}{{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\widetilde{\stackrel{^}{\psi }}\left(k\right)}}\to 0\end{array}$

when $n\to +\infty$ , since $\xi \mathrm{<mo>\; :\; </mo>}={\left({\xi }_k\right)}_{k\in Z}\in S\left(Z\right)$ and (16) holds, that is $\langle {\hat{f}}_n-\hat{f}\mathrm{,}\xi \rangle \to 0$ when $n\to +\infty$ .

3) Let $t\mathrm{,}r\in IR-\left\{0\right\}$ , we will prove that $T\left(t\right)\circ T\left(r\right)=T\left(t+r\right)$ . In effect, let $\varphi \in P^{\prime }$ ,

$\begin{array}{c}T\left(t+r\right)\varphi ={\left[{\left(\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^m\left(t+r\right)}{\text{e}}^{-i\alpha \left(t+r\right)}\right)}_{k\in Z}\right]}^{\vee }\\ ={\left[{\left(\underset{}{\underset{︸}{\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}}}\cdot {\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee }.\end{array}$ (19)

Since $\varphi \in P^{\prime }$ , using (3) we have that

${\left(\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}\right)}_{k\in Z}\in S^{\prime }\left(Z\right)\mathrm{,}\forall r\in IR\mathrm{.}$ (20)

Then, taking the inverse Fourier transform, we get:

${\left[{\left(\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}\right)}_{k\in Z}\right]}^{\vee }\in P^{\prime }\mathrm{,}\forall r\in IR\mathrm{.}$

Thus, we define:

$g_r\mathrm{<mo>\; :\; </mo>}={\left[{\left(\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}\right)}_{k\in Z}\right]}^{\vee }\in P^{\prime }\mathrm{.}$

That is,

$g_r\mathrm{<mo>\; :\; </mo>}=T\left(r\right)\varphi \mathrm{.}$ (21)

Taking the Fourier transform to $g_r$ we get:

${\hat{g}}_r={\left(\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}\right)}_{k\in Z}\mathrm{,}$

that is,

${\hat{g}}_r\left(k\right)=\hat{\varphi }\left(k\right){\text{e}}^{-i\mu k^{m}r}{\text{e}}^{-i\alpha r}\mathrm{,}\forall k\in Z\mathrm{.}$ (22)

Using (22) in (19) and from (21) we have:

$\begin{array}{c}T\left(t+r\right)\varphi ={\left[{\left({\hat{g}}_r\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}\right)}_{k\in Z}\right]}^{\vee }\in P^{\prime }\\ =T\left(t\right)g_r\\ =T\left(t\right)\left(T\left(r\right)\varphi \right)\\ =\left[T\left(t\right)\circ T\left(r\right)\right]\left(\varphi \right)\mathrm{,}\forall t\mathrm{,}r\in IR-\left\{0\right\}\mathrm{.}\end{array}$

So we have proven,

$T\left(t+r\right)=T\left(t\right)\circ T\left(r\right)\mathrm{,}\forall t\mathrm{,}r\in IR-\left\{0\right\}\mathrm{.}$ (23)

If $t=0$ or $r=0$ then equality (23) is also true, with this we conclude the proof of

$T\left(t+r\right)=T\left(t\right)\circ T\left(r\right)\mathrm{,}\forall t\mathrm{,}r\in IR\mathrm{.}$ (24)

4) Let $f\in P^{\prime }$ , we will prove that:

$T\left(t\right)f\stackrel{P^{\prime }}{\to }f\text{when}t\to 0\mathrm{.}$

That is, we will prove that

$\langle T\left(t\right)f\mathrm{,}\phi \rangle \to \langle f\mathrm{,}\phi \rangle \text{when}t\to 0\mathrm{,}\forall \phi \in P\mathrm{.}$

In effect, for $t\in IR-\left\{0\right\}$ and $\phi \in P$ , we have

$\begin{array}{c}{H}_t:=\langle T\left(t\right)f,\phi \rangle -\langle f,\phi \rangle \\ =\underset{n\to +\infty }{\lim }\left\{\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}{\varphi }_k,\phi \rangle -\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right){\varphi }_k,\phi \rangle \right\}\\ =\underset{n\to +\infty }{\lim }\langle {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right)\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right){\varphi }_k,\phi \rangle \\ =\underset{n\to +\infty }{\lim }{\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right)\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right)\langle {\varphi }_k,\phi \rangle \\ =\underset{n\to +\infty }{\lim }2\pi {\displaystyle \underset{k=-n}{\overset{n}{\sum }}}\hat{f}\left(k\right)\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right)\hat{\phi }\left(-k\right)\\ =2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right)\left({\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right)\hat{\phi }\left(-k\right).\end{array}$ (25)

Since $t\in IR-\left\{0\right\}$ , from (8) we get

$\left|\frac{{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1}{t}\right|\le \mu {\left|k\right|}^m+\left|\alpha \right|\mathrm{.}$ (26)

From (26) we obtain

$\left|{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right|\le \left\{\mu {\left|k\right|}^m+\left|\alpha \right|\right\}\left|t\right|,\forall t\in IR.$ (27)

From (27) with $0<\left|t\right|<1$ , we have

$\left|{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right|\le \mu {\left|k\right|}^m+\left|\alpha \right|.$ (28)

Then using (28) and that $f\in P^{\prime }$ , we obtain

$\begin{array}{l}{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\left|\hat{f}\left(k\right)\right|\left|{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right|\left|\hat{\phi }\left(-k\right)\right|\\ \le C\left\{\mu {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^{N+m}\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|+\left|\alpha \right|{\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}{\left|k\right|}^N\left|\hat{\phi }(\underset{=J}{\underset{︸}{-k}})\right|\right\}\\ =C\left\{\mu {\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^{N+m}\left|\hat{\phi }\left(J\right)\right|+\left|\alpha \right|{\displaystyle \underset{J=-\infty }{\overset{+\infty }{\sum }}}{\left|J\right|}^N\left|\hat{\phi }\left(J\right)\right|\right\}<\infty \end{array}$

since $\hat{\phi }\in S\left(Z\right)$ .

Using the Weierstrass M-Test we conclude that the $H_t$ series converges absolute and uniformly. So,

$\underset{t\to 0}{\lim }{H}_t=2\pi {\displaystyle \underset{k=-\infty }{\overset{+\infty }{\sum }}}\hat{f}\left(k\right)\hat{\phi }\left(-k\right)\underset{=0}{\underset{︸}{\underset{t\to 0}{\lim }\left\{{\text{e}}^{-i\mu k^{m}t}{\text{e}}^{-i\alpha t}-1\right\}}}=0.$

Thus, we have proved

$\underset{t\to 0}{\lim }\langle T\left(t\right)f\mathrm{,}\phi \rangle =\langle f\mathrm{,}\phi \rangle \mathrm{.}$

$\square$

Theorem 3.3 For each $f\in P^{\prime }$ fixed and the family of operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ from Theorem 3.2, then the application

$\begin{array}{l}M\mathrm{<mo>\; :\; </mo>}IR\to P^{\prime }\\ t\to T\left(t\right)f\end{array}$

is continuous in $IR$ . That is,

$T\left(t+h\right)f\stackrel{P^{\prime }}{\to }T\left(t\right)f\text{when}h\to 0\mathrm{,}\forall t\in IR\mathrm{.}$ (29)

(is the continuity at t).

That is, (29) tell us that for each $t\in IR$ fixed, the following is satisfied

$\langle T\left(t+h\right)f\mathrm{,}\psi \rangle \to \langle T\left(t\right)f\mathrm{,}\psi \rangle \mathrm{,}\text{when}h\to 0\mathrm{,}\forall \psi \in P\mathrm{.}$

And if $t=0$ , we have the continuity of M at 0, which is item 4) of Theorem 3.2.

Proof.- Let $t\in IR-\left\{0\right\}$ , arbitrary fixed and $f\in P^{\prime }$ then $g:=T\left(t\right)f\in P^{\prime }$ , using item 4) of Theorem 3.2, we have that $T\left(h\right)g\stackrel{P^{\prime }}{\to }g$ when $h\to 0$ . That is,

$\underset{=\underset{=T\left(h+t\right)f}{\underset{︸}{\left[T\left(h\right)\circ T\left(t\right)\right]f}}}{\underset{︸}{T\left(h\right)\left(T\left(t\right)f\right)}}\stackrel{P^{\prime }}{\to }T\left(t\right)f\text{when}h\to 0,$

where we use item 3) of Theorem 3.2.

$\square$

Remark 3.1 The results obtain in Theorems 3.2 and 3.3 are also valid for the family of operators ${\left\{S\left(t\right)\right\}}_{t\in IR}$ , defined as

$\begin{array}{l}S\left(t\right)\mathrm{<mo>\; :\; </mo>}{P}^{\prime }\to P^{\prime }\\ f\to S\left(t\right)f:={\left[{\left({\text{e}}^{i\mu k^{m}t}{\text{e}}^{-i\alpha t}\hat{f}\left(k\right)\right)}_{k\in Z}\right]}^{\vee },\end{array}$

for $t\in IR$ . Its proof is similar.

3.3. Version of Theorem 3.1 Using the Family ${\left\{T\left(t\right)\right\}}_{t\in IR}$

We improve the statement of theorem 3.1, using a family of weakly continuous Operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ .

Theorem 3.4 Let $f\in P^{\prime }$ and the family of operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ from Theorem 3.2, defining $u\left(t\right)\mathrm{<mo>\; :\; </mo>}=T\left(t\right)f\in P^{\prime }$ , $\forall t\in IR$ , then $u\in C\left(IR\mathrm{,}{P}^{\prime }\right)$ is the unique solution of ( $Q_{m+1}$ ). Furthermore, u continuously depends on f. That is, given $f_n\mathrm{,}f\in P^{\prime }$ with $f_n\stackrel{P^{\prime }}{\to }f$ implies $u_n\left(t\right)\stackrel{P^{\prime }}{\to }u\left(t\right)$ , $\forall t\in IR$ , where $u_n\left(t\right)\mathrm{<mo>\; :\; </mo>}=T\left(t\right)f_n$ , $\forall t\in IR$ (that is, $u_n$ is a solution of ( $Q_{m+1}$ ) with initial data $f_n$ ).

Proof.- It is analogous to the proof of Theorem 3.1.

$\square$

Corollary 3.2 Let $f\in P^{\prime }$ be fixed and the family of operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ from Theorem 3.4, then $\exists {\partial }_{t}T\left(t\right)f$ , $\forall t\in IR$ and the mapping

$\begin{array}{l}\tilde{\eta }\mathrm{<mo>\; :\; </mo>}IR\to P^{\prime }\\ t\to {\partial }_{t}T\left(t\right)f=i\mu {\partial }_x^{m}T\left(t\right)f-i\alpha T\left(t\right)f\end{array}$

is continuous at $IR$ . That is,

${\partial }_{t}T\left(t+h\right)f\stackrel{P^{\prime }}{\to }{\partial }_{t}T\left(t\right)f\text{when}h\to 0\mathrm{,}\forall t\in IR\mathrm{.}$ (30)

(30) tells us that for each $t\in IR$ fixed, it holds:

$\langle {\partial }_{t}T\left(t+h\right)f\mathrm{,}\phi \rangle \to \langle {\partial }_{t}T\left(t\right)f\mathrm{,}\phi \rangle \text{when}h\to 0\mathrm{,}\forall \phi \in P\mathrm{.}$

Proof.- Indeed,

$\begin{array}{l}\langle {\partial }_{t}T\left(t+h\right)f\mathrm{,}\phi \rangle -\langle {\partial }_{t}T\left(t\right)f\mathrm{,}\phi \rangle \\ =i\mu \left\{\langle {\partial }_x^{m}T\left(t+h\right)f\mathrm{,}\phi \rangle -\langle {\partial }_x^{m}T\left(t\right)f\mathrm{,}\phi \rangle \right\}-i\alpha \left\{\langle T\left(t+h\right)f\mathrm{,}\phi \rangle -\langle T\left(t\right)f\mathrm{,}\phi \rangle \right\}\\ =i\mu \underset{\to 0}{\underset{︸}{\left\{\langle T\left(t+h\right)f\mathrm{,}{\phi }^{\left(m\right)}\rangle -\langle T\left(t\right)f\mathrm{,}{\phi }^{\left(m\right)}\rangle \right\}}}-i\alpha \underset{\to 0}{\underset{︸}{\left\{\langle T\left(t+h\right)f\mathrm{,}\phi \rangle -\langle T\left(t\right)f\mathrm{,}\phi \rangle \right\}}}\\ \to 0\end{array}$

when $h\to 0$ , due to Theorem 3.3 with $\psi :={\phi }^{\left(J\right)}\in P$ , for $J=0,m$ .

$\square$

Corollary 3.3 Let $f\in P^{\prime }$ be fixed and the family of operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ from Theorem 3.4, then the solution of ( $Q_{m+1}$ ): $u\left(t\right)\mathrm{<mo>\; :\; </mo>}=T\left(t\right)f$ , $\forall t\in IR$ , satisfies $u\in C^1\left(IR\mathrm{,}{P}^{\prime }\right)$ .

Proof.- It comes out as a consequence of Corollary 3.2.

$\square$

4. Conclusions

In our study of the generalized Schrödinger type homogeneous model in the periodic distributional space $P^{\prime }$ , we have obtained the following results:

1) We prove the existence, uniqueness of the solution of the problem ( $Q_{m+1}$ ). Thus we also prove the continuous dependence of the solution respect to the initial data.

2) We introduce families of operators in $P^{\prime }$ : ${\left\{T\left(t\right)\right\}}_{t\in IR}$ and we prove that they are linear and weakly continuous in $P^{\prime }$ . Furthermore, we proved that they form a group of weakly continuous operators in $P^{\prime }$ .

3) With the family of operators ${\left\{T\left(t\right)\right\}}_{t\in IR}$ we improve Theorem 3.1.

4) In contrast to what was obtained in $P^{\prime }$ with what has already been studied in $H_{per}^s$ , we see that the weakly continuous operators are not unitary due to the topology of $P^{\prime }$ .

5) It is mathematically enriched, since we generate families of operators.

6) We must indicate that this technique can be applied to other evolution equations in $P^{\prime }$ .

7) Finally, for future work we want to emphasize that the results obtained will allow us to apply computational methods to determine the solution with a degree of approximation that is required and with a lower error rate.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Santiago Ayala, Y. and Candia Estrada, V. (2022) Existencia de la solución de un Modelo Homogéneo Tipo Schrödinger Generalizado. Journal of Engineering Research, 3, 2-13. https://doi.org/10.22533/at.ed.317312301016
[2]	Terence, T. (2006) Nonlinear Dispersive Equations: Local and Global Analysis (Regional Conference Series in Mathematics, No. 106). American Mathematical Society, Rhode Island. https://bookstore.ams.org/cbms-106
[3]	Kato, T. (1983) On the Cauchy Problem for the (Generalized) KdV Equations. Studies in Applied Mathematics, Advances in Mathematics Supplementary Studies, 8, 93-128. https://cir.nii.ac.jp/crid/1571135649130864512
[4]	Linares, F. and Ponce, G. (2015) Introduction to Nonlinear Dispersive Equations. Springer Verlag, New York. https://doi.org/10.1007/978-1-4939-2181-2
[5]	Liu, Z. and Zheng, S. (1999) Semigroups Associated with Dissipative System. Chapman and Hall/CRC, New York.
[6]	Muñoz Rivera, J.E. (2007) Semigrupos e Equações Diferenciais Parciais. LNCC, Petrópolis-RJ.
[7]	Pazy, A. (1983) Semigroups of Linear Operator and Applications to Partial Differential Equations. In: Bloch, A., Epstein, C.L., Goriely, A. and Greengard, L., Eds., Applied Mathematical Sciences (Vol. 44), Springer-Verlag, New York. https://doi.org/10.1007/978-1-4612-5561-1
[8]	Santiago Ayala, Y.S. (2003) Sobre la analiticidad del semigrupo Co asociado a un sistema viscoelástico. Pesquimat, 6, 27-36. https://doi.org/10.15381/pes.v6i2.9309
[9]	Santiago Ayala, Y. (2012) Global Existence and Exponential Stability for a Coupled Wave System. Journal of Mathematical Sciences: Advances and Applications, 16, 29-46.
[10]	Raposo, C.A., Ayala, Y.S.S. and Nonato, C.A.S. (2021) Laminated Beams with Time-Varying Delay. Osaka Journal of Mathematics, 58, 929-945.
[11]	Iorio, R. and Iorio, V. (2002) Fourier Analysis and Partial Differential Equations. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511623745
[12]	Santiago Ayala, Y. and Rojas, S. (2017) Regularity and Wellposedness of a Problem to One Parameter and Its Behavior at the Limit. Bulletin of the Allahabad Mathematical Society, 32, 207-230.
[13]	Santiago Ayala, Y. (2021) Results on the Well Posedness of a Distributional Differential Problem. Selecciones Matemáticas, 8, 348-359. https://doi.org/10.17268/sel.mat.2021.02.11
[14]	Santiago Ayala, Y. (2022) Existence of Solution of a Distributional Problem for a Generalized Schrödinger Equation. Selecciones Matemáticas, 9, 91-101. https://doi.org/10.17268/sel.mat.2022.01.07