, ,

We will consider the initial value problem for homogeneous pseudodifferential equations with constant coefficients

\begin{matrix} D_{t} u - a (D) u & = 0 & in R^{1 + n}, \end{matrix}

(1.1)

\begin{matrix} u (0, x) & = φ (x) & in R^{n}, \end{matrix}

(1.2)

\begin{matrix}  \end{matrix}

where

u (t, x)

is a complex-valued unknown function of

(t, x) = (t, x_{1}, \dots, x_{n}) \in R^{1 + n}

n ⩾ 1

and

D_{t} = - i \frac{\partial}{\partial t}, D = (D_{1}, \dots, D_{n}), D_{j} = - i \frac{\partial}{\partial x_{j}},

where

i

always denote the imaginary unit. Here,

a (D)

is a pseudodifferential operator defined by

a (D) u (x) = (2 π)^{- n} \int_{R^{n}} \int_{R^{n}} e^{i (x - y) \cdot ξ} a (ξ) u (y) d y d ξ .

Throughout this paper, we assume that the symbol

a (ξ)

is real-valued, is continuous and has at most polynomial growth at infinity. The solution to the initial value problem 1.1 - 1.2 is given by

e^{i t a (D)} φ (x) = (2 π)^{- n} \int_{R^{n}} \int_{R^{n}} e^{i (x - y) \cdot ξ + i t a (ξ)} φ (y) d y d ξ .

Smoothing effects of dispersive equations have been studied by many authors. First, Sjölin [11] showed a local estimate in the case where

a (ξ) = | ξ |^{m}

m > 1

. Let us focus our attention on time-global

L^{2}

-estimates for homogeneous equations. After smoothing effects of dispersive equations in the case where

- a (D)

is the Laplacian

Δ = \sum_{j = 1}^{n} \partial^{2} / \partial x_{j}^{2}

, that is,

a (ξ) = | ξ |^{2}

, were established, some similar results for more general real-valued symbols

a

were studied. See [1] , [3] , [6] , [7] , [9] , [10] , [12] , [13] , [14] , [15] and references therein. To explain the detail, we introduce notation of function spaces. Let

Ω

be a subset of a Euclidean space. For

s \in N \cup {0}

, let

C^{s} (Ω)

denote the set of all

s

times continuously differentiable real-valued functions on

Ω

. Let

L^{2} (Ω)

denote the set of all square integrable functions

f

Ω

. Set

∥ f ∥_{L^{2} (Ω)} = {(\int_{Ω} | f (x) |^{2} d x)}^{1 / 2} .

Let

S^{'} (R^{n})

be the set of all tempered distributions on

R^{n}

. A local smoothing effect for positively homogeneous symbols is established as follows.

Theorem 1.1 (Chihara [3,Theorem 1.1] ). Let

n ⩾ 1

. Set

〈 x 〉 = (1 + | x |^{2})^{1 / 2}

Suppose that

a \in C^{1} (R^{n})

is a positively homogeneous of degree

m > 1

, and satisfies the dispersiveness condition

\begin{matrix} \nabla a (ξ) \neq 0 for ξ \in R^{n} \ {0} . \end{matrix}

(1.3)

Let

δ > 1 / 2

. Then, there exists

C > 0

such that for any

φ \in L^{2} (R^{n})

∥ 〈 x 〉^{- δ} | D |^{(m - 1) / 2} e^{i t a (D)} φ ∥_{L^{2} (R^{1 + n})} ⩽ C ∥ φ ∥_{L^{2} (R^{n})} .

Other types of local smoothing estimates are known. See [10] and references therein.

Roughly speaking, local smoothing effects are caused by the dispersiveness condition, which is equivalent to the nontrapping condition of classical orbits, that is,

X (t; x, ξ) = x + t \nabla a (ξ)

goes to infinity as

t \to \pm \infty

for any

(x, ξ) \in R^{n} \times R^{n} \ {0}

. Hoshiro recently proved that the dispersiveness condition is necessary for local smoothing effects.

Theorem 1.2 (Hoshiro [7,Theorem 1.1] ). Let

a (ξ) = \sum_{| α | ⩽ m} c_{α} ξ^{α}

be a real polynomial of degree

m > 1

. Let

a_{m} (ξ)

be the principal part of the symbol:

a_{m} (ξ) = \sum_{∥ α ∥ = m} c_{α} ξ^{α}

. Let

χ \in C^{\infty} (R^{n})

be a compactly supported function satisfying

χ (x) = 1

for

x \in U

, where

U

is a nonempty bounded open set.

Set

〈 D 〉 = (1 - Δ)^{1 / 2}

. Suppose that there exist positive constants

C

and

T

such that for any

φ \in L^{2} (R^{n})

\int_{0}^{T} ∥ 〈 D 〉^{(m - 1) / 2} χ e^{i t a (D)} φ ∥_{L^{2} (R^{n})}^{2} d t ⩽ C ∥ φ ∥_{L^{2} (R^{n})} .

Then, the dispersiveness condition

\begin{matrix} \nabla a_{m} (ξ) \neq 0 for ξ \in R^{n} \ {0} \end{matrix}

(1.4)

holds.

The aim of this paper is to show time-global smoothing estimates where the characteristic root is not necessarily homogeneous. The cases where the symbol is a positively homogeneous function or a polynomial have been ever mainly considered. We show a smoothing effect where the symbol

a (ξ)

need not be a positively homogeneous function nor a polynomial. Let

a_{m} (ξ)

be the principal part of the symbol

a (ξ)

where

a_{m}

is positively homogeneous of order

m

. While

\nabla a_{m} (ξ) \neq 0

for

ξ \in R^{n} \ {0}

is assumed in Theorem 1.1 , we allow

a

to exist the lower part and we assume

\nabla a (ξ) \neq 0

for

ξ \in R^{n} \ {0}

. We show a smoothing effect which is similar to Theorem 1.1 under another three types of assumptions on a symbol.

To state our results, we introduce the notion of zero dimensional sets in Euclidean spaces.

Definition 1.3. A closed nonempty set

X \subset R^{n}

is zero dimensional if and only if for any point

x \in X

and each neighborhood

V \subset X

of the point

x

, there exists an open and closed set

U \subset X

X

such that

x \in U \subset V

R^{n}

a set of isolated points is a zero-dimensional set. However, the converse is not always true. A counterexample is given by

L = {(1 / l, 0, \dots, 0) \in R^{n}; l = 1, 2, \dots} \cup {0}

Our results are the following.

Theorem 1.4. Let

n ⩾ 3

. Suppose that

a \in C^{2} (R^{n}) \cap S^{'} (R^{n})

{lim}_{| ξ | \to \infty} | \nabla a (ξ) | = \infty

, and

\nabla a (ξ) = 0

if and only if

ξ = 0

. Set

N = {ξ \in R^{n}; det Hes a (ξ) = 0}

We assume one of the following:

(B1) $N$ is a set of isolated points or an empty set.
(B2) $a \in C^{n + 1} (R^{n})$ and $N$ is a zero-dimensional set.

Let

δ > 1 / 2

. Then, there exists

C > 0

such that for any

φ \in L^{2} (R^{n})

∥ 〈 x 〉^{- δ} | (\nabla a) (D) |^{1 / 2} e^{i t a (D)} φ ∥_{L^{2} (R^{1 + n})} ⩽ C ∥ φ ∥_{L^{2} (R^{n})} .

Here

Hes a (ξ)

denotes the Hessian matrix of

a (ξ)

Hes a (ξ) = {[\frac{\partial^{2} a}{\partial ξ_{j} \partial ξ_{k}} (ξ)]}_{j, k = 1, \dots, n} .

In Theorem 1.4 , if (B1) or (B2) are satisfied, then

R^{n} \ N

is a connected set in

R^{n}

See Theorem 2.4 . Then we have either

det Hes a (ξ) > 0 for ξ \in R^{n} \ N,

det Hes a (ξ) < 0 for ξ \in R^{n} \ N .

Our results give the following significance. First, even if the lower part exists, we can gain a smoothing effect whenever it satisfies appropriate conditions. For instance, let

n ⩾ 3

and consider

a (ξ) = \sum_{l = 1}^{n} ξ_{l}^{4} + | ξ |^{2} .

Then all of the assumptions in Theorem 1.4 are satisfied, and so is the dispersiveness condition 1.4 . The lower order term is absorbed by the principal part.

Second, even if the condition for the principal symbol

\nabla a_{m} (ξ) \neq 0

for

ξ \in R^{n} \ {0}

fails, if the lower part

a - a_{m}

“helps” to hold

\nabla a (ξ) \neq 0

for

ξ \in R^{n} \ {0}

, then we can also gain a smoothing effect whenever it satisfies appropriate conditions. In other words, we can gain a smoothing effect for some operators which are not of real principal type. For instance, let

n ⩾ 3

and consider

a (ξ) = \sum_{l = 1}^{n - 1} ξ_{l}^{4} + | ξ |^{2} .

Then all of the assumptions in Theorem 1.4 are satisfied, and the dispersiveness condition 1.4 is not. The lower order term causes a smoothing effect.

Now we state extra results similar to Theorem 1.4 .

Theorem 1.5. Let

n ⩾ 2

. Suppose that

a (ξ) = \sum_{l = 1}^{n} a_{l} (ξ_{l}),

where

a_{l} \in C^{1} (R) \cap S^{'} (R)

| a_{l}^{'} (ρ) |

is strictly decreasing on

(- \infty, 0)

and strictly increasing on

(0, \infty)

a_{l}^{'} (0) = 0

and

{lim}_{| ρ | \to \infty} | a_{l}^{'} (ρ) | = \infty

for all

l = 1, \dots, n

. Let

δ > 1 / 2

. Then, there exists

C > 0

such that for any

φ \in L^{2} (R^{n})

∥ 〈 x 〉^{- δ} | (\nabla a) (D) |^{1 / 2} e^{i t a (D)} φ ∥_{L^{2} (R^{1 + n})} ⩽ C ∥ φ ∥_{L^{2} (R^{n})} .

Theorem 1.6. Let

n ⩾ 2

. Suppose that

a (ξ) = g (h (ξ)), h (ξ) = \sum_{l = 1}^{n} a_{l} (ξ_{l}),

where

g \in C^{1} (R) \cap S^{'} (R)

g^{'} (h (ξ)) \neq 0

for

ξ \in R^{n} \ {0}

a_{l} \in C^{1} (R)

| a_{l}^{'} (ρ) |

is nonincreasing on

(- \infty, 0)

and nondecreasing on

(0, \infty)

, and

a_{l}^{'} (ρ) = 0

if and only if

ρ = 0

for all

l = 1, \dots, n

. Let

δ > 1 / 2

. Then, there exists

C > 0

such that for any

φ \in L^{2} (R^{n})

∥ 〈 x 〉^{- δ} | (\nabla a) (D) |^{1 / 2} e^{i t a (D)} φ ∥_{L^{2} (R^{1 + n})} ⩽ C ∥ φ ∥_{L^{2} (R^{n})} .

We give an example which satisfies the assumptions in Theorem 1.5 ;

a_{l} (ξ_{l}) = ξ_{l}^{2} + \frac{sin ξ_{l}}{ξ_{l}} - 1 .

Then

a = \sum_{l = 1}^{n} a_{l}

is neither a polynomial nor a positively homogeneous function. We give an outline of our method. We here define the Fourier transform in

(t, x) \in R^{1 + n}

by setting

\tilde{f} (τ, ξ) = (2 π)^{- (1 + n) / 2} \int_{R^{n}} \int_{- \infty}^{\infty} f (t, x) e^{- i t τ - i x \cdot ξ} d t d x .

Generally speaking, a time-global smoothing estimate

∥ 〈 x 〉^{- δ} | (\nabla a) (D) |^{1 / 2} e^{i t a (D)} φ ∥_{L^{2} (R^{1 + n})} ⩽ C ∥ φ ∥_{L^{2} (R^{n})}

is equivalent to a Fourier restriction inequality

\begin{matrix} {(\int_{R^{n}} | \nabla a (ξ) | | \tilde{f} (a (ξ), ξ) |^{2} d ξ)}^{1 / 2} ⩽ C ∥ 〈 x 〉^{δ} f ∥_{L^{2} (R^{1 + n})} \end{matrix}

(1.5)

by duality. For homogeneous symbols, in [3] , Chihara decomposed the Fourier phase space

R^{n}

into finite connected cones according to nonvanishing entries of

\nabla a (ξ)

, and obtained 1.5 by some change of variables in each cone. Since our symbols are not homogeneous, we need to introduce pseudoconic decomposition. As above, we decompose the Fourier phase space

R^{n}

into finite connected pseudocones to show 1.5 .

The organization of this paper is as follows. In Section 2 , we introduce pseudoconic decomposition, and give a proof of Theorem 1.4 . In Section 3 , we prove Theorems 1.5 and 1.6 .

2 Pseudoconic decomposition

In this section, we introduce pseudoconic decomposition, and provide a criterion to prove main theorems. We also give a proof of Theorem 1.4 .

Let

n ⩾ 2

. We assume that

a \in C^{1} (R^{n})

and

\begin{matrix} \nabla a (ξ) \neq 0 for ξ \in R^{n} \ {0} . \end{matrix}

(2.1)

Fix a positive number

ɛ > 0

. Set

Γ_{j} = {ξ \in R^{n} \ {0}; | \frac{\partial a}{\partial ξ_{j}} (ξ) | > (n + ɛ)^{- 1 / 2} | \nabla a (ξ) |} for j = 1, \dots, n,

which is open in

R^{n}

. Let

{Γ_{j, k}}_{k = 1, 2, \dots}

be the decomposition of

Γ_{j}

by nonempty connected components;

Γ_{j} = ⨆_{k} Γ_{j, k}

. Then, 2.1 implies

R^{n} \ {0} = ⋃_{j, k} Γ_{j, k} .

We give a criterion to get the Fourier restriction inequality 1.5 .

Lemma 2.1. Let

n ⩾ 2

. Suppose that

a \in C^{1} (R^{n}) \cap S^{'} (R^{n})

and

\nabla a (ξ) \neq 0

for

ξ \in R^{n} \ {0}

. Moreover, we assume

(A1) There exists a positive number $c > 0$ such that $S = {ξ \in R^{n} \ {0}; | \nabla a (ξ) | = c}$ is bounded in $R^{n}$ (we fix $c$ below).
(A2) For any $j$ and $k$ , $Γ_{j, k} \cap S \neq \emptyset$ .
(A3) There exists a mapping $Φ : Γ_{j, k} \to Γ_{j, k} \cap S$ such that if $Φ (ξ) \in Γ_{j, k}$ , then $ξ \in Γ_{j, k}$ .

Let

δ > 1 / 2

. Then, the Fourier restriction inequality 1.5 holds.

Proof. Since

R^{n} \ {0} = ⋃_{j, k} Γ_{j, k},

{Γ_{j, k} \cap S}_{j, k}

becomes a covering of

S

. Since

S

is compact by (A1), there exists a finite subcovering

{Γ_{j, k}^{0} \cap S}_{j, k}

. We claim that

{Γ_{j, k}^{0}}_{j, k}

is a finite covering of

R^{n} \ {0}

. Fix an arbitrary

ξ \in R^{n} \ {0}

. Then

Φ (ξ) \in S

. Since

S

is covered with the finite subcovering

{Γ_{j, k}^{0} \cap S}_{j, k}

, we have

Φ (ξ) \in Γ_{j, k}^{0} \cap S

for some

j

and

k

. It follows from (A3) that

ξ \in Γ_{j, k}^{0}

. Therefore,

{Γ_{j, k}^{0}}_{j, k}

is a finite covering of

R^{n} \ {0}

. We set

Z_{j, k} = {(a (ξ), {\hat{ξ}}_{j}); ξ \in Γ_{j, k}^{0}}, {\hat{ξ}}_{j} = (ξ_{1}, \dots, ξ_{j - 1}, ξ_{j + 1}, \dots, ξ_{n}) .

It follows from the definition of

Γ_{j, k}

that when

ξ \in Γ_{j, k}^{0}

a (ξ)

is strictly increasing or strictly decreasing with respect to

ξ_{j}

. Then a mapping

\begin{matrix} Γ_{j, k}^{0} ∋ ξ \mapsto (τ, {\hat{ξ}}_{j}) = (a (ξ), {\hat{ξ}}_{j}) \in Z_{j, k} \end{matrix}

(2.2)

is bijective. We here denote its inverse by

Z_{j, k} ∋ (τ, {\hat{ξ}}_{j}) \mapsto (Ξ_{j} (τ, {\hat{ξ}}_{j}), {\hat{ξ}}_{j}) \in Γ_{j, k}^{0} .

We have

\begin{matrix} | \frac{\partial (τ, {\hat{ξ}}_{j})}{\partial ξ} | = | \frac{\partial a}{\partial ξ_{j}} (ξ) | > (n + ɛ)^{- 1 / 2} | \nabla a (ξ) | \end{matrix}

(2.3)

for

ξ \in Γ_{j, k}^{0}

. We split the integral in the left hand side of 1.5 into integrals on

Γ_{j, k}^{0}

Namely we have

\int_{R^{n}} | \nabla a (ξ) | | \tilde{f} (a (ξ), ξ) |^{2} d ξ ⩽ \sum_{j, k} \int_{Γ_{j, k}^{0}} | \nabla a (ξ) | | \tilde{f} (a (ξ), ξ) |^{2} d ξ .

Changing the variables by 2.2 , and using 2.3 , the Minkowski inequality and the Plancherel-Perseval formula, we deduce

\begin{matrix} \int_{R^{n}} | \nabla a (ξ) | | \tilde{f} (a (ξ), ξ) |^{2} d ξ \end{matrix}

\begin{matrix} ⩽ (n + ɛ)^{1 / 2} \sum_{j, k} \int \int_{Z_{j, k}} | \tilde{f} (τ, {\hat{ξ}}_{j}, Ξ_{j}) |^{2} d τ d {\hat{ξ}}_{j} \end{matrix}

\begin{matrix} = (2 π)^{- 1} (n + ɛ)^{1 / 2} \sum_{j, k} \int \int_{Z_{j, k}} {| \int_{- \infty}^{\infty} e^{- i x_{j} Ξ_{j}} F_{t, {\hat{x}}_{j}} [f] (τ, {\hat{ξ}}_{j}, x_{j}) d x_{j} |}^{2} d τ d {\hat{ξ}}_{j} \end{matrix}

\begin{matrix} ⩽ (2 π)^{- 1} (n + ɛ)^{1 / 2} \sum_{j, k} \int \int_{Z_{j, k}} {(\int_{- \infty}^{\infty} | F_{t, {\hat{x}}_{j}} [f] (τ, {\hat{ξ}}_{j}, x_{j}) | d x_{j})}^{2} d τ d {\hat{ξ}}_{j} \end{matrix}

\begin{matrix} ⩽ (2 π)^{- 1} (n + ɛ)^{1 / 2} \sum_{j, k} {(\int_{- \infty}^{\infty} {(\int \int_{Z_{j, k}} | F_{t, {\hat{x}}_{j}} [f] (τ, {\hat{ξ}}_{j}, x_{j}) |^{2} d τ d {\hat{ξ}}_{j})}^{1 / 2} d x_{j})}^{2} \end{matrix}

\begin{matrix} ⩽ C \sum_{j} {(\int_{- \infty}^{\infty} {(\int \int_{R^{n}} | F_{t, {\hat{x}}_{j}} [f] (τ, {\hat{ξ}}_{j}, x_{j}) |^{2} d τ d {\hat{ξ}}_{j})}^{1 / 2} d x_{j})}^{2} \end{matrix}

\begin{matrix} = C \sum_{j} {(\int_{- \infty}^{\infty} {(\int \int_{R^{n}} | f (t, x) |^{2} d t d {\hat{x}}_{j})}^{1 / 2} d x_{j})}^{2}, \end{matrix}

\begin{matrix}  \end{matrix}

where

F_{t, {\hat{x}}_{j}} [f]

denotes the Fourier transform of

f

(t, {\hat{x}}_{j}) \in R^{n}

. When

n ⩾ 2

1 ⩽ (1 + x_{j}^{2})^{- δ / 2} 〈 x 〉^{δ}

. Applying this and the Schwartz inequality, we obtain

\begin{matrix} \int_{R^{n}} | \nabla a (ξ) | | \tilde{f} (a (ξ), ξ) |^{2} d ξ \end{matrix}

\begin{matrix} ⩽ C \sum_{j} {(\int_{- \infty}^{\infty} (1 + x_{j}^{2})^{- δ / 2} {(\int \int_{R^{n}} | 〈 x 〉^{δ} f (t, x) |^{2} d t d {\hat{x}}_{j})}^{1 / 2} d x_{j})}^{2} . \end{matrix}

\begin{matrix} ⩽ C ∥ 〈 x 〉^{δ} f ∥_{L^{2} (R^{1 + n})}^{2} \int_{- \infty}^{\infty} (1 + s^{2})^{- δ} d s \end{matrix}

\begin{matrix} ⩽ C ∥ 〈 x 〉^{δ} f ∥_{L^{2} (R^{1 + n})}^{2}, \end{matrix}

\begin{matrix}  \end{matrix}

which is the desired inequality 1.5 . This completes the proof. □

We will now get down to proving Theorem 1.4 . To prove it, in view of Lemma 2.1 , we have only to prove the following.

Lemma 2.2. Let

n ⩾ 3

. Suppose that

a \in C^{2} (R^{n}) \cap S^{'} (R^{n})

{lim}_{| ξ | \to \infty} | \nabla a (ξ) | = \infty

, and

\nabla a (ξ) = 0

if and only if

ξ = 0

. Set

N = {ξ \in R^{n}; det Hes a (ξ) = 0}

We assume one of the following:

(B1) $N$ is a set of isolated points or an empty set.
(B2) $a \in C^{n + 1} (R^{n})$ and $N$ is a zero-dimensional set.

Then, the assumptions (A1)-(A3) in Lemma 2.1 are satisfied.

For

v : R^{n} \to R^{n}

v (ξ) = (v_{1} (ξ), \dots, v_{n} (ξ))

, let

Jac v (ξ)

denote the Jacobian matrix of

v (ξ)

Jac v (ξ) = {[\frac{\partial v_{j}}{\partial ξ_{k}} (ξ)]}_{j, k = 1, \dots, n} .

The following results are due to Chua and Lam.

Theorem 2.3 (Chua and Lam [4,Theorems 2.1and2.2] ). Let

n \neq 2

. Let

v : R^{n} \to R^{n}

be of

C^{1}

class. Set

N = {ξ \in R^{n}; det Jac v (ξ) = 0}

. We assume

(J1) $det Jac v (ξ) > 0$ for all $ξ \in R^{n} \ N$ , or $det Jac v (ξ) < 0$ for all $ξ \in R^{n} \ N$ .
(J2) $N$ is a set of isolated points or an empty set, or $v \in C^{n} (R^{n})$ and $N$ is a zero-dimensional set.
(J3) ${lim}_{| ξ | \to \infty} | v (ξ) | = \infty$ .

Then,

v

is a homeomorphism of

R^{n}

onto

R^{n}

In Theorem 2.3 , the assumption

n \neq 2

is necessary. In the two-dimensional case, a counterexample is also given in [4,p.608] .

Next, we state a result needed later.

Theorem 2.4 ([5,Theorem 1.8.13] , [8,Theorem IV4] ). If

N \subset R^{n}

satisfies

dim N ⩽ n - 2

, then

R^{n} \ N

is a connected set.

Then we are ready to prove Lemma 2.2 .

Proof of Lemma 2.2 . It is easy to see that lim | ξ | → ∞ | ∇ a ( ξ ) | = ∞ implies (A1). All assumptions in Theorem 2.3 except (J1) are satisfied, with v = ∇ a . We see that (J1) follows with v = ∇ a below. Since a set of isolated points is a countable set and then a zero-dimensional set (see [8,Example II1] ), it follows from Theorem 2.4 that (B1) or (B2) implies that R n \ N is a connected set. Since det Hes a ( ξ ) is a continuous function on R n , the set ( det Hes a ) ( R n \ N ) = { det Hes a ( ξ ) ∈ R \ { 0 } ; ξ ∈ R n \ N } is connected in R . This implies that ( det Hes a ) ( R n \ N ) must be contained either in ( 0 , ∞ ) or in ( − ∞ , 0 ) , which means (J1) with v = ∇ a . By virtue of Theorem 2.3 , ∇ a is a homeomorphism of R n onto R n . Therefore, ∇ a is a homeomorphism of R n \ { 0 } onto R n \ { 0 } . Again, we define a mapping Ψ θ : R n \ { 0 } → R n \ { 0 } , 0 ⩽ θ ⩽ 1 by Ψ θ ( ξ ) = inv [ ∇ a ] ( | ∇ a ( ξ ) | − θ ∇ a ( ξ ) ) . Then Ψ θ has the following properties:
- (P1) $Ψ_{0}$ is an identity mapping on $R^{n} \ {0}$ .
- (P2) $ξ \in Γ_{j} ⟺ Ψ_{θ} (ξ) \in Γ_{j}$ .
- (P3) $Ψ_{1}$ maps $Γ_{j}$ to $Γ_{j} \cap S$ .
- (P4) For any $ξ \in R^{n} \ {0}$ . $Ψ_{θ} (ξ)$ is a continuous mapping with respect to $θ$ .
Set Φ = Ψ 1 . Now, let ξ ∈ Γ j , k . Set Λ = { Ψ θ ( ξ ) ; 0 ⩽ θ ⩽ 1 } . Since Ψ 0 ( ξ ) = ξ ∈ Γ j , k ⊂ Γ j by (P1), it follows from (P2) that Λ ⊂ Γ j . Moreover, since Λ is connected in R n by (P4), we have Λ ⊂ Γ j , k . On one hand, Ψ 1 ( ξ ) ∈ Λ ⊂ Γ j , k . On the other hand, Ψ 1 ( ξ ) ∈ S by (P3). Therefore, we have Φ ( ξ ) = Ψ 1 ( ξ ) ∈ Γ j , k ∩ S . Thus, we obtain (A2). Lastly, on one hand, ξ ∈ Γ j , k ′ ⟹ Φ ( ξ ) ∈ Γ j , k ′ as we showed above. On the other hand, it follows from (P2) that Φ ( ξ ) ∈ Γ j , k ⟹ ξ ∈ Γ j . Now, suppose Φ ( ξ ) ∈ Γ j , k . Then we have ξ ∈ Γ j , ξ / ∈ Γ j , k ′ for k ′ ≠ k since Γ j = ⨆ k Γ j , k . Namely, we have ξ ∈ Γ j , k . Thus, we obtain (A3). This completes the proof. □

We would like to find a suitable sufficient condition in no terms of a determinant for the assumption (B1) in Theorem 1.4 . Although the following result obtained by Bernstein and Toupin does not give a sufficient condition, it provides a partial resolution.

Theorem 2.5 (Bernstein and Toupin [2,TheoremsI,IVandVI] ). Let

n ⩾ 1

. Let

a \in C^{2} (R^{n})

be a strictly convex function in the sense that

\begin{matrix} a (ξ) - a (ζ) - \sum_{l = 1}^{n} (ξ_{l} - ζ_{l}) \frac{\partial a}{\partial ξ_{l}} (ζ) > 0 \end{matrix}

(2.4)

for all

ξ, ζ \in R^{n}

with

ξ \neq ζ

. Note that this is equivalent to

\sum_{l = 1}^{n} (ξ_{l} - ζ_{l}) (\frac{\partial a}{\partial ξ_{l}} (ξ) - \frac{\partial a}{\partial ξ_{l}} (ζ)) > 0

for all

ξ, ζ \in R^{n}

with

ξ \neq ζ

. Then,

Hes a

is nonnegative semidefinite in

R^{n}

and positive definite except on a nowhere dense subset of

R^{n}

. In particular,

det Hes a > 0

R^{n}

, and

det Hes a = 0

except on a nowhere dense subset of

R^{n}

3 Proofs of the other theorems

In this section, we give proofs of Theorems 1.5 and 1.6 . To prove Theorem 1.5 , in view of Lemma 2.1 , we have only to prove the following.

Lemma 3.1. Let

n ⩾ 2

. Suppose that

a (ξ) = \sum_{l = 1}^{n} a_{l} (ξ_{l}),

where

a_{l} \in C^{1} (R) \cap S^{'} (R)

| a_{l}^{'} (ξ_{l}) |

is strictly decreasing on

(- \infty, 0)

and strictly increasing on

(0, \infty)

a_{l}^{'} (0) = 0

and

{lim}_{| ξ_{l} | \to \infty} | a_{l}^{'} (ξ_{l}) | = \infty

for all

l = 1, \dots, n

Then,

a \in C^{1} (R^{n}) \cap S^{'} (R^{n})

\nabla a (ξ) \neq 0

for

ξ \in R^{n} \ {0}

and the assumptions (A1)-(A3) in Lemma 2.1 are satisfied.

Proof. It follows immediately that $a \in C^{1} (R^{n}) \cap S^{'} (R^{n})$ and $\nabla a (ξ) \neq 0$ for $ξ \in R^{n} \ {0}$ .
We take $ɛ = c = 1$ . Take an arbitrary $ξ \in S$ . Since $| a_{l}^{'} (ξ_{l}) | ⩽ 1$ for all $l = 1, \dots, n$ , we see that $ξ_{l}$ lies in a bounded interval which is independent of $ξ$ . Let $inv [a]$ denote the inverse function of $a$ . More precisely, we have $| ξ_{l} | ⩽ max {| inv [a_{l}^{'} |_{(- \infty, 0)}] (- sgn a_{l}^{'} (- 1)) |, | inv [a_{l}^{'} |_{(0, \infty)}] (sgn a_{l}^{'} (1)) |},$ which implies (A1).
Next, we define a mapping $Ψ_{θ} : R^{n} \ {0} \to R^{n} \ {0}$ , $0 ⩽ θ ⩽ 1$ by
$Ψ_{θ} (ξ) = (Ψ_{θ}^{(1)} (ξ), \dots, Ψ_{θ}^{(n)} (ξ)), Ψ_{θ}^{(l)} (ξ) = {\begin{matrix} inv [a_{l}^{'} |_{(- \infty, 0)}] (| \nabla a (ξ) |^{- θ} a_{l}^{'} (ξ_{l})) & if ξ_{l} < 0, \\ inv [a_{l}^{'} |_{(0, \infty)}] (| \nabla a (ξ) |^{- θ} a_{l}^{'} (ξ_{l})) & if ξ_{l} > 0, \\ 0 & if ξ_{l} = 0 . \end{matrix}$
Then $Ψ_{θ}$ has the properties (P1)-(P4), and we can argue as we did in the proof of Lemma 2.2 to obtain (A2) and (A3). This completes the proof. □

Finally we prove Theorem 1.6 .

Proof of Theorem 1.6 . It follows from the definition of

a (ξ)

that

\nabla a (ξ) = g^{'} (h (ξ)) (a_{1}^{'} (ξ), \dots, a_{n}^{'} (ξ)) \neq 0 for ξ \in R \ {0}

and

\begin{matrix} Γ_{j} & = {ξ \in R^{n} \ {0}; | a_{j}^{'} (ξ_{j}) | > (n + ɛ)^{- 1 / 2} {(\sum_{l = 1}^{n} (a_{l}^{'} (ξ_{l}))^{2})}^{1 / 2}} \end{matrix}

\begin{matrix} = {ξ \in R^{n} \ {0}; | a_{j}^{'} (ξ_{j}) | > (n + ɛ - 1)^{- 1 / 2} {(\sum_{l \neq j} (a_{l}^{'} (ξ_{l}))^{2})}^{1 / 2}} \end{matrix}

\begin{matrix}  \end{matrix}

since

g^{'} (h (ξ)) \neq 0

for

ξ \in R^{n} \ {0}

. Then, we set

\begin{matrix} Γ_{j, 1} & = {ξ \in R^{n} \ {0}; a_{j}^{'} (ξ_{j}) > (n + ɛ - 1)^{- 1 / 2} {(\sum_{l \neq j} (a_{l}^{'} (ξ_{l}))^{2})}^{1 / 2}}, \end{matrix}

\begin{matrix} Γ_{j, 2} & = {ξ \in R^{n} \ {0}; a_{j}^{'} (ξ_{j}) < - (n + ɛ - 1)^{- 1 / 2} {(\sum_{l \neq j} (a_{l}^{'} (ξ_{l}))^{2})}^{1 / 2}} . \end{matrix}

\begin{matrix}  \end{matrix}

We claim that each of them is either connected or empty. We only demonstrate that

Γ_{n, 1}

is connected if it is not empty; we can argue for the others similarly. Let

ξ

and

η

be arbitrary points in

Γ_{n, 1}

. Then

ξ_{n} \neq 0

and

η_{n} \neq 0

since

a_{l}^{'} (η) = 0

if and only if

η = 0

. We define a mapping

Ψ : [0, 1] \to R^{n} \ {0}

Ψ (θ) = {\begin{matrix} ((1 - 3 θ) {\hat{ξ}}_{n}, ξ_{n}) & if 0 ⩽ θ ⩽ 1 / 3, \\ (0, (2 - 3 θ) ξ_{n} + (3 θ - 1) η_{n}) & if 1 / 3 ⩽ θ ⩽ 2 / 3, \\ ((3 θ - 2) {\hat{η}}_{n}, η_{n}) & if 2 / 3 ⩽ θ ⩽ 1, \end{matrix}

where

{\hat{ξ}}_{n} = (ξ_{1}, \dots, ξ_{n - 1})

. It is easy to see that

Ψ

is continuous and it maps

[0, 1]

Γ_{n, 1}

. Therefore,

Γ_{n, 1}

is arcwise connected in

R^{n}

and then connected.

Thus,

{Γ_{j, k}}_{j = 1 \dots, n, k = 1, 2}

is a finite covering of

R^{n} \ {0}

by connected components. In the same way as the proof of Lemma 2.1 , we can obtain 1.5 . We omit the detail. □

Acknowledgment

The author expresses gratitude to Hiroyuki Chihara for helpful advice. Thanks are due to Hirotaka Ishida for helpful information about zero-dimensional sets. References

M. Ben-Artzi and S. Klainerman, Decay and regularity for the Schrödinger equation, J. Anal. Math. 58 (1992), 25–37.
B. Bernstein and R. A. Toupin, Some properties of the Hessian matrix of a strictly convex function, J. Reine Angew. Math. 210 (1962), 65–72.
H. Chihara, Smoothing effects of dispersive pseudodifferential equations, Comm. Partial Differential Equations 27 (2002), no. 9-10, 1953–2005.
L. O. Chua and Y.-F. Lam, Global homeomorphism of vector-valued functions, J. Math. Anal. Appl. 39 (1972), 600–624.
R. Engelking, “Dimension Theory”, North-Holland Publishing Co., Amsterdam, 1978, Translated from the Polish and revised by the author, North-Holland Mathematical Library, 19.
T. Hoshiro, Mourre's method and smoothing properties of dispersive equations, Comm. Math. Phys. 202 (1999), no. 2, 255–265.
, Decay and regularity for dispersive equations with constant coefficients, J. Anal. Math. 91 (2003), 211–230.
W. Hurewicz and H. Wallman, “Dimension Theory”, Princeton Mathematical Series, vol. 4, Princeton University Press, Princeton, 1948.
T. Kato and K. Yajima, Some examples of smooth operators and the associated smoothing effect, Rev. Math. Phys. 1 (1989), no. 4, 481–496.
M. Ruzhansky and M. Sugimoto, A new proof of global smoothing estimates for dispersive equations, Advances in Pseudo-differential Operators (Basel), Oper. Theory Adv. Appl., vol. 155, Birkhäuser, Basel, 2004, pp. 65–75.
P. Sjölin, Regularity of solutions to the Schrödinger equation, Duke Math. J. 55 (1987), no. 3, 699–715.
M. Sugimoto, A smoothing property of Schrödinger equations along the sphere, J. Anal. Math. 89 (2003), 15–30.
B. G. Walther, Homogeneous estimates for oscillatory integrals, Acta. Math. Comenian. (N.S.) 69 (2000), 151–171.
B. G. Walther, Some $L^{p} (L^{\infty})$ and $L^{2} (L^{2})$ estimates for oscillatory Fourier transforms, Appl. Numer. Harmon. Anal., Birkhäuser, Boston, 1999, pp. 213–231.
K. Watanabe, Smooth perturbations of the self-adjoint operator $| Δ |^{α / 2}$ , Tokyo J. Math. 14 (1991), no. 1, 239–250.

Mathematical Institute, Tohoku University, Sendai, 980-8578, Japan. E-mail address : sa3m28@math.tohoku.ac.jp

Kei MORII