京都大学 理学研究科 数学・数理解析専攻 2022年度 基礎科目 問題4
Author
祭音Myyura (co-authored with GPT 6 Astra)
Description
R で定義された関数
f(x)=∫0∞∣x+tsint∣e−tdt
は最小値を持つことを示せ。
题目描述
证明定义在 R 上的函数
f(x)=∫0∞∣x+tsint∣e−tdt
能取得最小值。
Kai
∣x+tsint∣≤∣x∣+t より f(x)≤∣x∣+1<∞ である。また、逆三角不等式から
∣f(x)−f(y)∣≤∫0∞∣x−y∣e−tdt=∣x−y∣.
従って f は連続である。一方、
f(x)≥∫0∞(∣x∣−t)e−tdt=∣x∣−1
なので f(x)→∞ (∣x∣→∞)。特に f(0)≤1 であり、∣x∣>3 では f(x)>2>f(0) である。連続関数 f はコンパクト区間 [−3,3] 上で最小値を取り、その値は R 全体での最小値でもある。
Reference