[再寄小读者之数学篇](2015-06-08 一个有意思的定积分计算)

$$\beex \bea \int_0^\frac{\pi}{4}\ln (1+\tan x)\rd x &=\int_0^\frac{\pi}{4} \ln \frac{\cos x+\sin x}{\cos x}\rd x\\ &=\int_0^\frac{\pi}{4} \ln \sez{\sqrt{2}\sin \sex{x+\frac{\pi}{4}}}-\ln \cos x\rd x\\ &=\frac{\pi}{8}\ln 2 +\int_\frac{\pi}{4}^\frac{\pi}{2}\ln \sin \sex{x+\frac{\pi}{4}}\rd x -\int_0^\frac{\pi}{4}\ln \cos x\rd x\\ &=\frac{\pi}{8}\ln 2 +\int_\frac{\pi}{4}^\frac{\pi}{2}\ln \sin t\rd t -\int_{-\frac{\pi}{4}}^0 \ln \cos s\rd s\quad\sex{x+\frac{\pi}{4}=t,\ x=-s}\\ &=\frac{\pi}{8}\ln 2\quad\sex{s+\frac{\pi}{2}=t}. \eea \eeex$$ 今天上课有个学生问的. 当时写出了第一步, 没写下去了...

时间： 2024-08-06 01:28:46

[再寄小读者之数学篇](2015-06-08 一个有意思的定积分计算)的相关文章

[再寄小读者之数学篇](2014-07-16 高阶导数的一个表达式)

设 $f\in C^{n+1}(\bbR)$, 试证: 对 $\forall\ a\in\bbR$, $$\bex \frac{\rd^n}{\rd x^n}\sez{\frac{f(x)-f(a)}{x-a}}_{x=a}=\frac{f^{(n+1)}(a)}{n+1}. \eex$$ 证明: 对 $n$ 用数学归纳法. 当 $n=1$ 时, $$\beex \bea \frac{\rd}{\rd x}\sez{\frac{f(x)-f(a)}{x-a}}_{x=a} &=\lim_{x\t

再寄小读者之数学篇[2014.01.01-2014.06.30]

[再寄小读者之数学篇](2014-06-28 证明级数几乎处处收敛) 设 $f\in L(\bbR)$, 试证: $$\bex \vsm{n}f(n^2x) \eex$$ 在 $\bbR$ 上几乎处处收敛到一 Lebesgue 函数. [再寄小读者之数学篇](2014-06-27 向量公式: The Hall term) $$\bex \n\cdot{\bf b}=0\ra \n\times [(\n\times {\bf b})\times {\bf b}]=\n\times [\n\cdot

[再寄小读者之数学篇](2014-06-27 向量公式: The Hall term)

$$\bex \n\cdot{\bf b}=0\ra \n\times [(\n\times {\bf b})\times {\bf b}]=\n\times [\n\cdot ({\bf b}\otimes {\bf b})]. \eex$$ 证明: 右端第一个分量为 $$\beex \bea &\quad \sum_i \p_2(\p_i(b_ib_3))-\p_3(\p_i(b_ib_2))\\ &=\sum_i \p_2(b_i\p_ib_3)-\p_3(b_i\p_ib_2)\\

[再寄小读者之数学篇](2014-06-03 计算两个无穷级数)

(from zhangwuji) \bex \sum\limits_{n=0}^{\infty}\dfrac{n^3+2n+1}{(n^4+n^2+1)n!},\quad \sum\limits_{n=0}^{\infty}\dfrac{1}{(n^4+n^2+1)n!}. \eex 解答: (by wangsb) \beex \bea \sum\limits_{n=0}^{\infty}\dfrac{n^3+2n+1}{(n^4+n^2+1)n!} =&\sum\limits_{n=0}^{\

[再寄小读者之数学篇](2014-05-28 Ladyzhenskaya 不等式)

f∈C∞c(R2)?∥f∥L4≤2√∥f∥1/2L2∥?1f∥1/4L2∥?2f∥1/4L2, f∈C∞c(R3)?∥f∥L4≤23/4∥f∥1/4L2∥?1f∥1/4L2∥?2f∥1/4L2∥?3f∥1/4L2. [再寄小读者之数学篇](2014-05-28 Ladyzhenskaya 不等式),布布扣,bubuko.com

[再寄小读者之数学篇](2014-06-28 证明级数几乎处处收敛)

设 $f\in L(\bbR)$, 试证: $$\bex \vsm{n}f(n^2x) \eex$$ 在 $\bbR$ 上几乎处处收敛到一 Lebesgue 函数. 证明: 由 $f\in L(\bbR)$ 知 $|f|\in L(\bbR)$ (see [程其襄, 张奠宙, 魏国强, 胡善文, 王漱石, 实变函数与泛函分析基础 (第三版), 北京: 高等教育出版社, 2010 年] Page 109 (vi)). 既然 $$\bex \vsm{n} \int |f(n^2x)|\rd x =\

[再寄小读者之数学篇](2014-06-20 渐近等式中的待定常数)

计算以下渐近等式 $$\bex \int_0^1 \cfrac{x^{n-1}}{1+x}\rd x=\cfrac{a}{n}+\cfrac{b}{n^2}+o\sex{\cfrac{1}{n^2}}\quad(n\to\infty) \eex$$ 中的待定常数 $a,b$. 解答: $$\beex \bea a&=\vlm{n}n\int_0^1 \cfrac{x^{n-1}}{1+x}\rd x\\ &=\vlm{n}\int_0^1 nx^{n-1}\sex{\cfrac{1}{1+

[再寄小读者之数学篇](2014-06-20 求极限-H\"older 不等式的应用)

设非负严格增加函数 $f$ 在区间 $[a,b]$ 上连续, 有积分中值定理, 对于每个 $p>0$ 存在唯一的 $x_p\in (a,b)$, 使 $$\bex f^p(x_p)=\cfrac{1}{b-a}\int_a^b f^p(t)\rd t. \eex$$ 试求 $\dps{\vlm{p}x_p}$. 解答: 由 H\"older 不等式, $$\beex \bea f^p(x_p)&=\cfrac{1}{b-a}\int_a^b f^p(t)\cdot 1\rd t\\

[再寄小读者之数学篇](2014-06-20 求极限-L'Hospital 法则的应用)

设 $f\in C[0,+\infty)$, $a$ 为实数, 且存在有限极限 $$\bex \vlm{x}\sez{f(x)+a\int_0^x f(t)\rd t}. \eex$$ 证明; $f(+\infty)=0$. 证明: 记 $$\bex F(x)=e^{ax}\int_0^x f(t)\rd t, \eex$$ 则 $$\bex F'(x)=e^{ax}\sez{f(x)+a\int_0^x f(t)\rd t}, \eex$$ $$\bex \vlm{x}\cfrac{F'(x)

[再寄小读者之数学篇](2014-06-15 右半实轴上的一致连续函数)

(from Longji Zhong) 设 $f$ 在 $(0,\infty)$ 上一致连续, 且对 $\forall\ h>0$, $\dps{\vlm{n}f(nh)}$ 存在. 试证: $\dps{\vlm{x}f(x)}$ 存在. 证明: 由 $f$ 一致连续知 $$\bex \forall\ \ve>0,\ \exists\ \delta>0,\ 0<x,x'<\infty, |x-x'|< \delta \ra |f(x)-f(x')|<\cfrac{