简介Grafakos《经典傅里叶分析》GTM 249第三版配套习题全解面向数学系研究生、调和分析与泛函分析方向学习者为系统完成教材全部课后练习提供逐题参考答案。内容覆盖第一章Lp空间与插值核心证明包含Lp与弱Lp空间定义性质、分布函数右连续性、勒贝格单调收敛定理应用、Hölder不等式及其等号成立条件并给出Riesz-Thorin插值定理相关习题的完整推导步骤详尽、逻辑严谨便于对照教材独立验证思路。资源为单个PDF文件大小约1.49MB排版清晰适合打印或平板批注使用。已有647人学习下载可作为学习《经典傅里叶分析》时查漏补缺、考前集中刷题的重要参考尤其对掌握分布函数技巧、算子插值方法与乘积范数估计等常用工具大有帮助。适合自学与教学辅导使用能显著提升课后习题研读效率。1. Grafakos GTM249 习题答案不是答案库你搜的是怎么把证明写到让人挑不出刺很多人搜“Grafakos GTM249 习题答案”时心里默认是找一份现成的作业答案等真正翻开教材才发现这本调和分析研究生教材的习题几乎全是证明题题干往往只有一句话证明某个算子有界证明某个空间被嵌入另一个空间证明某个估计在给定常数下成立。这些题目不是散落的计算训练而是一层层递进的引理拼图前一题的结论到下一题就变成已知条件刷完全书等于亲手把正文里高度浓缩的定理重新修了一遍。这篇笔记不是要给哪道题贴最终答案而是从解题者视角拆解一套能迁移的方法GTM249 到底考哪几条主线、高频题型怎么一步步推完、哪些地方最容易让小失误毁掉整份证明。新手可以按章节跟着推熟手可以跳过基础部分直接看避坑和验证技巧这篇笔记都写在明处。2. GTM249 的习题地图四条主线与五种常考能力GTM249 的习题表面覆盖上百个编号骨干只有四条Schwartz 空间与傅里叶变换的初步性质、Lp 空间与插值、Hardy-Littlewood 极大函数、奇异积分与 Calderón-Zygmund 分解。后三者的习题大量复用第一部分的结论所以先看懂“衰减”和“交换积分次序”这两个词后面会顺很多。下面按主线拆开讲。2.1 主线一Schwartz 空间与卷积封闭性——题目为什么总在绕“衰减”第一部分习题的最大特点是“不让你算积分而是让你证明性质”。最常见的一类题是若 f、g 属于 Schwartz 类证明乘积 f·g、卷积 f*g、傅里叶变换 f̂ 仍属于 Schwartz 类。表面上是性质验证实际考的是两件事一是能不能把莱布尼茨求导规则写在多重指标下二是能不能用多项式衰减控制住求导后产生的每一项。标准做法分三步。第一步把混合偏导数 ∂ᵝ(f·g) 按莱布尼茨公式展开为若干项第二步每一项里把因子写成“多项式乘原函数”的形状第三步用 Schwartz 空间半范数 ‖xᵅ ∂ᵝ f‖∞ 的有界性逐项压制。关键是每一步都只做一件事不跳步。很多人在第二步图省事直接把乘积的高阶导写成一项后面半范数的指数对不上整个证明就卡住。傅里叶变换的初步计算题也属于这条主线。教材会让你算高斯型函数 e^{-π|x|²} 的变换或者验证平移、调制、伸缩三条公式。这类题真正的坑不在微积分而在归一化约定系数差一个 2π结论里就会多出指数因子或整体常数。我一般建议做题第一步先把约定写死比如取 f̂(ξ)∫ f(x)e^{-2πi x·ξ}dx后面所有推导都在这个约定下进行。别在同一道题里混用两种约定否则会得到两套冲突的“正确答案”。2.2 主线二从 Lp 到弱 Lp 再到插值——常数是唯一考官插值类习题是被低估的一类。题目通常只给一句已知算子 T 在 L^p1 有界、在 L^p2 有界证明它在 L^p 有界。很多人觉得这就是套用插值定理把定理条件抄一遍、结论写一遍就完事。实际上命题人想考的是你有没有把端点型的强弱分清楚Riesz-Thorin 要求线性算子Marcinkiewicz 插值只要求亚线性算子强型端点写的是范数界弱型端点写的是分布函数不等式。用错的直接后果是常数与 p 的关系完全失控。常数的处理是这组题的核心考点。很多习题故意把常数藏在一个端点估计里等你插值过去才发现常数对 p 的依赖有问题需要回头补一个齐次缩放。所谓齐次缩放就是考察 f 换成 f_λ(x)f(x/λ) 时不等式两边分别按 λ 的哪次幂变化。线性算子的 Lp 范数界在两边的幂次应当一致这也是验证推导有没有丢因子的黄金检查法。注意插值定理里真正决定成败的是端点条件的“形式”。弱型端点写的是分布函数不等式强型端点写的是范数不等式。把弱型误写成强型或者反过来在习题里是反复出现的坑。2.3 主线三Hardy-Littlewood 极大函数——全书所有难题的靶心极大函数 Mf 在 GTM249 里几乎像脊椎骨。它的定义是 Mf(x)sup_{r0} (1/|B(x,r)|)∫_{B(x,r)}|f(y)|dy习题里它出现在两个位置要么直接让你证明弱 (1,1) 型和强 (p,p) 型有界要么作为某个更复杂算子的控制算子出现。证明弱 (1,1) 型的核心是 Vitali 覆盖引理这个引理说的是任意一族球总能选出不相交子族使扩大 3 倍后仍覆盖原集合。习题设计者最爱做的就是把这个球覆盖换成二进立方体目的有两个一是让你体会换成二进网格后重叠问题消失覆盖引理变成“分裂与停止”这种纯初等操作二是逼你处理二进网格特有的边界零测集问题这时候必须严格写出第一类点与第二类点的判别。弱 (1,1) 型估计的标准写法是|{x: Mf(x) α}| ≤ C/α ∫|f(y)|dy左边是水平集的测度右边是常数除以阈值再乘 L1 范数。这条式子看似简单常见的错误是漏写左侧的测度记号或者把右侧的 1/α 直接写成常数。这种错误在单独推导里不致命但一旦走到 Marcinkiewicz 插值那一步阈值 α 的尺度因子丢了整个估计的齐次性就坏掉后面的范数界全部不可信。2.4 主线四奇异积分与 Calderón-Zygmund 分解——最固定的套路最值得背奇异积分这一章本质上是“已知算子 L2 有界怎么把有界性传到 Lp”。习题套路非常机械给定核 K验证尺寸条件与光滑性条件然后用 Calderón-Zygmund 分解完成估计。分解的构造本身不依赖核的具体形态只依赖一个事实可积函数在给定阈值下可以被拆成“处处可控的好部分”加“一列均值零的坏项”。构造过程是三步。第一步选定二进立方体网格从包含函数主支撑的大立方体开始第二步当下方体上的平均超过阈值 α 时停止否则继续二分第三步把接受下来的立方体记为 Q_j在剩余区域上保留 f 原值在 Q_j 上把 f 替换成它在 Q_j 上的平均值。三个关键性质可以列成一张表步骤目标典型结论二分停止抓出“坏的”立方体Σ定义好部分 g在剩余区域控制‖g‖∞ ≤ C·α定义坏部分 b每个坏项消去均值∫_{Q_j} b 0这张表不是答案但它是所有奇异积分题共用的骨架。交作业前先检查这三行是否都严格成立再去做后面的核估计正确率会明显提升。很多学生把精力花在核的光滑性估计上结果前面的分解常数抄错后面算得再细也白费。3. 三道高频题型的完整推导模板跟着步骤推完就能迁移到同类题不贴现成答案只把三类最常考、又最容易让人卡壳的推导过程按步骤拆开。每一步都能迁移到相似题目做完一道等于做会一串。3.1 模板一用 ODE 算高斯型傅里叶变换——先定约定再动手高频题计算 f(x)e^{-π|x|²} 在 n 维空间上的傅里叶变换。这道题几乎是后续所有“用显式函数验证算子性质”题目的起点值得完整走一遍。第一步写明这个题的变换约定。用 f̂(ξ)∫ f(x)e^{-2πi x·ξ}dx目的是让结论足够干净待证结果是 f̂f。约定不同答案会多出系数所以这一步必须写清楚。第二步先做一维情况。令 F(ξ)∫ e^{-πx²}e^{-2πi xξ}dx。对 ξ 求导把求导搬进积分号。这一步需要说明理由被积函数关于 x 可积且关于 ξ 的偏导数被一个可积函数控制因此交换合法。第三步把 x·e^{-πx²} 写成 (-1/2π)·(d/dx)e^{-πx²}做分部积分。边界项在无穷远处为零剩下的导数作用到指数 e^{-2πi xξ} 上得到 F(ξ)-2πξF(ξ)。第四步解一阶常微分方程F(ξ)F(0)e^{-πξ²}。F(0) 是标准高斯积分等于 1所以 F(ξ)e^{-πξ²}。第五步扩展到 n 维。e^{-π|x|²} 可以写成各坐标分量的乘积傅里叶变换是张量积分解因此结论逐分量成立。到这里推导完整结束。这道题常见的丢分点有三个求导时丢掉虚数单位 i分部积分时忽略边界项以及没有说明求导进积分号的理由。这本书很在意最后一点初步题也默认你要写一句“收敛性允许交换”。以后遇到更复杂的变换计算一个通用策略是先对变量求导、得到一个 ODE再解方程这比硬算高维积分可靠得多。3.2 模板二用 Marcinkiewicz 插值把弱 Lp 估计升成 Lp 估计——常数全程显式高频题已知极大算子 M 是亚线性的它满足弱 (1,1) 型估计 α·λ(α)≤C‖f‖₁并且 L∞ 估计是平凡的证明对任意 1p∞‖Mf‖_p 被 ‖f‖_p 控制。题干里的算子换成任意奇异积分算子这道题的骨架依然成立。第一步做水平集拆分。固定阈值 α0把 f 拆成高分量与低分量f₁(x)f(x)·1_{|f(x)|α}f₂(x)f(x)·1_{|f(x)|≤α}。由于 M 是亚线性算子Mf≤Mf₁Mf₂所以目标水平集可以并进两个子集{x: Mf(x)2α} ⊂ {x: Mf₁(x)α} ∪ {x: Mf₂(x)α}。第二步分别处理两个子集。f₂ 的绝对值被 α 控制于是 Mf₂≤α 处处成立右侧第二个集合为空。第一个集合正好用弱 (1,1) 型估计|{x: Mf₁(x)α}| ≤ C/α ∫_{|f|α}|f(y)|dy。注意这一步的常数 C 来自覆盖引理与后面的插值因子无关。我习惯把常数分阶段标注合并太早会导致查错时找不到源头。第三步把水平集估计代进分布函数积分公式‖Mf‖p^p p∫₀^∞ α^{p-1}λ{Mf}(α)dα。做变量替换后得到双重积分再交换积分次序对固定的 yα 从 0 跑到 |f(y)|。内层积分 ∫₀^{|f(y)|} α^{p-2}dα |f(y)|^{p-1}/(p-1)。第四步整理出最终估计‖Mf‖_p ≤ C·(p/(p-1))^{1/p}‖f‖_p。这里的因子 (p/(p-1))^{1/p} 就是插值的“价格”必须显式出现。如果你只写常数 C_p被追问时无法交代常数对 p 的依赖。这个套路用到任何亚线性算子上都成立区别只是端点常数 C 的内容不同。保留常数链条是这类题最重要的写作习惯也是避免翻车的血泪经验。3.3 模板三Calderón-Zygmund 分解的三层构造——立方体、好部分、坏部分高频题给定可积函数 f 与阈值 α0构造分解 fgb其中 g 几乎处处被常数倍 α 控制b 是一列在立方体上均值为零的项之和且这些立方体的总体积可控。要完整构造它需要三层。第一层建立二进网格。把 Rⁿ 看作一族互不重叠的二进立方体之并。二进网格的核心优势是两个同尺寸立方体要么完全重合要么完全不相交。这绕开了球覆盖中“两个球会重叠”的麻烦使得所有测度估计都变成简单求和。第二层执行停止时间规则。从大立方体开始若某个立方体上的平均 |f| 超过 α就让这个立方体“停止”不再细分没超过的继续一分为 2ⁿ 个子立方体。等全部停止后把被选中的立方体记为 Q_j。被选中的立方体满足一对双向不等式α (1/|Q_j|)∫_{Q_j}|f|dy ≤ 2ⁿα。左边来自停止规则右边来自“父立方体没停止”的事实。这两个不等式缺一不可右边保证好部分有界左边保证坏立方体的总体积可控。第三层定义两个函数。令 Ω∪Q_j在 Ω 外面保留 f 本身在 Q_j 上用平均值代替原函数g f·1_{Ω外} Σ_j (1/|Q_j|∫_{Q_j}f)·1_{Q_j}b Σ_j (f - 1/|Q_j|∫_{Q_j}f)·1_{Q_j}逐个验证三条性质。在 Ω 外|g||f|≤α在每个 Q_j 上g 等于那个平均值绝对值夹在 α 与 2ⁿα 之间所以 ‖g‖∞≤2ⁿα。坏部分 b 在每个 Q_j 上均值为零而且 ∫|b|Σ∫_{Q_j}|f-平均f|≤2∫|f|。最后用停止立方体的总和做体积估计Σ|Q_j|≤(1/α)Σ∫_{Q_j}|f|≤‖f‖₁/α。到这里分解完成。后续奇异积分题的所有估计都建立在这三行性质上。特别是“坏部分均值零”这一条核的光滑性会专门来抵消它。如果构造时丢了均值零性质后面无论怎么估计都不成立。这也是为什么建议把分解的每一步目标记清楚而不是机械抄公式。4. 习题解答里最常见的五个翻车点现象、原因与修正4.1 翻车点 1把 Young 卷积不等式用反了现象证明卷积的 Lp 估计 ‖f*g‖_r ≤ ‖f‖_p ‖g‖_q 时代入 p∞ 得到荒谬结论或者算出的指标 r1。 原因对不等式成立的条件不熟。正确的指标关系是 1/r 1/p 1/q - 1且所有量非负。很多人把这个条件记成 1/p 1/q ≥ 1或者直接把 1 移到左边符号出错。 解决拿到数值先做指标校验写一行“取 p…q…算出 r…符合范围”再开始估计。这一步十秒钟但能挡掉大量低级错误。4.2 翻车点 2把分布的支撑集当成函数支撑集现象题目要求在分布意义下求某个函数的傅里叶变换推导中出现“因为 f 有界衰减所以 f̂ 的支撑集紧”这类结论。 原因经典函数的支撑集与分布意义下的支撑集是两个概念。Schwartz 函数的傅里叶变换可以快速衰减但除零函数外没有任何非零紧支撑函数其变换也是紧支撑的。 解决每次写 supp 之前先明确对象是普通函数还是分布。处理分布时回到配对形式 ⟨T,φ⟩ 写定义不要直接搬函数值。4.3 翻车点 3弱 Lp 估计里覆盖常数随手丢现象证明弱 (1,1) 型时写着写着把覆盖引理中的扩倍系数吞掉最后给成 λ(α)≤C‖f‖₁/α但 C 的数值明显与维度不匹配。 原因覆盖引理证明里“被选球扩大 3 倍后覆盖全集”这一步移动集合时忘记录入放大倍数。换成二进立方体后虽没有 3 倍球却会多出 2ⁿ 或 2^{kn} 的因子。 解决在每次扩大集合的步骤旁边标注“此处放大 3ⁿ 倍”或“此处放大 2ⁿ 倍”最后把常数链完整写出。不要提前合并常数。4.4 翻车点 4对偶论证里不写检验函数空间现象要用 Lp 对偶定理时未说明函数是在 Lp 空间还是仅在某个稠密子空间里直接拿 L∞ 测试函数去逼近然后交换极限次序不合法。 原因弱 Lp 空间不对偶于 Lq强 Lp 空间要求函数本身是 Lp 类测试函数还需要紧支撑或 Schwartz 类的限制。 解决每次用对偶前先写一句“先在测试函数类上验证再用密度延拓”。几乎所有需要对偶的习题都吃这一套这也是教材正文反复强调的论证模式。4.5 翻车点 5把“衰减”当成“紧支撑”或反过来现象函数在无穷远处衰减到零就被当作在有限区间外取值为零或者看到紧支撑就觉得函数一定光滑。这两个结论都违反基本定义。 原因把物理直觉直接搬进分析证明。衰减只说明函数趋于零的速度紧支撑则要求存在一个有界闭集把支撑整个装进去二者没有任何蕴含关系。 解决涉及 Schwartz 类时只使用半范数表述涉及紧支撑时必须写“存在 R 使得 supp f⊂B(0,R)”。验证性质时把这两条分开检查不要互相替代。5. 验证答案的进阶习惯一维退化、尺度检查与端点回代每个题推完先别急着抄写最终答案。我给自己定了一个强制三件套能挡住绝大部分不严密的推导。第一件是一维退化。拿到 Rⁿ 里的命题先降到 n1 把关键步骤过一遍。比如极大函数的弱 (1,1) 型估计取 f1_{[0,1]}手算 Mf(x) 在 x1 时的渐近行为看它是不是约等于 1/x。如果答案里常数与维度无关这一步会验证如果常数随维度变化这一步也能看出变化量是否合理。很多人在高维里绕晕一降维立刻看出证明里哪一步其实用不上。降维不是偷懒而是把张量积与几何重叠两种复杂度分开处理。第二件是尺度检查。对 f 做缩放 f_λ(x)f(x/λ)看不等式两端各自按 λ 的几次方缩放。这是一道恒等式检查线性或亚线性算子的 Lp 范数界在缩放下必须保持齐次。若左边是 λ^{n/p}右边写出来却是 λ^{n/q}中间一定在某个环节丢了或多了因子。这个检查不需要高深理论但能精确指出第 4.3 节那种常数漂移发生的大致位置。第三件是端点回代。把 p1 与 p∞ 代进刚证明的估计看端点是否退化成已知事实。例如 p∞ 时插值因子 (p/(p-1))^{1/p} 发散是预期行为但如果你在 p2 写出了 ‖Mf‖₂≤C‖f‖∞那明显不能对所有 L∞ 函数成立说明推导漏掉了 ‖f‖₂。端点回代往往会暴露那些藏在中间步骤的替换错误。做完这三件事再交作业基本不用等批改来告诉你哪里翻车。我的习惯是每道证明题先按“一维退化→尺度检查→端点回代”过一遍再逐条核对题目条件最后才誊写干净答案。这个检查习惯比多刷十道题都有用希望对正在啃 GTM249 习题的同学也能帮上忙。本文还有配套的精品资源点击获取