Forgot password
 Register account
View 254|Reply 6

[分析/方程] 黎曼-勒贝格定理 $L^p$ 0<p<1 反例?

[Copy link]

3211

Threads

7832

Posts

52

Reputation

Show all posts

hbghlyj posted 2024-2-11 01:49 |Read mode
黎曼-勒贝格定理
设 $ f $ 为一个在实区间 $ I$ 上定义的L1可积函数,取值为实数或复数。那么有
$$ \lim _{s\to \pm \infty }\int _{I}f(t)\,e^{-ist}\,dt=0 $$
若把L1改為L$\vphantom{\large L}^p\ (0<p<1)$, 例如L0.9, 有反例嗎?

48

Threads

771

Posts

93

Reputation

Show all posts

Czhang271828 posted 2024-2-15 15:20
取 $I=\mathbb R_{\geq 0}$, 构造可数段的阶梯函数 $f$ 如下:

对 $n\in \mathbb N_+$, $f$ 在 $[n,n+2^{-n}[$ 上取值 $2^n$, 其余位置取 $0$. 这样的 $f$ 是 $L^p$ 的.

对任意 $k\in \mathbb N_+$, 依照 $x-x^3/6<\sin x<x$ 缩放下式
$$
\int_{\mathbb R_+} f(x)\cdot \cos (2^k\pi x) \operatorname dx,
$$
可见下式的取值是无穷大.

其实 RL 引理没规定选取的周期函数必须为 $e^{ist}$. 你取个平均积分为 $0$ 的分段阶梯函数或许更方便考虑反例.

3211

Threads

7832

Posts

52

Reputation

Show all posts

original poster hbghlyj posted 2024-2-16 20:17
Czhang271828 发表于 2024-2-15 07:20
依照 $x-x^3/6<\sin x<x$ 缩放下式
$$
\int_{\mathbb R_+} f(x)\cdot \cos (2^k\pi x) \operatorname dx,
$$
方程中没有sin,如何使用不等式$x-x^3/6<\sin x<x$

3211

Threads

7832

Posts

52

Reputation

Show all posts

original poster hbghlyj posted 2024-2-16 20:19
Czhang271828 发表于 2024-2-15 07:20
可见下式的取值是无穷大.
省略的下式$\lim_{k\to\infty}$吗?

3211

Threads

7832

Posts

52

Reputation

Show all posts

original poster hbghlyj posted 2024-2-17 05:44
Czhang271828 发表于 2024-2-15 07:20
取个平均积分为 $0$ 的分段阶梯函数或许更方便考虑反例.
可能相关
math.stackexchange.com/questions/3536488/
math.stackexchange.com/questions/637052/

3211

Threads

7832

Posts

52

Reputation

Show all posts

original poster hbghlyj posted 2024-2-17 19:07
Czhang271828 发表于 2024-2-15 07:20
依照 $x-x^3/6<\sin x<x$ 缩放下式
$$
\int_{\mathbb R_+} f(x)\cdot \cos (2^k\pi x) \operatorname dx,
$$
$
\int_{\mathbb R_+} f(x)\cdot \sin(2^k\pi x) \operatorname dx,
$是指这个吗?

Comment

其实两式都可以做出来.  posted 2024-2-18 13:31

Quick Reply

Advanced Mode
B Color Image Link Quote Code Smilies
You have to log in before you can reply Login | Register account

$\LaTeX$ formula tutorial

Mobile version

2025-7-20 05:49 GMT+8

Powered by Discuz!

Processed in 0.012356 seconds, 23 queries