Weak convergence for a class of rapidly oscillating functions (Q1277431)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak convergence for a class of rapidly oscillating functions |
scientific article |
Statements
Weak convergence for a class of rapidly oscillating functions (English)
0 references
29 November 1999
0 references
Let \(\Omega\subset \mathbb{R}^N\) be open and \(f:\Omega\times \mathbb{R}^N\to \mathbb{R}\) be 1-periodic with respect to the second variable, i.e. \(f(x, x+z)= f(x,y)\) for all \(x\in\Omega\), \(y\in\mathbb{R}^N\), \(z\in\mathbb{Z}^N\). The author is interested in classes of such functions \(f\) for which i) the maps \(f^\varepsilon: x\mapsto f(x,x/\varepsilon)\) are measurable for every \(\varepsilon>0\); ii) \(f^\varepsilon\) converges weakly in some \(L_p\) to the ``mean value'' \((f): x\mapsto \int_Y f(x,y)dy\) as \(\varepsilon\) tends to zero; iii) \(\lim_{\varepsilon\to 0+} \int_\Omega| f^\varepsilon(x)|^p dx= \int_{\Omega\times Y}| f(x,y)|^p dx dy\). First, the author reminds of known results of the above kind (involving some continuity properties of \(f\) with respect to \(x\) or to \(y\)) and of an example which shows that even in the case \(N=1\) some regularity conditions are inevitable. After defining the notions of approximative limits and of approximate continuity for measurable functions, the author presents and proves the following two results: Theorem 1. Let \(f: \Omega\to L^\#_\infty(Y):= \{g\in L_\infty(\mathbb{R}^N)\): \(g\) 1-periodic\} be strongly measurable. Then i) there are \(\Omega_0\subset\Omega\) and \(Y_0\subset [0,1]^N\) with complements of measure zero such that \(f(x_0,\cdot)\) is approximately continuous on \(Y_0\) for all \(x_0\in\Omega_0\); ii) for each \(\varepsilon> 0\), the function \(f^\varepsilon: x\mapsto \underset{y\to x/\varepsilon}{\text{lim ap}} f(x,y)\) is defined almost everywhere on \(\Omega\), is measurable, and satisfies the inequality \(| f^\varepsilon(x)|\leq\| f(x,\cdot)\|_{L^\#_\infty(Y)}\) for almost all \(x\in\Omega\). Theorem 2. Let \(f:\Omega\to L^\#_\infty(Y)\) be in \(L_p(\Omega; L^\#_\infty(Y))\) for some \(p\in [1,\infty]\). Then \(f^\varepsilon\in L_p(\Omega)\) and \(\| f^\varepsilon\|_p\leq \| f\|_{L_p(\Omega; L^\#_\infty(Y))}\). Moreover, \(f^\varepsilon\to (f)\) weakly in \(L_p(\Omega)\) for \(p<\infty\) and \(*\)-weakly in \(L_\infty(\Omega)\) for \(p=\infty\). For \(p<\infty\), property iii) from above holds.
0 references
rapidly oscillating functions
0 references
mean value
0 references
approximative limits
0 references
approximate continuity
0 references