## Abstract

In this note we consider the nonlinear heat equation associated to the fractional Hermite operator \(H^\beta =(-\Delta +|x|^2)^\beta \), \(0<\beta \le 1\). We show the local solvability of the related Cauchy problem in the framework of modulation spaces. The result is obtained by combining tools from microlocal and time-frequency analysis. As a byproduct, we compute the Gabor matrix of pseudodifferential operators with symbols in the Hörmander class \(S^m_{0,0}\), \(m\in \mathbb {R}\).

## Introduction and results

In this note we study the Cauchy problem for the nonlinear heat equation associated to the fractional Hermite operator

with \(t\in [0,T]\), \(T>0\), \(x\in \mathbb {R}^d\), \(H^\beta =(-\Delta +|x|^2)^\beta \), \(0<\beta \le 1\), \(\Delta =\partial ^2_{x_1}+\dots \partial ^2_{x_d}\), \(d\ge 1\). *F* is a scalar function on \(\mathbb {C}\), with \(F(0)=0\). The solution *u*(*t*, *x*) is a complex valued function of \((t,x)\in \mathbb {R}\times \mathbb {R}^d\). We will consider the case in which *F* is a real analytic function with an entire extension.

Well-posedness of the heat equation has been studied by many authors, see e.g. [10, 21] and the many contributions by Wong, for instance [31, 32], see also [6]. In particular, heat equations associated to fractional Hermite operators were recently studied in [3], for related results see also [5]. Hermite multipliers are considered in [4], see also the textbook [25]. Recently the study of Cauchy problems in modulation spaces have been pursued by many authors, see the pioneering works [1, 2]. Many deep results in this framework for nonlinear evolution equations have been obtained by B. Wang et al. in [27, 28] and are also available in the textbook [30].

Following the spirit of [8, 12], we shall prove the local existence and uniqueness of the solutions in modulation spaces to the Cauchy problem (1). The key arguments come from both microlocal and time-frequency analysis. In fact, we shall rely on the results related to spectral theory of globally elliptic operators developed by Helffer [20] to understand the properties of the fractional Hermite operators \(H^\beta \). Namely, they are pseudodifferential operators with Weyl symbols \(a_\beta \) positive globally elliptic and in the Shubin classes \(\Gamma ^{2\beta }_1\) (see Definition 2.2 and the estimate (13) below).

The spectral decomposition of the Hermite operator \(H=-\Delta +|x|^2\) is given by \(H=\sum _{k=0}^\infty (2k +d) P_k\), where \(P_k\) is the orthogonal projection of \(L^2(\mathbb {R}^d)\) onto the eigenspace corresponding to the eigenvalue \((2k + d)\). Namely, the range of the operator \(P_k\) is the space spanned by the Hermite functions \(\Phi _\alpha \) in \(\mathbb {R}^d\), with \(\alpha \) multi-index in \(\mathbb {N}^d\), such that \(|\alpha |=k\). The solution to the homogeneous Cauchy problem (1) (i.e., \(F=0\)) can be formally written in terms of the heat semigroup related to \(H^\beta \)

as \({u}(t,x)=K_\beta (t)u_0=e^{-tH^\beta } u_0(x),\quad t\ge 0,\, x\in \mathbb {R}^d.\)

We shall prove that the propagator \(K_\beta (t)=e^{-t H^\beta }\) can be represented as a pseudodifferential operator with Weyl symbol in the Shubin class \(\Gamma ^0_1\), with related semi-norms uniformly bounded with respect to the time variable \(t\in [0,T]\), for any fixed \(T>0\).

After that we shall leave the microlocal techniques to come to time-frequency analysis. We perform a general study concerning the boundedness of Shubin \(\tau \)-pseudodifferential operators with symbols in the Hörmander classes \(S^m_{0,0}\) (for \(\tau =1/2\) we recapture the Weyl case). The outcomes are contained in Theorem 2.4 below (see also the subsequent corollary and remark).

The main tool here is to study the decay of their related Gabor matrix representations, which we shall also control by the semi-norms in \(S^m_{0,0}\). We think that such result is valuable in and of itself.

We then use the special case of Weyl operators to study (1). The integral version of the problem (1) has the form

where

To show that the Cauchy Problem (1) has a unique solution, we use a variant of the contraction mapping theorem (see Proposition 3.3 below).

As already mentioned, the function spaces used for our results are weighted modulation spaces \(M_w^{p,q}\), \(1\le p,q\le \infty \), introduced by H. Feichtinger in 1983 [14] (then extended to \(0<p,q\le \infty \) in [15]). We refer the reader to Sect. 2 for their definitions and main properties.

The local well-posedness results for modulation spaces read as follows:

### Theorem 1.1

Assume \(s\ge 0\), \(1\le p<\infty \), \(u_0\in {M}^{p,1}_s(\mathbb {R}^d)\) and

an entire real-analytic function on \(\mathbb {C}\) with \(F(0)=0\). For every \(R>0\), there exists \(T>0\) such that for every \(u_0\) in the ball \(B_R\) of center 0 and radius *R* in \({M}^{p,1}_s(\mathbb {R}^d)\) there exists a unique solution \(u\in \mathcal {C}^0([0,T];{M}^{p,1}_s(\mathbb {R}^d))\) to (1). Furthermore, the map \(u_0\mapsto u\) from \(B_R\) to \( \mathcal {C}^0([0,T];{M}^{p,1}_s(\mathbb {R}^d))\) is Lipschitz continuous.

For \(p=\infty \) the result still holds if we replace \(M^{\infty ,1}_s(\mathbb {R}^d)\) with the space \(\mathcal {M}^{\infty ,1}_s(\mathbb {R}^d)\), the closure of the Schwartz class in the \(M^{\infty ,1}_s\)-norm.

We actually do not know whether it is possible to obtain better results concerning the nonlinearity \(F(u)=\lambda |u|^{2k} u\), \(k\in \mathbb {N}\), we refer to the work [5] for a discussion on the topic.

The tools employed follow the pattern of similar Cauchy problems studied for other equations such as the Schrödinger, wave and Klein-Gordon equations [1, 2, 8, 12].

To compare with other results in the literature, we observe that also in [31, 32], and in [6] the authors use Wigner distributions and pseudodifferential operators as tools for their main results. In the latter paper the author gives a formula for the one-parameter strongly continuous semigroup \(e^{-t H^\beta }\) in terms of the Weyl transforms of a \(L^2\)-orthonormal basis made of generalized Hermite eigenfunctions. This is then used to obtain \(L^2\)-estimates for the solution of the related initial value problem with data in \(L^p\) spaces, \(1 \le p \le \infty \). Here the approach uses similar ideas of joining microlocal and time-frequency analysis tools, but the spaces employed are different: we use modulation spaces, which are the most common ones in time-frequency analysis.

## Function spaces and preliminaries

We denote by *v* a continuous, positive, submultiplicative weight function on \(\mathbb {R}^d\), i.e., \( v(z_1+z_2)\le v(z_1)v(z_2)\), for all \( z_1,z_2\in \mathbb {R}^d\). We say that \(w\in \mathcal {M}_v(\mathbb {R}^d)\) if *w* is a positive, continuous weight function on \(\mathbb {R}^d\) *v-moderate*: \(w(z_1+z_2)\le Cv(z_1)w(z_2)\) for all \(z_1,z_2\in \mathbb {R}^d\) (or for all \(z_1,z_2\in \mathbb {Z}^d\)). We will mainly work with polynomial weights of the type

Observe that, for \(s<0\), \(v_s\) is \(v_{|s|}\)-moderate. Moreover, we limit to weights *w* with at most polynomial growth, that is there exists \(C>0, s>0\) such that

We define \((w_1\otimes w_2)(x,\xi ):=w_1(x)w_2(\xi )\), for \(w_1,w_2\) weights on \(\mathbb {R}^d\).

The main features of time-frequency analysis are \(T_x\) and \(M_\xi \), the so-called translation and modulation operators, defined by \(T_x g(y)=g(y-x)\) and \(M_\xi g(y)=e^{2\pi i\xi y}g(y)\). Let \(g\in \mathcal {S}(\mathbb {R}^d)\) be a non-zero window function in the Schwartz class and consider the short-time Fourier transform (STFT) \(V_gf\) of a function/tempered distribution *f* in \(\mathcal {S}'(\mathbb {R}^d)\) with respect to the the window *g*:

i.e., the Fourier transform \(\mathcal {F}\) applied to \(f\overline{T_xg}\).

For \(z=(z_1,z_2)\in {\mathbb {R}^{2d}}\), we call *time-frequency shifts* the composition

**Modulation Spaces.** For \(1\le p,q\le \infty \) such spaces were introduced by H. Feichtinger in [14] (see also their characterization in [13]), then extended to \(0<p,q\le \infty \) by Y.V. Galperin and S. Samarah in [15].

### Definition 2.1

Fix a non-zero window \(g\in \mathcal {S}(\mathbb {R}^d)\), a weight \(w\in \mathcal {M}_v\) and \(0<p,q\le \infty \). The modulation space \(M^{p,q}_w(\mathbb {R}^d)\) consists of all tempered distributions \(f\in \mathcal {S}'(\mathbb {R}^d)\) such that the (quasi-)norm

(with obvious changes with \(p=\infty \) or \(q=\infty )\) is finite.

For \(1\le p,q\le \infty \) they are Banach spaces, whose norm does not depend on the window *g*, in the sense that different window functions in \(\mathcal {S}(\mathbb {R}^d)\) yield equivalent norms. Moreover, the window class \(\mathcal {S}(\mathbb {R}^d)\) can be extended to the modulation space \(M^{1,1}_v(\mathbb {R}^d)\) (so-called Feichtinger algebra).

For shortness, we write \(M^p_w(\mathbb {R}^d)\) in place of \(M^{p,p}_w(\mathbb {R}^d)\), \(M^{p,q}(\mathbb {R}^d)\) if \(w\equiv 1\). Moreover, for \(w(x,\xi )=(1\otimes v_s)(x,\xi )\), we shall simply write, using the standard notation [14],

In our study, we will apply Minkowski’s integral inequality to study the operator \(\mathcal {B}\) in (3). Such inequalities do not hold whenever the indices \(p<1\) or \(q<1\), hence we shall limit ourselves to the cases \(1\le p,q\le \infty \).

We do not know whether the local well-posedness is still valid in the quasi-Banach setting.

Recall that for \(1\le p,q\le \infty \), \(w\in \mathcal {M}_v\) and \(g\in M^1_v(\mathbb {R}^d)\), the norm \(\Vert V_gf \Vert _{L^{p,q}_w}\) is an equivalent norm for \(M^{p,q}_w(\mathbb {R}^d)\) [16, Thm. 11.3.7]). In other words, given any \(g \in M^1_v (\mathbb {R}^d)\) and \(f\in M_w^{p,q}\) we have the norm equivalence

For this work we will use the inversion formula for the STFT (see [16, Proposition 11.3.2]): assume \(g\in M^{1}_v(\mathbb {R}^d){\setminus }\{0\}\), \(f\in M^{p,q}_w(\mathbb {R}^d)\), with \(w\in \mathcal {M}_v\), then

and the equality holds in \(M^{p,q}_w(\mathbb {R}^d)\).

We also recall their inclusion relations:

Other properties and more general definitions of modulation spaces can now be found in textbooks [9, 16].

### Shubin classes and symbols of the operators \(H^\beta \) and \(e^{-t H^\beta }\)

Let us first recall the definition of Shubin classes (Shubin [24, Definition 23.1]):

### Definition 2.2

Let \(m\in \mathbb {R}\). The symbol class \(\Gamma _1 ^{m}(\mathbb {R}^{2d})\) consists of all complex functions \(a\in C^{\infty }(\mathbb {R}^{2d})\) such that for every \(\alpha \in \mathbb {N}^{2d}\) there exists a constant \(C_{\alpha }\ge 0\) with

It immediately follows from this definition that if \(a\in \Gamma _{1} ^{m}(\mathbb {R}^{2n})\) and \(\alpha \in \mathbb {N}^{2n}\) then \(\partial _{z}^{\alpha }a\in \Gamma _{1}^{m-|\alpha |}(\mathbb {R}^{2n}).\)

Obviously \(\Gamma _{1}^{m}(\mathbb {R}^{2n})\) is a complex vector space for the usual operations of addition and multiplication by complex numbers, and we have

The notion of asymptotic expansion of a symbol \(a\in \Gamma _{1}^{m}(\mathbb {R}^{2d})\) (cf. [24], Definition 23.2) reads as follows.

### Definition 2.3

Let \((a_{j})_{j}\) be a sequence of symbols \(a_{j}\in \Gamma _{1 }^{m_{j}}(\mathbb {R}^{2d})\) such that

\(\lim _{j\rightarrow +\infty } m_{j}\rightarrow -\infty \). Let *a* \(\in C^{\infty }(\mathbb {R}^{2d})\). If for every integer \(r\ge 2\) we have

where \(\overline{m}_{r}=\max _{j\ge r}m_{j}\) we will write \(a\thicksim \sum _{j=0}^{\infty }a_{j}\) and call this relation an asymptotic expansion of the symbol *a*.

The interest of the asymptotic expansion comes from the fact that every sequence of symbols \((a_{j})_{j}\) with \(a_{j}\in \Gamma _{1}^{m_{j} }(\mathbb {R}^{2d})\), the degrees \(m_{j}\) being strictly decreasing and such that \(m_{j}\rightarrow -\infty \) determines a symbol in some \(\Gamma _{1} ^{m}(\mathbb {R}^{2d})\), that symbol being unique up to an element of \(\mathcal {S}(\mathbb {R}^{2d})\).

The symbol of the Hermite operator (or harmonic oscillator) \(H(z)=(|x|^{2} +4\pi ^2|\xi |^{2})\) obviously belongs to \(\Gamma _{1}^{2}(\mathbb {R}^{2d})\).

From [20, Theorem 1.11.1] we infer that the fractional power \(H^\beta \), \(0<\beta <1\), can be written as a Weyl pseudodifferential operator having real symbol \(a_\beta \) in the Shubin class \(\Gamma ^{2\beta }_1\) and positive globally elliptic. Recall that a symbol \(a_\beta \) is positive globally elliptic if there exist \(C>0\) and \(R>0\) such that

Thanks to the properties of \(H^\beta \) above, we can exploit a result by Nicola and Rodino in [22, Theorem 4.5.1] to prove that the operator \(e^{-tH^\beta }\) is a pseudodifferential operator with Weyl symbol in the Shubin class \(\Gamma _1^0\), with uniform estimates with respect to \(t\in [0,T]\), for any fixed \(T>0\).

For this purpose, we use the above theorem in the following setting:

moreover we choose the parameters \(l=N=0\) and \(J=1\). If we consider the asymptotic expansion \(a_\beta \sim \sum _{0}^\infty a_{\beta ,j}\) as in Definition 2.3, together with the ellipticity condition \(a_{\beta ,0}(z) > rsim \langle z\rangle ^{2\beta }\), \(|z|\ge R\), then Theorem 4.5.1. guarantees that the operator \(e^{-tH^\beta }\) is a pseudodifferential operator with Weyl symbol *b*(*t*, *z*) satisfying, for every \(k\in \mathbb {N}\), \(T>0\), the estimate

where \(b_0(t,z)=e^{-t a_{\beta ,0}(z)}\), and the semi-norms \(|\cdot |_k\), \(k\in \mathbb {N}\), are defined by

Defining the remainder \(R_1(t,z):= b(t,z)-b_0(t,z)\), we infer from (14) that \(R_1(t,\cdot )\in \Gamma _1^{-2}({\mathbb {R}^{2d}})\subset \Gamma _1^{0}({\mathbb {R}^{2d}}) \) uniformly w.r.t. *t* on [0, *T*].

Moreover, using the ellipticity condition \(a_{\beta ,0}(z) > rsim \langle z \rangle ,\) for \( |z|\ge R\), and the property \(a_{\beta ,0}\in \Gamma _1^{2\beta }({\mathbb {R}^{2d}})\), one easily shows by induction that there exists a constant \(C>0\):

that is to say, the symbol \(b_0(t,z)\) is in the Shubin class \(\Gamma ^0_1({\mathbb {R}^{2d}})\) with uniform estimates w.r.t. the time variable \(t\in [0,T]\). Hence, \(b(t,\cdot )=b_0(t,\cdot )+R_1(t,\cdot )\in \Gamma ^0_1({\mathbb {R}^{2d}})\), with uniform estimate w.r.t. \(t\in [0,T]\).

For applications of Shubin classes in the framework of Born-Jordan quantization we refer to the work [7].

### Gabor analysis of \(\tau \)-pseudodifferential operators

For \(\tau \in [0,1]\), \(f,g\in L^2(\mathbb {R}^d)\), the (cross-)\(\tau \)-Wigner distribution is defined by

It can be used to define the \(\tau \)-pseudodifferential operator with symbol \(\sigma \) via the formula

For \(\tau =1/2\) we recapture the Weyl operator. We want to consider \(\tau \)-pseudodifferential operators with symbols \(\sigma \) in the Hörmander class \(S^m_{0,0}\), \(m\in \mathbb {R}\), consisting of functions \(\sigma \in \mathcal {C}^\infty ({\mathbb {R}^{2d}})\) such that, for every \(\alpha \in \mathbb {N}^{2d}\),

The related semi-norms are denote by

Fix \(g\in \mathcal {S}(\mathbb {R}^d){\setminus }\{0\}\). We define the *Gabor matrix* of a linear continuous operator *T* from \(\mathcal {S}(\mathbb {R}^d)\) to \(\mathcal {S}'(\mathbb {R}^d)\), the mapping from \({\mathbb {R}^{2d}}\times {\mathbb {R}^{2d}}\) into \(\mathbb {C}\),

This is a slightly abuse of notation, since originally Gabor matrices we defined for time-frequency shifts \(\pi (\lambda )\), with \(\lambda \) varying in a lattice \(\Lambda \subset {\mathbb {R}^{2d}}\). We observe that the almost diagonalization of Gabor matrices of pseudodifferential operators with symbols in the modulation space \(M^{\infty ,1}({\mathbb {R}^{2d}})\) treated in [17] (and in many subsequent papers on the topic) are valid in both the continuous and discrete case. So we adopt this terminology in the continuous framework.

For \(m=0\) we are reduced to the Hörmander class \(S^0_{0,0}\), whose Gabor matrix characterization for Weyl operators was shown in [18, Theorem 6.1], see also [23]. Even though \(m=0\) is our case of interest, for our goal we need to control such matrix by the semi-norms of \(S^0_{0,0}\). Moreover, for further references, we shall formulate our result in the case of \(\tau \)-pseudodifferential operators having symbols in the more general class \(S^m_{0,0}\), \(m\in \mathbb {R}\).

We are going to use the following result for \(\tau \)-pseudodifferential operators [11, Lemma 4.1].

### Lemma 2.1

Fix a non-zero window \(g\in \mathcal {S}(\mathbb {R}^d)\) and set \(\Phi _{\tau }=W_{\tau }(g,g)\) for \(\tau \in \left[ 0,1\right] \). Then, for \(\sigma \in \mathcal {S}'\left( \mathbb {R}^{2d}\right) \),

where \(z=(z_1,z_2)\), \(y=(y_1,y_2)\) and \(\mathcal {T}_{\tau }\) and *J* are defined as follows:

The Gabor matrix for a \(\tau \)-pseudodifferential operator \(\mathrm {Op}_{\tau }(\sigma )\) with symbol \(\sigma \in S^m_{0,0}\) enjoys the following decay.

### Theorem 2.4

Fix \(g\in \mathcal {S}(\mathbb {R}^d){\setminus }\{0\}\), \(m\in \mathbb {R}\), \(\tau \in [0,1]\). Consider a \(\tau \)-pseudodifferential operator \(\mathrm {Op}_{\tau }(\sigma )\) with symbol \(\sigma \in S^m_{0,0}\). Then for every \(N\in \mathbb {N}\) there exists \(C=C(N)>0\) such that

where the semi-norms \(|\cdot |_{N,m}\) are defined in (19).

### Proof

Using the representation in (21) and

we can write

(observe that the above integral is absolutely convergent since \(\Phi _\tau \in \mathcal {S}({\mathbb {R}^{2d}})\)). Now we estimate

for every \(s\ge 0\) since \(\Phi _\tau \in \mathcal {S}({\mathbb {R}^{2d}})\). Choose \(s=|m|+2d+1\). Then the submultiplicativity of \(\langle \cdot \rangle ^{|m|}\) allows us to control from above the right-hand side of the last inequality by

Hence, for every \(N\in \mathbb {N}\) we can find \(C(N)>0\) such that (22) is satisfied. This concludes the proof. \(\square \)

For fixed \(\tau \in (0,1)\) we observe that \(\langle \mathcal {T}_{\tau }(z,y)\rangle \asymp \langle z+y\rangle \), hence the matrix decay can be controlled by a function which does not depend on the \(\tau \)-quantization. Namely,

### Corollary 2.5

Fix \(g\in \mathcal {S}(\mathbb {R}^d){\setminus }\{0\}\), \(m\in \mathbb {R}\), \(\tau \in (0,1)\). Consider a \(\tau \)-pseudodifferential operator \(\mathrm {Op}_{\tau }(\sigma )\) with symbol \(\sigma \in S^m_{0,0}\). Then, for every \(N\in \mathbb {N}\), there exists \(C=C(\tau ,N)>0\) such that

### Remark 2.2

We conjecture that pseudodifferential operators in the Hörmander class \(S^m_{0,0}\), \(m\in \mathbb {R}\), can be characterized via the Gabor matrix in (22), extending the case \(m=0\) already shown in [18]. To be precise, we allow to write

Studying the Gabor matrix decay for \(M^\infty _{\langle \cdot \rangle ^m\otimes \langle \cdot \rangle ^s}\) and following the pattern of the proofs as in the paper [18] one should get the result easily. Since this subject is outside the scope of the paper, we will write the details in a separate work.

## Local well-posedness in modulation spaces

For \(m=0\) the semi-norms on \(\Gamma ^0_1\) are exactly the ones in (15). Observe that

(the inclusion is continuous).

The results in the previous yields the boundedness of the Weyl operator \( e^{-t H^\beta }\) on modulation spaces.

### Theorem 3.1

Consider \(1\le p,q\le \infty \), \(0<\beta \le 1\), \(w\in \mathcal {M}_{v}\). Then for every \(T>0\) there exists \(C=C(T)>0\) such that

### Proof

Consider \(u_0\in {M}_w^{p,q}(\mathbb {R}^d)\). Fix \(g\in \mathcal {S}(\mathbb {R}^d){\setminus }\{0\}\) such that \(\Vert g\Vert _2=1\). Then using the inversion formula for \(u_0\) in (8) we can write

In the previous section we showed that \(e^{-t H^\beta }\) is a Weyl operator with symbol \(b(t,\cdot )\) in \(\Gamma _1^0\) with semi-norms uniformly bounded w.r.t. \(t\in [0,T].\) The continuous embedding in (24) and Theorem 2.4 let us write

Since \(w(y)\lesssim v(y-z) w(z)\), and \(v(z)\lesssim \langle z\rangle ^s\) for some \(s>0\), we can write

Choosing *N* such that \(2N-s>2d+1\) and using the convolution relations \(L^1*L^{p,q}\hookrightarrow L^{p,q}\) we obtain the claim. \(\square \)

Choosing \(p=q=2\) and recalling that, for \(w(x,\xi )=\langle \xi \rangle ^s\), \(M^2_w(\mathbb {R}^d)=H^s(\mathbb {R}^d)\) (Sobolev spaces), whereas for \(w(z)=\langle z\rangle ^s\), \(z\in {\mathbb {R}^{2d}}\), \(M^2_w(\mathbb {R}^d)=\mathcal {Q}_s\) (Shubin-Sobolev spaces), cf., e.g., [9, Chapter 2], we obtain boundedness results also for these classical spaces.

### Corollary 3.2

Consider \(0<\beta \le 1\), \(s\in \mathbb {R}\). For any fixed \(T>0\) there exists \(C=C(T)>0\) such that

The same result holds by replacing the Sobolev space \(H^s\) with the Shubin-Sobolev space \(\mathcal {Q}_s\).

As already done in [12], in order to show the local existence of the solution we will make use of the following variant of the contraction mapping theorem (cf., e.g., [26, Proposition 1.38]).

### Proposition 3.3

Let \(\mathcal {N}\) and \(\mathcal {T}\) be two Banach spaces. Consider a linear operator \(\mathcal {B}:\mathcal {N}\rightarrow \mathcal {T}\) such that

for some \(C_0>0\), and suppose to have a nonlinear operator \(F:\mathcal {T}\rightarrow \mathcal {N}\) with \(F(0)=0\) and Lipschitz bounds

for all *u*, *v* in the ball \(B_\mu :=\{u\in \mathcal {T}: \Vert u\Vert _\mathcal {T}\le \mu \}\), for some \(\mu >0\). Then, for all \(u_\mathrm{lin}\in B_{\mu /2}\) there exists a unique solution \(u\in B_\mu \) to the equation \( u=u_\mathrm{lin}+\mathcal {B}F(u), \) with the map \(u_{lin}\mapsto u\) Lipschitz continuous with constant at most 2.

### Proof of Theorem 1.1

We apply Theorem 3.1 with \(T=1\), \(q=1\) and \(w(x,\xi )=\langle \xi \rangle ^s\). For every \(1\le p< \infty \), the operator \(K_\beta (t)\) in (3) is a bounded operator on \({M}^{p,1}_s(\mathbb {R}^d)\), and there exists a \(C>0\) such that

Notice that such result provides the uniformity of the constant C, when t varies in [0, 1]. Now the result follows by Proposition 3.3, with \(\mathcal {T}=\mathcal {N}=C^0([0,T];{M}^{p,1}_s)\), the linear operator \(\mathcal {B}\) in (3), where \(0<T\le 1\) will be chosen later on. Here \(u_\mathrm{lin}:=K_\beta (t)u_0\) is in the ball \(B_{\mu /2}\subset \mathcal {T}\) by (29), if \(\mu \) is sufficiently large, depending on the radius *R* in \(M^{p,1}_s(\mathbb {R}^d)\) in the assumptions. Using Minkowski’s integral inequality and (29), we obtain (27). Namely,

The proof of Condition (28) can be found in [8, proof of Theorem 4.1]. Hence, by choosing *T* small enough we prove the existence, and also the uniqueness among the solution in \(\mathcal {T}\) with norm *O*(*R*) (with *R* being the radius of the ball \(B_R\), centred in 0, in \(M^{p,1}_s(\mathbb {R}^d)\)). Standard continuity arguments allow to eliminate the last constraint (see, e.g., [26, Proposition 3.8]). For \(p=\infty \), by repeating the argument above, one can obtain well-posedness when the initial datum is in

\(\square \)

Observe that similar results were obtained in [21, Theorem 1.1].

We conclude this note by addressing the reader to open problems in this field.

First, it is still not clear whether better results can be obtained when considering the nonlinearity

In fact, this was the case for the wave and vibrating place equation, cf. [8, 12], where more general modulation spaces were considered.

Moreover, another open question is the well-posedness of the Cauchy problem (1) with initial datum \(u_0\in M^{p,q}_s(\mathbb {R}^d)\), \(0<p\le \infty \), \(0<q\le 1\). We conjecture that the result holds true as well, but the techniques employed so far do not apply in this case.

## References

- 1.
Bényi, A., Gröchenig, K., Okoudjou, K.A., Rogers, L.G.: Unimodular Fourier multipliers for modulation spaces. J. Funct. Anal.

**246**(2), 366–384 (2007) - 2.
Bényi, A., Okoudjou, K.A.: Local well-posedness of nonlinear dispersive equations on modulation spaces. Bull. Lond. Math. Soc.

**41**(3), 549–558 (2009) - 3.
Bhimani, D.G.: The Nonlinear heat equations with fractional Laplacian and harmonic oscillator in modulation spaces. arXiv:1911.01844

- 4.
Bhimani, D.G., Balhara, R., Thangavelu, S.: Hermite multipliers on modulation spaces.

*Analysis and partial differential equations: perspectives from developing countries*, 42–64, Springer Proc. Math. Stat., 275, Springer, Cham (2019) - 5.
Bhimani, D.G., Manna, R., Nicola, F., Thangavelu, S., Trapasso, S.I.: Optimal estimates for the Hermite semigroup on modulation spaces, in preparation

- 6.
Catană, V.: The heat equation for the generalized Hermite and the generalized Landau operators. Integr. Equ. Oper. Theory

**66**(1), 41–52 (2010) - 7.
Cordero, E., de Gosson, M., Nicola, F.: Born-Jordan pseudo-differential operators with symbols in the shubin classes. Trans. Am. Math. Soc.

**4**, 94–109 (2017) - 8.
Cordero, E., Nicola, F.: Remarks on Fourier multipliers and applications to the wave equation. J. Math. Anal. Appl.

**353**(2), 583–591 (2009) - 9.
Cordero, E., Rodino, L.:

*Time-frequency Analysis of Operators*, De Gruyter, to appear - 10.
Cordero, E., Nicola, F., Rodino, L.: Gabor Representations of evolution operators. Trans. Am. Math. Soc.

**367**(11), 7639–7663 (2015) - 11.
Cordero, E., Nicola, F., Trapasso, S.I.: Almost diagonalization of \(\tau \)-pseudodifferential operators with symbols in Wiener amalgam and modulation spaces. J. Fourier Anal. Appl.

**25**(4), 1927–1957 (2019) - 12.
Cordero, E., Zucco, D.: The Cauchy problem for the vibrating plate equation in modulation spaces. J. Pseudo-Differ. Op. Appl.

**2**, 343–354 (2011) - 13.
de Gosson, M.: Symplectic methods in harmonic analysis and in mathematical physics, Birkhäuser, (2011)

- 14.
Feichtinger, H.G.: Modulation spaces on locally compact abelian groups,

*Technical Report, University Vienna, 1983.*and also in*Wavelets and Their Applications*, M. Krishna, R. Radha, S. Thangavelu, editors, Allied Publishers, 99–140, 2003 - 15.
Galperin, Y.V., Samarah, S.: Time-frequency analysis on modulation spaces \(M^{p, q}_m\), \(0 < p, q\le \infty \). Appl. Comput. Harmon. Anal.

**16**(1), 1–18 (2004) - 16.
Gröchenig, K.: Foundation of Time-Frequency Analysis. Birkhäuser, Boston MA (2001)

- 17.
Time-frequency analysis of Sjöstrand’s class. Rev. Mat. Iberoam.

**22**(2), 703–724 (2006) - 18.
Gröchenig, K., Rzeszotnik, Z.: Banach algebras of pseudodifferential operators and their almost diagonalization. Ann. Inst. Fourier.

**58**(7), 2279–2314 (2008) - 19.
Guo, W., Chen, J., Fan, D., Zhao, G.: Characterizations of some properties on weighted modulation and Wiener amalgam spaces. Michigan Math. J.

**68**(3), 451–482 (2019) - 20.
Helffer, B.:

*Théorie spectrale pour des opérateurs globalement elliptiques*. Astérisque, 112. Société Mathématique de France, Paris, 1984 - 21.
Nicola, F.: Phase space analysis of semilinear parabolic equations. J. Funct. Anal.

**267**(3), 727–743 (2014) - 22.
Nicola, F., Rodino, L.:

*Global pseudo-differential calculus on Euclidean spaces*. Pseudo-Differential Operators. Theory and Applications, 4. Birkhäuser Verlag, Basel, 2010 - 23.
Rochberg, R., Tachizawa, K.: Pseudodifferential operators, Gabor frames, and local trigonometric bases, in Gabor Analysis and Algorithms, pp. 171–192. Birkhäuser Boston, Boston, MA, Appl. Numer. Harmon. Anal. (1998)

- 24.
Shubin, M.A.: Pseudodifferential Operators and Spectral Theory. Springer Series in Soviet Mathematics. Springer, Berlin (1987)

- 25.
Thangavelu, S.:

*Lectures on Hermite and Laguerre Expansions*. Mathematical Notes—Princeton University Press, (1993) - 26.
Tao, T.:

*Nonlinear Dispersive Equations: Local and Global Analysis*. In: CBMS Regional Conference Series in Mathematics, American Mathematical Society (2006) - 27.
Wang, B., Chunyan, H.: Frequency-uniform decomposition method for the generalized BO, KdV and NLS equations. J. Diff. Equ.

**239**, 213–250 (2007) - 28.
Wang, B., Hudzik, H.: The global Cauchy problem for the NLS and NLKG with small rough data. J. Differ. Equ.

**232**, 36–73 (2007) - 29.
Wang, B., Zhao, L., Guo, B.: Isometric decomposition operators, function spaces \(E_{p, q}^\lambda \) and applications to nonlinear evolution equations. J. Funct. Anal.

**233**(1), 1–39 (2006) - 30.
Wang, B., Huo, Z., Hao, C., Guo, Z.:

*Harmonic analysis method for nonlinear evolution equations. I*. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, (2011) - 31.
Wong, M.W.: The heat equation for the Hermite operator on the Heisenberg group. Hokkaido Math. J.

**34**(2), 393–404 (2005) - 32.
Wong, M.W.: Weyl transforms, the heat Kernel and Green function of a degenerate elliptic operator. Ann. Glob. Anal. Geom.

**28**, 271–283 (2005)

## Acknowledgements

The author would like to thank Professors Fabio Nicola and Luigi Rodino for fruitful conversations and comments.

## Funding

Open access funding provided by Università degli Studi di Torino.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Cordero, E. On the local well-posedness of the nonlinear heat equation associated to the fractional Hermite operator in modulation spaces.
*J. Pseudo-Differ. Oper. Appl.* **12, **13 (2021). https://doi.org/10.1007/s11868-021-00394-y

Received:

Revised:

Accepted:

Published:

### Keywords

- Modulation spaces
- Gabor matrix
- Fractional Hermite operators
- Shubin and Hörmander classes

### Mathematics Subject Classification

- 42B35
- 35K05
- 35K55
- 35A01