数学分析习题练习【谢绝回贴】

大连理工2024数学分析


证明 \[\because \int_{0}^{+\infty }\frac{x}{1+x^6\sin ^2x}dx=\int_{0}^{1}\frac{x}{1+x^6\sin ^2x}dx+\int_{1}^{+\infty }\frac{x}{1+x^6\sin ^2x}dx.\]
               两个积分均收敛.\[\because \int_{0}^{1}\frac{x}{1+x^6\sin ^2x}dx< \int_{0}^{1}xdx=\frac{1}{2}.\]而\[\int_{1}^{+\infty }\frac{x}{1+x^6\sin ^2x}dx< \int_{1}^{+\infty }\frac{1}{x^5}dx< \infty .\]

大连理工2024数学分析


证明
         

   注：本中值定理题较特别.

大连理工2024数学分析


证明  \[\because f(x)\in C[a,b],\therefore \exists x_0\in [a,b],s.t.\max_{x\in [a,b]}f(x)=f(x_0).\]又由积分中值定理\[\exists \xi \in [a,b],s.t.|f(\xi )|=\frac{1}{b-a}|\int_{a}^{b}f(x)dx|.\]于是，\[\max_{x\in [a,b]}|f(x)|=|f(x_0)|=|\int_{\xi }^{x_0}f'(t)dt+f(\xi )|\]\[\le |\int_{\xi }^{x_0}f'(t)dt|+|f(\xi )|\le \int_{a}^{b}|f'(t)|dt+\frac{1}{b-a}|\int_{a}^{b}f(x)dx|.\]

大连理工2024数学分析


证明  先证明级数任意阶可导.令\[ u_n(x)=\frac{\sin (2^nx)}{n!}.\]\[\because |u_n(x)|=|\frac{\sin (2^nx)}{n!}|< \frac{1}{n^2},\]\[\therefore \displaystyle\sum_{n=1}^{\infty }u_n(x)一致收敛.\]又\[\because |u'_n(x)|=|\frac{2^n\sin (2^nx)}{n!}|\le \frac{2^n}{n!}，\]而\[|\frac{u'_{n+1}(x)}{u'_n(x)}|=\frac{2}{n+1}< 1.\]\[\therefore \displaystyle\sum_{n=1}^{\infty }u'_n(x)收敛，\]故\[f(x)=\displaystyle\sum_{n=1}^{\infty }u_n(x)可导，\]且\[f'(x)=\displaystyle\sum_{n=1}^{\infty }u'_n(x).\]同理，由于\[u^{(k)}_n(x)=\frac{2^{kn}\sin (2^nx)}{n!},|\frac{u^{(k)}_{n+1}(x)}{u^{(k)}_n(x)}|=\frac{2^k}{n+1}< 1,(k为固定值).\]\[\displaystyle\sum_{n=1}^{\infty }u^{(k)}_n(x)收敛，\]故\[f^{(k-1)}(x)=\displaystyle\sum_{n=1}^{\infty }u^{(k-1)}_n(x)可导，\]且\[f^{(k)}(x)=\displaystyle\sum_{n=1}^{\infty }u^{(k)}_n(x).\]
其次，证不能展开为幂级数.反证法.假设原级数能展开为幂级数，则\[f(x)=\displaystyle\sum_{n=1}^{\infty }u_n(x)=\displaystyle\sum_{n=1}^{\infty }a_n(x-x_0)^n,则有f^{(n)}(x_0)=n!a_n.\]
        

大连理工2024数学分析


证明   由已知，有 \[\forall \varepsilon > 0,\exists N\in \mathbb{N},n> N,s.t.|n(1-|\frac{a_{n+1}}{a_n}|)-p< \varepsilon .\]从而\[||\frac{a_{n+1}}{a_n}|-1+\frac{p}{n}|< \frac{\varepsilon }{n},\]\[\therefore 0< |\frac{a_{n+1}}{a_n}|< 1-\frac{p}{n}+\frac{\varepsilon }{n}< 1.\]\[由比较判别法原级数绝对收敛.\]

中国人大2024数学分析


解   \[\because \frac{1}{n}\sin \frac{i\pi }{n}\le \frac{\frac{1}{n}\sin \frac{i\pi }{n}}{1+\frac{1}{n}}< \frac{\sin \frac{i\pi }{n}}{n+\frac{i}{n}}< \frac{\frac{1}{n}\sin \frac{i\pi }{n}}{1+\frac{1}{n^2}}\le \frac{1}{n}\sin \frac{i\pi }{n}.n\to\infty\]\[\therefore \lim_{n\to\infty }\displaystyle\sum_{i=1}^{n}\frac{\sin \frac{i\pi }{n}}{n+\frac{i}{n}}=\lim_{n\to\infty }\displaystyle\sum_{i=1}^{n}\frac{1}{n}\sin \frac{i\pi }{n}=\int_{0}^{1}\sin (\pi x)dx=\frac{2}{\pi }.\]

中国人大2024数学分析


证明  由已知，\[\forall \varepsilon > 0,\exists M> 0,n\in \mathbb{N},\forall x'+n> M,s.t.|f(x'+n)|< \varepsilon .\]由$f(x)$在$[0,+\infty )$上一致连续，可知，对于上述\varepsilon ，M,\[\exists \delta > 0,\forall x,x'+n\in [0,+\infty ),0< |x-(x'+n)|< \delta .s.t.|f(x)-f(x'+n)|< \varepsilon .\]\[\therefore |f(x)|\le |f(x)-f(x'+n)|+|f(x'+n)|< \varepsilon .\]

中国人大2024数学分析

要证明对于任意 \( x \in [0,2] \)，有 \( |f'(x)| \leq 2 \)，我们可以按照以下步骤进行：

### 步骤 1：泰勒展开
任取 \( x \in [0,2] \)，考虑在 \( x \) 点处对 \( f \) 进行泰勒展开。对于任意 \( h \) 使得 \( x + h \in [0,2] \)，有：
\[
f(x + h) = f(x) + f'(x)h + \frac{f''(\xi)}{2}h^2
\]
其中 \( \xi \) 介于 \( x \) 和 \( x + h \) 之间。

同样，对于 \( x - h \in [0,2] \)，有：
\[
f(x - h) = f(x) - f'(x)h + \frac{f''(\eta)}{2}h^2
\]
其中 \( \eta \) 介于 \( x - h \) 和 \( x \) 之间。

### 步骤 2：消去 \( f(x) \)
将两式相减，消去 \( f(x) \)：
\[
f(x + h) - f(x - h) = 2f'(x)h + \frac{f''(\xi) - f''(\eta)}{2}h^2
\]
整理得到：
\[
f'(x) = \frac{f(x + h) - f(x - h)}{2h} - \frac{f''(\xi) - f''(\eta)}{4}h
\]

### 步骤 3：取绝对值并利用已知条件
取绝对值并利用 \( |f(x)| \leq 1 \) 和 \( |f''(x)| \leq 1 \)：
\[
|f'(x)| \leq \frac{|f(x + h)| + |f(x - h)|}{2h} + \frac{|f''(\xi)| + |f''(\eta)|}{4}h \leq \frac{1 + 1}{2h} + \frac{1 + 1}{4}h = \frac{1}{h} + \frac{h}{2}
\]

### 步骤 4：优化 \( h \) 的取值
为了找到 \( |f'(x)| \) 的上界，我们需要最小化 \( \frac{1}{h} + \frac{h}{2} \)。令 \( g(h) = \frac{1}{h} + \frac{h}{2} \)，求导并令导数为零：
\[
g'(h) = -\frac{1}{h^2} + \frac{1}{2} = 0 \implies h = \sqrt{2}
\]
此时：
\[
g(\sqrt{2}) = \frac{1}{\sqrt{2}} + \frac{\sqrt{2}}{2} = \frac{2}{\sqrt{2}} = \sqrt{2} \approx 1.414
\]
然而，我们需要确保 \( x \pm h \in [0,2] \)。对于 \( x \in [0,2] \)，\( h \) 的最大可能值是 \( \min(x, 2 - x) \)。当 \( x = 1 \)，\( h \) 可以取到最大值 1。此时：
\[
g(1) = 1 + \frac{1}{2} = 1.5
\]
但为了更精确，考虑边界情况 \( x = 0 \) 或 \( x = 2 \)：
- 当 \( x = 0 \)，泰勒展开只能向右展开：
  \[
  f(h) = f(0) + f'(0)h + \frac{f''(\xi)}{2}h^2
  \]
  解得：
  \[
  f'(0) = \frac{f(h) - f(0)}{h} - \frac{f''(\xi)}{2}h
  \]
  取绝对值：
  \[
  |f'(0)| \leq \frac{2}{h} + \frac{h}{2}
  \]
  当 \( h = 2 \) 时：
  \[
  |f'(0)| \leq 1 + 1 = 2
  \]
- 类似地，对于 \( x = 2 \)，可以得到 \( |f'(2)| \leq 2 \)。

### 步骤 5：综合结果
对于任意 \( x \in [0,2] \)，通过优化 \( h \) 的取值，可以证明 \( |f'(x)| \leq 2 \)。特别地，当 \( x \) 接近边界时，取 \( h = 2 \) 直接得到 \( |f'(x)| \leq 2 \)。

### 最终结论
因此，对于任意 \( x \in [0,2] \)，有：
\[
|f'(x)| \leq 2
\]

\boxed{|f'(x)| \leq 2}

以上是deepseek的解答，很棒

中国人大2024数学分析


### 问题重述

设函数 \( f(x) = \int_1^x e^{t^2} \, dt \)，证明：存在 \(\xi \in (1, 2)\) 和 \(\eta \in (1, 2)\)，使得

1. \( f(\xi) = (2 - \xi)e^{\xi^2} \)，
2. \( f(2) = \eta e^{\eta^2} \ln 2 \)。

### 证明第一部分：存在 \(\xi \in (1, 2)\) 使得 \( f(\xi) = (2 - \xi)e^{\xi^2} \)

#### 思路
我们需要证明存在 \(\xi \in (1, 2)\) 使得 \( f(\xi) = (2 - \xi)e^{\xi^2} \)。可以构造一个辅助函数，利用中值定理（如罗尔定理或拉格朗日中值定理）来证明。

#### 构造辅助函数
定义辅助函数：
\[
g(x) = f(x) - (2 - x)e^{x^2}
\]
我们需要证明 \( g(\xi) = 0 \) 对于某个 \(\xi \in (1, 2)\)。

计算 \( g(1) \) 和 \( g(2) \)：
1. \( g(1) = f(1) - (2 - 1)e^{1^2} = 0 - e = -e \)（因为 \( f(1) = \int_1^1 e^{t^2} \, dt = 0 \)）。
2. \( g(2) = f(2) - (2 - 2)e^{4} = f(2) - 0 = f(2) \)。

显然 \( g(1) = -e < 0 \)，而 \( g(2) = f(2) > 0 \)（因为 \( e^{t^2} > 0 \) 对于 \( t \in [1, 2] \)，积分结果为正）。

#### 应用中值定理
由于 \( g(x) \) 是连续的（因为 \( f(x) \) 和 \( (2 - x)e^{x^2} \) 都是连续的），且 \( g(1) < 0 \) 和 \( g(2) > 0 \)，根据介值定理，存在 \(\xi \in (1, 2)\) 使得 \( g(\xi) = 0 \)，即：
\[
f(\xi) = (2 - \xi)e^{\xi^2}
\]

### 证明第二部分：存在 \(\eta \in (1, 2)\) 使得 \( f(2) = \eta e^{\eta^2} \ln 2 \)

#### 思路
我们需要证明存在 \(\eta \in (1, 2)\) 使得 \( f(2) = \eta e^{\eta^2} \ln 2 \)。可以尝试利用积分中值定理或构造辅助函数。

#### 利用积分中值定理
函数 \( e^{t^2} \) 在 \([1, 2]\) 上连续，因此由积分中值定理，存在 \(\eta \in (1, 2)\) 使得：
\[
f(2) = \int_1^2 e^{t^2} \, dt = e^{\eta^2} (2 - 1) = e^{\eta^2}
\]
但这与题目要求的 \( f(2) = \eta e^{\eta^2} \ln 2 \) 不一致，因此直接积分中值定理不适用。

#### 重新构造辅助函数
考虑题目要求的形式 \( f(2) = \eta e^{\eta^2} \ln 2 \)，可以尝试构造：
\[
h(x) = \frac{f(2)}{e^{x^2} \ln 2} - x
\]
我们需要证明 \( h(\eta) = 0 \) 对于某个 \(\eta \in (1, 2)\)。

计算 \( h(1) \) 和 \( h(2) \)：
1. \( h(1) = \frac{f(2)}{e^{1} \ln 2} - 1 = \frac{f(2)}{e \ln 2} - 1 \)。
2. \( h(2) = \frac{f(2)}{e^{4} \ln 2} - 2 \)。

由于 \( f(2) = \int_1^2 e^{t^2} \, dt \)，且 \( e^{t^2} \) 在 \([1, 2]\) 上单调递增，所以：
\[
e^{1} (2 - 1) \leq f(2) \leq e^{4} (2 - 1) \implies e \leq f(2) \leq e^{4}
\]

因此：
- \( h(1) \leq \frac{e^{4}}{e \ln 2} - 1 = e^{3}/\ln 2 - 1 > 0 \)（因为 \( e^{3}/\ln 2 \approx 20.1 \)），
- \( h(2) = \frac{f(2)}{e^{4} \ln 2} - 2 \leq \frac{e^{4}}{e^{4} \ln 2} - 2 = \frac{1}{\ln 2} - 2 \approx 1.4427 - 2 = -0.5573 < 0 \)。

由于 \( h(x) \) 连续，且 \( h(1) > 0 \) 和 \( h(2) < 0 \)，根据介值定理，存在 \(\eta \in (1, 2)\) 使得 \( h(\eta) = 0 \)，即：
\[
\frac{f(2)}{e^{\eta^2} \ln 2} - \eta = 0 \implies f(2) = \eta e^{\eta^2} \ln 2
\]

### 总结
1. 对于第一部分，通过构造辅助函数 \( g(x) = f(x) - (2 - x)e^{x^2} \) 并应用中值定理，证明了存在 \(\xi \in (1, 2)\) 使得 \( f(\xi) = (2 - \xi)e^{\xi^2} \)。
2. 对于第二部分，通过构造辅助函数 \( h(x) = \frac{f(2)}{e^{x^2} \ln 2} - x \) 并应用中值定理，证明了存在 \(\eta \in (1, 2)\) 使得 \( f(2) = \eta e^{\eta^2} \ln 2 \)。

### 最终结论
存在 \(\xi \in (1, 2)\) 和 \(\eta \in (1, 2)\)，使得：
\[
f(\xi) = (2 - \xi)e^{\xi^2}, \quad f(2) = \eta e^{\eta^2} \ln 2
\]

中国人大2024数学分析


### 问题重述
求函数 \( f(x, y, z) = xyz \) 在约束条件  
\[
x^2 + y^2 + z^2 = 1 \quad \text{和} \quad x + y + z = 0  
\]  
下的极值。

### 解题思路
这是一个多元函数的条件极值问题，可以通过拉格朗日乘数法来解决。我们需要引入两个拉格朗日乘数 \(\lambda\) 和 \(\mu\)，分别对应两个约束条件。

### 拉格朗日函数
构造拉格朗日函数：
\[
\mathcal{L}(x, y, z, \lambda, \mu) = xyz - \lambda (x^2 + y^2 + z^2 - 1) - \mu (x + y + z)
\]

### 求偏导并建立方程组
对 \( x, y, z, \lambda, \mu \) 分别求偏导，并令其为零：
\[
\begin{cases}
\frac{\partial \mathcal{L}}{\partial x} = yz - 2\lambda x - \mu = 0 \quad (1) \\
\frac{\partial \mathcal{L}}{\partial y} = xz - 2\lambda y - \mu = 0 \quad (2) \\
\frac{\partial \mathcal{L}}{\partial z} = xy - 2\lambda z - \mu = 0 \quad (3) \\
\frac{\partial \mathcal{L}}{\partial \lambda} = -(x^2 + y^2 + z^2 - 1) = 0 \quad (4) \\
\frac{\partial \mathcal{L}}{\partial \mu} = -(x + y + z) = 0 \quad (5) \\
\end{cases}
\]

### 解方程组
从方程 (5) 得：
\[
x + y + z = 0
\]

从方程 (1) 和 (2) 相减：
\[
yz - xz - 2\lambda (x - y) = 0 \implies z(y - x) - 2\lambda (x - y) = 0 \implies (z + 2\lambda)(y - x) = 0
\]
因此，要么 \( z = -2\lambda \)，要么 \( x = y \)。

类似地，从方程 (2) 和 (3) 相减：
\[
xz - xy - 2\lambda (y - z) = 0 \implies x(z - y) - 2\lambda (y - z) = 0 \implies (x + 2\lambda)(z - y) = 0
\]
因此，要么 \( x = -2\lambda \)，要么 \( y = z \)。

#### 情况 1：\( x = y \)
假设 \( x = y \)，则由 \( x + y + z = 0 \) 得：
\[
2x + z = 0 \implies z = -2x
\]

将 \( y = x \) 和 \( z = -2x \) 代入约束 \( x^2 + y^2 + z^2 = 1 \)：
\[
x^2 + x^2 + (-2x)^2 = 1 \implies 6x^2 = 1 \implies x = \pm \frac{1}{\sqrt{6}}
\]

因此，解为：
\[
(x, y, z) = \left( \frac{1}{\sqrt{6}}, \frac{1}{\sqrt{6}}, -\frac{2}{\sqrt{6}} \right) \quad \text{或} \quad \left( -\frac{1}{\sqrt{6}}, -\frac{1}{\sqrt{6}}, \frac{2}{\sqrt{6}} \right)
\]

计算 \( f(x, y, z) \)：
\[
f\left( \frac{1}{\sqrt{6}}, \frac{1}{\sqrt{6}}, -\frac{2}{\sqrt{6}} \right) = \frac{1}{\sqrt{6}} \cdot \frac{1}{\sqrt{6}} \cdot \left( -\frac{2}{\sqrt{6}} \right) = -\frac{2}{6\sqrt{6}} = -\frac{1}{3\sqrt{6}}
\]
\[
f\left( -\frac{1}{\sqrt{6}}, -\frac{1}{\sqrt{6}}, \frac{2}{\sqrt{6}} \right) = -\frac{1}{\sqrt{6}} \cdot -\frac{1}{\sqrt{6}} \cdot \frac{2}{\sqrt{6}} = \frac{2}{6\sqrt{6}} = \frac{1}{3\sqrt{6}}
\]

#### 情况 2：\( y = z \)
类似地，假设 \( y = z \)，则由 \( x + y + z = 0 \) 得：
\[
x + 2y = 0 \implies x = -2y
\]

将 \( x = -2y \) 和 \( z = y \) 代入约束 \( x^2 + y^2 + z^2 = 1 \)：
\[
(-2y)^2 + y^2 + y^2 = 1 \implies 6y^2 = 1 \implies y = \pm \frac{1}{\sqrt{6}}
\]

因此，解为：
\[
(x, y, z) = \left( -\frac{2}{\sqrt{6}}, \frac{1}{\sqrt{6}}, \frac{1}{\sqrt{6}} \right) \quad \text{或} \quad \left( \frac{2}{\sqrt{6}}, -\frac{1}{\sqrt{6}}, -\frac{1}{\sqrt{6}} \right)
\]

计算 \( f(x, y, z) \)：
\[
f\left( -\frac{2}{\sqrt{6}}, \frac{1}{\sqrt{6}}, \frac{1}{\sqrt{6}} \right) = -\frac{2}{\sqrt{6}} \cdot \frac{1}{\sqrt{6}} \cdot \frac{1}{\sqrt{6}} = -\frac{2}{6\sqrt{6}} = -\frac{1}{3\sqrt{6}}
\]
\[
f\left( \frac{2}{\sqrt{6}}, -\frac{1}{\sqrt{6}}, -\frac{1}{\sqrt{6}} \right) = \frac{2}{\sqrt{6}} \cdot -\frac{1}{\sqrt{6}} \cdot -\frac{1}{\sqrt{6}} = \frac{2}{6\sqrt{6}} = \frac{1}{3\sqrt{6}}
\]

#### 情况 3：\( x = z \)
类似地，假设 \( x = z \)，则由 \( x + y + z = 0 \) 得：
\[
2x + y = 0 \implies y = -2x
\]

将 \( y = -2x \) 和 \( z = x \) 代入约束 \( x^2 + y^2 + z^2 = 1 \)：
\[
x^2 + (-2x)^2 + x^2 = 1 \implies 6x^2 = 1 \implies x = \pm \frac{1}{\sqrt{6}}
\]

因此，解为：
\[
(x, y, z) = \left( \frac{1}{\sqrt{6}}, -\frac{2}{\sqrt{6}}, \frac{1}{\sqrt{6}} \right) \quad \text{或} \quad \left( -\frac{1}{\sqrt{6}}, \frac{2}{\sqrt{6}}, -\frac{1}{\sqrt{6}} \right)
\]

计算 \( f(x, y, z) \)：
\[
f\left( \frac{1}{\sqrt{6}}, -\frac{2}{\sqrt{6}}, \frac{1}{\sqrt{6}} \right) = \frac{1}{\sqrt{6}} \cdot -\frac{2}{\sqrt{6}} \cdot \frac{1}{\sqrt{6}} = -\frac{2}{6\sqrt{6}} = -\frac{1}{3\sqrt{6}}
\]
\[
f\left( -\frac{1}{\sqrt{6}}, \frac{2}{\sqrt{6}}, -\frac{1}{\sqrt{6}} \right) = -\frac{1}{\sqrt{6}} \cdot \frac{2}{\sqrt{6}} \cdot -\frac{1}{\sqrt{6}} = \frac{2}{6\sqrt{6}} = \frac{1}{3\sqrt{6}}
\]

### 极值总结
通过以上分析，函数 \( f(x, y, z) = xyz \) 在给定约束下的极值为：
\[
\text{最大值：} \frac{1}{3\sqrt{6}}, \quad \text{最小值：} -\frac{1}{3\sqrt{6}}
\]

### 验证对称性
注意到 \( f(x, y, z) = xyz \) 是完全对称的，因此极值的绝对值相等，只是符号相反。

### 最终答案
函数 \( f(x, y, z) = xyz \) 在约束 \( x^2 + y^2 + z^2 = 1 \) 和 \( x + y + z = 0 \) 下的极值为：
\[
\text{最大值为 } \frac{1}{3\sqrt{6}}, \quad \text{最小值为 } -\frac{1}{3\sqrt{6}}.
\]