Remark on extensions of the Watermelon theorem
type: Item
instance of: scholarly article
title: Remark on extensions of the Watermelon theorem
zbMATH Open document ID: 0842.35003
published in: Mathematical Research Letters
publication date: 1996-07-29T00:00:00Z
review text: In a recent work [Ann. Inst. Fourier 43, No. 5, 1223-1251 (1993; Zbl 0804.35004)] \textit{L. Hörmander} has given some refinements of Kashiwara's Watermelon Theorem. The purpose of this note is to give some slight improvements of one of the results of Hörmander. Let \(u\) be a distribution (or a hyperfunction) on \(\mathbb{R}^n\), \(n \geq 2\), with compact support \(K\). Let \(y_0 \in K\) and let \(\eta_0 \in \mathbb{R}^n\), \(|\eta_0 |= 1\), be an exterior normal vector of \(K\) at \(y_0\) in the \(C^2\) sense. In other words, there exists a real \(C^2\) function, defined in a neighborhood of \(y_0\) such that \(h(y_0) = 0\), \(dh (y_0) = \eta_0\), and \(h(y) \leq 0\) for all \(y\) in \(K\) which are in a neighborhood of \(y_0\). After an analytic change of variables (a convexification) and a truncation away from \(y_0\), we may assume that \((y - y_0) \cdot \eta_0 |_K \leq 0\). Kashiwara's Watermelon theorem then states that if \(\xi_0 \in \mathbb{R}^n \backslash \{0\}\), \(\lambda \in \mathbb{R}\), \((y_0, \xi_0) \notin WF_a (u)\), then \((y_0, \xi_0 + \lambda \eta_0) \notin WF_a\). Here \(WF_a\) is the analytic wavefront set. The following result is a slight refinement of the first half of Corollary 2.7 of [loc. cit.]. Theorem. Assume that there is a sequence \(\eta_j \in \mathbb{R}^n\), \(j = 1,2, \dots\), with \(\eta_j \to \eta_0\), such that \[ \begin{aligned} {\eta_j - \eta_0 \over |\eta_j - \eta_0 |} \to \nu, \quad & j \to \infty, \\ (y - y_0) \cdot \eta_j |_K - \delta_j \leq 0, \quad & \text{where } \delta_j > 0, \;\delta_j \to 0, \\ {\delta_j \over |\eta_j - \eta_0 |^2} \to 0, \quad & j \to \infty. \end{aligned} \] Then if \(\xi_0 \neq 0\), \((y_0, \xi_0) \notin WF_a (u)\), we have \((y_0, \xi_0 + \lambda \nu) \notin WF_a(u)\), for all \(\lambda \in \mathbb{R}\).
Mathematics Subject Classification ID: 35A27
Mathematics Subject Classification ID: 35A07
zbMATH DE Number: 817697
zbMATH Keywords: Watermelon theorem
zbMATH Keywords: analytic wavefront set
author: Johannes Sjöstrand
MaRDI profile type: Publication
full work available at URL: mrl.1994.v1.n3.a3
OpenAlex ID: W2335490383
DOI: 10.4310/MRL.1994.V1.N3.A3
Recommended article: Q3428823
Recommended article: Remark on a theorem of Wolke
Recommended article: Q5584661
Recommended article: An Extension of Muchnik's Theorem
Recommended article: Remarks on Wilmshurst's theorem
Recommended article: Remark on Moreno's theorem
Recommended article: Q3829604
Recommended article: A remark on Ambarzumian's theorem
Recommended article: An extension of Widder's theorem
Recommended article: An extension of the Yamada-Watanabe theorem
description: scientific article; zbMATH DE number 817697