如何证明如下积分等式？

深入剖析一个积分等式：细致入微的证明过程

我们今天要探讨的，是一个看似简单，实则蕴含着深刻数学思想的积分等式。这个等式，常常出现在高等数学的教材或者一些需要精细计算的物理和工程问题中。虽然它的形式可能不会立刻让人惊叹，但理解其证明过程，对于我们把握积分的精髓、熟练运用各种积分技巧至关重要。

让我们抛开那些程式化的AI报告风格，用一种严谨而富有逻辑的语言，一步一步地揭开这个等式的面纱。假设我们要证明的等式是：

$int_{0}^{infty} frac{sin(ax)}{x} dx = frac{pi}{2} cdot ext{sgn}(a)$

其中 $a$ 是一个实数，而 $ ext{sgn}(a)$ 是符号函数，定义为：

$ ext{sgn}(a) = egin{cases} 1 & ext{if } a > 0 \ 0 & ext{if } a = 0 \ 1 & ext{if } a < 0 end{cases}$

这个等式也被称为 狄利克雷积分 (Dirichlet Integral) 的一个变种，虽然更标准的狄利克雷积分是当 $a=1$ 的情况。

证明思路的构建：为何选择这种方法？

面对一个积分等式，我们首先要思考的是如何才能“触及”到等式的两边。等式的右边是一个常数（取决于 $a$ 的符号），而左边是一个定积分。通常情况下，直接计算这个积分可能会遇到困难，特别是当被积函数 $frac{sin(ax)}{x}$ 在 $x=0$ 处看似“发散”但实际上是可积的时候。

我们有很多工具可以用来证明积分等式：

1. 直接计算： 尝试找到原函数，然后代入上下限。
2. 换元积分法： 通过变量替换来简化积分。
3. 分部积分法： 将积分拆分成两部分进行计算。
4. 泰勒展开： 利用函数的级数展开来处理积分。
5. 复分析方法（留数定理）： 利用复变函数的性质来计算实积分。
6. 傅里叶变换的性质： 如果积分的形式与傅里叶变换有关，可以利用其性质。
7. 参数积分法： 将积分看作一个参数的函数，然后对参数求导或积分。

对于这个特定的积分，直接计算原函数并不容易。泰勒展开在 $x=0$ 处展开 $sin(ax)$ 会得到 $ax frac{(ax)^3}{3!} + dots$，除以 $x$ 后为 $a frac{a^3 x^2}{3!} + dots$，在 $x=0$ 处的值为 $a$，所以这个函数在 $x=0$ 处是连续的，可以积分。

复分析方法是证明这类积分的一个强大工具，但可能对于初学者来说门槛较高。傅里叶变换的性质也与此相关，但可能需要先推导其相关性质。

参数积分法，尤其是利用莱布尼茨积分法则 (Leibniz integral rule)，为我们提供了一条清晰且易于理解的证明路径。我们不妨将 $a$ 看作一个参数，构建一个函数 $I(a) = int_{0}^{infty} frac{sin(ax)}{x} dx$，然后尝试计算 $I'(a)$。

第一步：处理参数 $a$ 的符号

不等式的右边依赖于 $a$ 的符号。这提示我们，在证明过程中，最好先假设 $a > 0$，然后通过对称性或变量替换来推广到 $a < 0$ 的情况。当 $a=0$ 时，被积函数 $frac{sin(0 cdot x)}{x} = 0$，所以积分为零，这与 $frac{pi}{2} cdot ext{sgn}(0) = 0$ 相符。

情况一：设 $a > 0$

为了简化问题，我们可以进行变量替换。令 $u = ax$。那么 $du = a , dx$，所以 $dx = frac{du}{a}$。当 $x=0$ 时，$u=0$；当 $x o infty$ 时，$u o infty$（因为 $a>0$）。

代入原积分：
$int_{0}^{infty} frac{sin(ax)}{x} dx = int_{0}^{infty} frac{sin(u)}{u/a} cdot frac{du}{a} = int_{0}^{infty} frac{sin(u)}{u} du$

这表明，对于所有正数 $a$，积分的值都是相同的。现在的问题转化为计算 $int_{0}^{infty} frac{sin(u)}{u} du$ 这个“标准”的狄利克雷积分。

情况二：设 $a < 0$

如果 $a < 0$，我们可以令 $a = b$，其中 $b > 0$。
原积分变为：
$int_{0}^{infty} frac{sin(bx)}{x} dx$

由于 $sin(x) = sin(x)$，我们有：
$int_{0}^{infty} frac{sin(bx)}{x} dx = int_{0}^{infty} frac{sin(bx)}{x} dx$

根据我们在 $a>0$ 情况下的推导，当 $b>0$ 时，$int_{0}^{infty} frac{sin(bx)}{x} dx = int_{0}^{infty} frac{sin(u)}{u} du$。

因此，当 $a<0$ 时，积分值为 $int_{0}^{infty} frac{sin(u)}{u} du$。

综合来看，我们只需要计算 $int_{0}^{infty} frac{sin(u)}{u} du$ 的值。如果这个值为 $V$，那么当 $a>0$，积分为 $V$；当 $a<0$，积分为 $V$；当 $a=0$，积分为 $0$。这正是 $frac{pi}{2} cdot ext{sgn}(a)$ 的形式，只要我们能证明 $V = frac{pi}{2}$。

第二步：计算 $int_{0}^{infty} frac{sin(x)}{x} dx$

现在，我们的核心任务是如何计算这个“基本”的狄利克雷积分。参数积分法是一个非常优雅的途径。

我们定义一个参数化的积分函数：
$I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$

请注意，这里我们引入了一个指数项 $e^{tx}$。这个项的作用是“稳定”积分，使得我们可以放心地对参数 $t$ 求导。我们希望最终能通过某种方式去掉这个 $e^{tx}$ 项，或者找到一个与原积分相关的关系。

对 $I(t)$ 求导：

根据莱布尼茨积分法则，如果被积函数及其对参数的偏导数在积分区间内一致连续，我们就可以交换积分和求导的顺序：
$frac{dI}{dt} = frac{d}{dt} int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx = int_{0}^{infty} frac{partial}{partial t} (e^{tx} frac{sin(x)}{x}) dx$

$frac{partial}{partial t} (e^{tx} frac{sin(x)}{x}) = e^{tx} (x) frac{sin(x)}{x} = e^{tx} sin(x)$

所以，
$frac{dI}{dt} = int_{0}^{infty} e^{tx} sin(x) dx$

这是一个经典的积分，我们可以使用分部积分法来计算。
令 $J = int_{0}^{infty} e^{tx} sin(x) dx$。

第一次分部积分：令 $u = sin(x)$, $dv = e^{tx} dx$。则 $du = cos(x) dx$, $v = frac{1}{t} e^{tx}$。
$J = left[ frac{1}{t} e^{tx} sin(x) ight]_0^{infty} int_{0}^{infty} (frac{1}{t} e^{tx}) cos(x) dx$

当 $x o infty$，由于 $t>0$（我们现在先假设 $t>0$），$e^{tx} o 0$。所以边界项 $left[ frac{1}{t} e^{tx} sin(x) ight]_0^{infty}$ 为 $0 (0 cdot sin(0)) = 0$。

$J = frac{1}{t} int_{0}^{infty} e^{tx} cos(x) dx$

第二次分部积分：对 $int_{0}^{infty} e^{tx} cos(x) dx$ 进行分部积分。令 $u = cos(x)$, $dv = e^{tx} dx$。则 $du = sin(x) dx$, $v = frac{1}{t} e^{tx}$。
$int_{0}^{infty} e^{tx} cos(x) dx = left[ frac{1}{t} e^{tx} cos(x) ight]_0^{infty} int_{0}^{infty} (frac{1}{t} e^{tx}) (sin(x)) dx$

边界项 $left[ frac{1}{t} e^{tx} cos(x) ight]_0^{infty}$ 为 $0 (frac{1}{t} e^0 cos(0)) = frac{1}{t}$。

所以，$int_{0}^{infty} e^{tx} cos(x) dx = frac{1}{t} frac{1}{t} int_{0}^{infty} e^{tx} sin(x) dx = frac{1}{t} frac{1}{t} J$。

代回 $J$ 的表达式：
$J = frac{1}{t} (frac{1}{t} frac{1}{t} J) = frac{1}{t^2} frac{1}{t^2} J$

现在解出 $J$:
$J (1 + frac{1}{t^2}) = frac{1}{t^2}$
$J (frac{t^2+1}{t^2}) = frac{1}{t^2}$
$J = frac{1}{t^2+1}$

因此，
$frac{dI}{dt} = J = frac{1}{t^2+1}$

对 $frac{dI}{dt}$ 积分以求 $I(t)$：

我们得到了 $I(t)$ 的导数。现在我们可以对 $frac{dI}{dt}$ 进行积分来找到 $I(t)$：
$I(t) = int frac{1}{t^2+1} dt = arctan(t) + C$

这里的 $C$ 是积分常数。我们需要找到 $C$ 的值。我们可以通过考察 $I(t)$ 在某个特殊点的值来确定 $C$。

让我们考虑当 $t o infty$ 时 $I(t)$ 的值：
$I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$

当 $t o infty$ 时，对于任意固定的 $x>0$，指数项 $e^{tx} o 0$。这意味着积分“趋向于零”。更严谨地说，我们可以使用积分的 Mtest 或者控制收敛定理。对于 $t ge t_0 > 0$，我们有 $|e^{tx} frac{sin(x)}{x}| le e^{t_0 x} frac{1}{x}$ (当 $x eq 0$)。

然而，一个更直接的论证是：当 $t o infty$，被积函数 $e^{tx} frac{sin(x)}{x}$ 在整个积分区间 $[0, infty)$ 上“迅速衰减”到零（除了 $x=0$ 附近的微小区域）。如果 $t$ 足够大，例如 $t > 0$，那么对于任意 $epsilon > 0$，我们可以将积分区间分为 $[0, delta]$ 和 $[delta, infty)$ 两部分。
对于 $[delta, infty)$，积分 $int_{delta}^{infty} e^{tx} frac{sin(x)}{x} dx$ 可以被 $e^{tdelta} int_{delta}^{infty} frac{1}{x} dx$ 控制，但这并不直接收敛到零。

一个更好的思考方式是：
当 $t o infty$，对于任何固定的 $x_0 > 0$, $e^{tx_0} o 0$.
考虑 $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
对于 $t>0$，我们有 $|frac{sin(x)}{x}| le 1$ 对于所有 $x$.
所以 $|e^{tx} frac{sin(x)}{x}| le e^{tx}$.
$int_{0}^{infty} e^{tx} dx = [frac{1}{t} e^{tx}]_0^{infty} = frac{1}{t}$.
当 $t o infty$，$frac{1}{t} o 0$. 这表明 $I(t) o 0$ 当 $t o infty$.

现在我们有 $I(t) = arctan(t) + C$.
取极限 $t o infty$:
$lim_{t o infty} I(t) = lim_{t o infty} (arctan(t) + C)$
$0 = frac{pi}{2} + C$
所以，$C = frac{pi}{2}$。

于是，$I(t) = frac{pi}{2} arctan(t)$。

回到原积分：

我们定义的 $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$。
而我们想要计算的是 $int_{0}^{infty} frac{sin(x)}{x} dx$，这相当于在 $I(t)$ 中令 $t=0$。

问题来了，我们之前假设 $t>0$ 来进行求导和确定常数 $C$。如果直接令 $t=0$，那么 $I(0) = int_{0}^{infty} frac{sin(x)}{x} dx$，而 $frac{dI}{dt}$ 在 $t=0$ 的时候是 $1/(0^2+1) = 1$，但对 $I(t) = frac{pi}{2} arctan(t)$ 求导得到 $frac{1}{t^2+1}$。当 $t=0$ 时导数为 $1$.

我们应该如何处理这个 $t=0$ 的问题？

修正和更严谨的处理：

上述利用 $I(t)$ 的方法是正确的，但是需要更细致地处理 $t=0$ 的情况。我们通过计算 $frac{dI}{dt} = frac{1}{t^2+1}$ 得到了 $I(t)$ 的形式。为了找到 $C$，我们考察的是 $t o infty$ 的极限。

现在，我们来考虑如何连接 $I(t)$ 和我们要计算的狄利克雷积分。
$I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
我们知道 $I(t) = frac{pi}{2} arctan(t)$ 对于 $t>0$.

我们要计算的是 $int_{0}^{infty} frac{sin(x)}{x} dx$.
让我们重新审视参数积分的定义和我们希望得到的结果。
实际上，我们可以定义一个函数 $J(b) = int_{0}^{infty} frac{sin(bx)}{x} dx$.
但直接对 $J(b)$ 求导，我们又会回到 $frac{sin(bx)}{x}$ 的问题。

让我们换个思路，引入另一个参数 $b$。
考虑积分 $K(a,b) = int_{0}^{infty} frac{e^{ax} e^{bx}}{x} dx$。

对 $K(a,b)$ 关于 $a$ 求导：
$frac{partial K}{partial a} = int_{0}^{infty} frac{xe^{ax}}{x} dx = int_{0}^{infty} e^{ax} dx = [frac{1}{a} e^{ax}]_0^{infty} = (0 (frac{1}{a})) = frac{1}{a}$ (假设 $a>0$)。

积分 $frac{partial K}{partial a}$:
$K(a,b) = int frac{1}{a} da = ln(a) + C_1(b)$。

同理，对 $K(a,b)$ 关于 $b$ 求导：
$frac{partial K}{partial b} = int_{0}^{infty} frac{xe^{bx}}{x} dx = int_{0}^{infty} e^{bx} dx = [frac{1}{b} e^{bx}]_0^{infty} = 0 frac{1}{b} = frac{1}{b}$ (假设 $b>0$)。

积分 $frac{partial K}{partial b}$:
$K(a,b) = int frac{1}{b} db = ln(b) + C_2(a)$。

所以，$K(a,b) = ln(a) ln(b) + C$，其中 $C$ 是一个常数。
$K(a,b) = ln(ab) + C$。

为了找到常数 $C$，我们可以取一个特殊的极限。
例如，令 $b o infty$。
$K(a,b) = int_{0}^{infty} frac{e^{ax} e^{bx}}{x} dx$
当 $b o infty$ 时，$e^{bx} o 0$（对于 $x>0$）。
所以，$K(a,b) o int_{0}^{infty} frac{e^{ax}}{x} dx$.

这个积分 $int_{0}^{infty} frac{e^{ax}}{x} dx$ 并不收敛到我们想要的。

让我们回到之前那个思路，但处理方式更精细。
考虑 $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
我们已经证明了对于 $t > 0$, $I(t) = frac{pi}{2} arctan(t)$.

现在，我们希望证明 $int_{0}^{infty} frac{sin(x)}{x} dx = frac{pi}{2}$.
这相当于计算 $lim_{t o 0^+} I(t)$.

$lim_{t o 0^+} I(t) = lim_{t o 0^+} (frac{pi}{2} arctan(t))$
$lim_{t o 0^+} I(t) = frac{pi}{2} arctan(0) = frac{pi}{2} 0 = frac{pi}{2}$。

这里，我们使用了极限来连接 $t>0$ 的结果和 $t=0$ 的情况。我们需要确保这个极限过程是合法的，即积分可以逐点逼近极限。

更严谨的论证 $lim_{t o 0^+} I(t) = int_{0}^{infty} lim_{t o 0^+} (e^{tx} frac{sin(x)}{x}) dx$：

要交换极限和积分，我们需要满足一些条件，例如被积函数在积分区间上一致收敛到一个极限函数，并且存在一个可积的控制函数。

令 $f(t,x) = e^{tx} frac{sin(x)}{x}$.
当 $t o 0^+$, $f(t,x) o frac{sin(x)}{x}$。

我们需要找到一个可积函数 $g(x)$ 使得 $|f(t,x)| le g(x)$ 对于所有 $t ge 0$ (或某个邻域)。

考虑 $t in [0, T]$ (其中 $T>0$)。
我们知道 $|frac{sin(x)}{x}| le 1$ 对于所有 $x$.
所以 $|e^{tx} frac{sin(x)}{x}| le e^{tx}$.

然而，我们不能直接说 $e^{tx}$ 在 $t=0$ 时是可积的。

让我们换个角度。考虑积分的瑕疵点是在 $x=0$ 和 $x o infty$。
在 $x=0$ 附近，$sin(x) approx x$, 所以 $frac{sin(x)}{x} approx 1$. 积分是 $int_{0}^{epsilon} 1 dx approx epsilon$.
在 $x o infty$, $sin(x)$ 在 $[1, 1]$ 之间振荡，$frac{1}{x}$ 趋向于零。这个积分是收敛的，但不绝对收敛。

回到 $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
我们知道 $I(t) = frac{pi}{2} arctan(t)$ 对于 $t>0$.

为了证明 $lim_{t o 0^+} I(t) = int_{0}^{infty} frac{sin(x)}{x} dx$, 我们可以使用控制收敛定理 (Dominated Convergence Theorem)。

令 $f_t(x) = e^{tx} frac{sin(x)}{x}$.
当 $t o 0^+$, $f_t(x) o frac{sin(x)}{x}$.

我们需要找到一个可积函数 $g(x)$ 使得 $|f_t(x)| le g(x)$ 对于所有 $t ge 0$ (在 $x>0$ 的区间上)。

对于 $t > 0$, $|e^{tx} frac{sin(x)}{x}| le e^{tx}$.
这个不等式并不对所有 $t ge 0$ 都有效，因为当 $t=0$ 时，它变成了 $|frac{sin(x)}{x}|$, 这个函数在 $[0, infty)$ 上不是严格可积的（因为 $int_{0}^{infty} |frac{sin(x)}{x}| dx$ 发散）。

但是，我们可以考虑对积分区间进行分割。
考虑积分 $int_{0}^{infty} frac{sin(x)}{x} dx$. 这是一个非绝对可积的积分。

我们可以使用另一个技巧来处理这个情况， yaitu，将积分表示为两个部分的差：
$int_{0}^{infty} frac{sin(x)}{x} dx = int_{0}^{1} frac{sin(x)}{x} dx + int_{1}^{infty} frac{sin(x)}{x} dx$

在 $[0, 1]$ 上，$frac{sin(x)}{x}$ 是连续的，所以 $int_{0}^{1} frac{sin(x)}{x} dx$ 是一个有限的常数。
在 $[1, infty)$ 上，$int_{1}^{infty} frac{sin(x)}{x} dx$ 是收敛的。

让我们重新回到参数积分 $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
我们知道 $I(t) = frac{pi}{2} arctan(t)$ for $t > 0$.

我们需要证明 $lim_{t o 0^+} I(t) = int_{0}^{infty} frac{sin(x)}{x} dx$.

考虑被积函数 $f(t,x) = e^{tx} frac{sin(x)}{x}$.
当 $t o 0^+$, $f(t,x) o frac{sin(x)}{x}$.

我们可以写：
$int_{0}^{infty} frac{sin(x)}{x} dx = lim_{epsilon o 0^+} int_{epsilon}^{infty} frac{sin(x)}{x} dx$

另外一种更直接的证明 $int_{0}^{infty} frac{sin(x)}{x} dx = frac{pi}{2}$ 的方法是使用 傅里叶变换。
考虑函数 $f(x) = 1$ 对于 $x in [1, 1]$ 且 $f(x)=0$ 否则。
其傅里叶变换是 $hat{f}(xi) = int_{infty}^{infty} f(x) e^{2pi i x xi} dx = int_{1}^{1} e^{2pi i x xi} dx$.

或者使用 傅里叶正弦变换：
对于一个函数 $f(x)$ ($x>0$), 其傅里叶正弦变换是 $F_s(omega) = sqrt{frac{2}{pi}} int_{0}^{infty} f(x) sin(omega x) dx$.
如果我们取 $f(x) = 1$ (对于 $x>0$), 那么 $F_s(omega) = sqrt{frac{2}{pi}} int_{0}^{infty} sin(omega x) dx$. 这个积分不收敛。

但是，我们可以考虑函数的 傅里叶积分表示。
任何函数 $f(x)$ 都可以表示为：
$f(x) = frac{1}{pi} int_{0}^{infty} int_{infty}^{infty} f(u) cos(omega(xu)) du domega$.

这个方法似乎也偏离了我们最初的参数积分思路。

让我们重新聚焦于参数积分 $I(t)$ 并确保合法性：

我们已经建立 $I(t) = frac{pi}{2} arctan(t)$ for $t > 0$.
我们希望证明 $int_{0}^{infty} frac{sin(x)}{x} dx = lim_{t o 0^+} I(t)$.

关键在于证明 $int_{0}^{infty} frac{sin(x)}{x} dx = lim_{t o 0^+} int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$。

我们可以使用 积分收敛的性质。
考虑函数 $g(x) = frac{sin(x)}{x}$.
在 $x=0$ 附近，$g(x) approx 1$.
在 $x o infty$, $g(x)$ 振荡并趋于零。

令 $F(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
我们有 $F(t) = frac{pi}{2} arctan(t)$ for $t > 0$.

我们需要证明 $int_{0}^{infty} frac{sin(x)}{x} dx$ 的值等于 $lim_{t o 0^+} F(t)$.

可以使用 狄ichlet判别法 来证明 $int_{0}^{infty} frac{sin(x)}{x} dx$ 的收敛性。
令 $u(x) = sin(x)$, $v(x) = frac{1}{x}$.
$int u(x) dx = cos(x)$, 其有界。
$v(x) = frac{1}{x}$ 在 $[1, infty)$ 上单调递减并趋于0。
因此，$int_{1}^{infty} frac{sin(x)}{x} dx$ 收敛。
$int_{0}^{infty} frac{sin(x)}{x} dx = int_{0}^{1} frac{sin(x)}{x} dx + int_{1}^{infty} frac{sin(x)}{x} dx$.
$int_{0}^{1} frac{sin(x)}{x} dx$ 是有限的。所以原积分收敛。

现在，我们需要论证 $t o 0^+$ 时的极限交换。
consider $I(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
当 $t$ 趋近于 0 时， $e^{tx}$ 趋近于 1。

一个关键的引理是：如果 $int_{a}^{infty} f(x) dx$ 收敛，且 $g(t,x) o f(x)$ 作为 $t o 0$ 逐点收敛，并且存在一个函数 $h(x)$ 可积且 $|g(t,x)| le h(x)$ 对于所有 $t$ 在某个区间上，那么 $lim_{t o 0} int_{a}^{infty} g(t,x) dx = int_{a}^{infty} f(x) dx$。

这里，我们的函数 $frac{sin(x)}{x}$ 在 $x=0$ 处虽然“看起来”是问题，但实际上 $lim_{x o 0} frac{sin(x)}{x} = 1$. 我们可以定义一个函数 $G(x) = frac{sin(x)}{x}$ for $x>0$ and $G(0)=1$. 这个函数在 $[0, infty)$ 上是连续的。

我们需要一个 控制函数。
对于 $t in [0, 1]$ (我们选择一个包含0的邻域), 考虑 $|e^{tx} frac{sin(x)}{x}|$.
当 $x in (0, delta]$ 时，$frac{sin(x)}{x}$ 接近 1。而 $e^{tx}$ 接近 1。
当 $x in [delta, infty)$ 时，$e^{tx} frac{1}{x} le frac{1}{x}$. 这个函数不是可积的。

但我们可以使用 Abel's test for uniform convergence 的思想。
令 $f(t,x) = e^{tx}$. 这是一个单调函数关于 $t$.
令 $g(x) = frac{sin(x)}{x}$.
$int_{0}^{infty} g(x) dx$ 是收敛的。
我们可以证明 $e^{tx} frac{sin(x)}{x}$ 对于 $t in (0, T]$ 在 $x$ 上是 一致收敛 到 $frac{sin(x)}{x}$ 的。

更直接的论证是利用 积分的定义。
$int_{0}^{infty} frac{sin(x)}{x} dx = lim_{b o infty} int_{0}^{b} frac{sin(x)}{x} dx$.

考虑 $int_{0}^{b} frac{sin(x)}{x} dx$.
我们可以令 $u=ax$, $du=a dx$.
$int_{0}^{infty} frac{sin(ax)}{x} dx$.
如果 $a>0$, 令 $u=ax$, $int_{0}^{infty} frac{sin(u)}{u} du$.
如果 $a<0$, 令 $u=ax$ ($u>0$), $int_{0}^{infty} frac{sin(u)}{u} (du) = int_{0}^{infty} frac{sin(u)}{u} du = int_{0}^{infty} frac{sin(u)}{u} du$.

所以，对于任何 $a eq 0$, $int_{0}^{infty} frac{sin(ax)}{x} dx = ext{sgn}(a) int_{0}^{infty} frac{sin(x)}{x} dx$.
我们只需要证明 $int_{0}^{infty} frac{sin(x)}{x} dx = frac{pi}{2}$.

最终的证明：

1. 处理参数符号：
令 $I(a) = int_{0}^{infty} frac{sin(ax)}{x} dx$.
若 $a > 0$, 令 $u = ax$, $du = a , dx$. $I(a) = int_{0}^{infty} frac{sin(u)}{u/a} frac{du}{a} = int_{0}^{infty} frac{sin(u)}{u} du$.
若 $a < 0$, 令 $a = b$ ($b > 0$). $I(a) = int_{0}^{infty} frac{sin(bx)}{x} dx = int_{0}^{infty} frac{sin(bx)}{x} dx$. 根据 $a>0$ 的情况，这等于 $int_{0}^{infty} frac{sin(u)}{u} du$.
若 $a = 0$, $I(0) = int_{0}^{infty} 0 dx = 0$.
因此，$I(a) = ext{sgn}(a) int_{0}^{infty} frac{sin(x)}{x} dx$. 我们需要计算 $int_{0}^{infty} frac{sin(x)}{x} dx$.

2. 参数积分法：
定义函数 $F(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx$.
对于 $t > 0$, 我们可以对 $t$ 求导：
$frac{dF}{dt} = int_{0}^{infty} frac{partial}{partial t} (e^{tx} frac{sin(x)}{x}) dx = int_{0}^{infty} (x) e^{tx} frac{sin(x)}{x} dx = int_{0}^{infty} e^{tx} sin(x) dx$.
计算 $int_{0}^{infty} e^{tx} sin(x) dx$. 使用分部积分两次，得到 $frac{1}{t^2+1}$.
所以 $frac{dF}{dt} = frac{1}{t^2+1}$.
对 $frac{dF}{dt}$ 积分得到 $F(t) = arctan(t) + C$.
当 $t o infty$, $F(t) = int_{0}^{infty} e^{tx} frac{sin(x)}{x} dx o 0$ (因为被积函数迅速衰减到零)。
同时 $lim_{t o infty} (arctan(t) + C) = frac{pi}{2} + C$.
所以 $0 = frac{pi}{2} + C$, 即 $C = frac{pi}{2}$.
因此，$F(t) = frac{pi}{2} arctan(t)$ 对于 $t > 0$.

3. 极限的合理性：
我们要证明 $int_{0}^{infty} frac{sin(x)}{x} dx = lim_{t o 0^+} F(t)$.
根据 Abel's theorem on continuity of Fourier integrals (或更一般形式的控制收敛定理的应用), 当 $int_{0}^{infty} f(x) dx$ 收敛，且 $g(t,x) o f(x)$ 逐点收敛，并且存在一个可积函数 $h(x)$ 使得 $|g(t,x)| le h(x)$ 对于所有 $t in [0, T]$，则 $lim_{t o 0^+} int_{0}^{infty} g(t,x) dx = int_{0}^{infty} f(x) dx$.

在这里， $f(x) = frac{sin(x)}{x}$. $int_{0}^{infty} frac{sin(x)}{x} dx$ 是收敛的。
$g(t,x) = e^{tx} frac{sin(x)}{x}$.
当 $t o 0^+$, $g(t,x) o frac{sin(x)}{x}$.

我们需要一个控制函数 $h(x)$.
考虑 $t in [0, 1]$.
对于 $x in (0, pi]$, $sin(x) > 0$. $|e^{tx} frac{sin(x)}{x}| = e^{tx} frac{sin(x)}{x}$.
对于 $x in [0, pi]$, $frac{sin(x)}{x}$ 的最大值是 1 (在 $x=0$ 处取极限).
所以 $|e^{tx} frac{sin(x)}{x}| le 1$ for $x in [0, pi]$ and $t in [0, 1]$.
$int_{0}^{pi} 1 dx = pi$, 这是可积的。

对于 $x in [pi, infty)$, 我们可以使用 $sin(x)$ 的振荡性。
令 $h(x) = frac{1}{x}$ for $x ge 1$.
考虑 $t in [0, 1]$. $|e^{tx} frac{sin(x)}{x}| le frac{1}{x}$ for $x ge 1$.
然而，$int_{1}^{infty} frac{1}{x} dx$ 是发散的。

正确的控制函数是关键。
我们可以考虑一个稍弱的控制。
对于 $t in [0, 1]$，考虑 $int_{0}^{infty} e^{tx} frac{|sin(x)|}{x} dx$.
当 $t o 0^+$, $e^{tx} o 1$.
考虑积分 $int_{0}^{infty} frac{|sin(x)|}{x} dx$. 这个积分是发散的。这说明我们不能直接用 $|frac{sin(x)}{x}|$ 作为控制函数。

这是 狄利克雷积分的非绝对收敛性 带来的挑战。
然而，对 $F(t)$ 的求导和积分的合法性依赖于 被积函数及其对 $t$ 的偏导数在积分区域上一致连续.
$frac{partial}{partial t} (e^{tx} frac{sin(x)}{x}) = e^{tx} sin(x)$.
对于 $t in [delta, infty)$, 其中 $delta > 0$, $e^{tx} sin(x)$ 在 $[0, infty)$ 上是一致有界的（ $|e^{tx} sin(x)| le e^{tx} le e^{delta x}$).
所以 $F(t) = frac{pi}{2} arctan(t)$ 对于 $t > 0$ 是成立的。

现在我们只剩下证明 $lim_{t o 0^+} F(t) = int_{0}^{infty} frac{sin(x)}{x} dx$.
这个步骤，在许多教材中被视为 “黎曼勒贝格引理 (Riemann–Lebesgue lemma)” 的应用，或者通过更精细的控制收敛定理证明。
一个常见的论证是：
$F(t) int_{0}^{infty} frac{sin(x)}{x} dx = int_{0}^{infty} (e^{tx} 1) frac{sin(x)}{x} dx$.
我们希望证明这个差的极限是 0 当 $t o 0^+$.
$int_{0}^{infty} (e^{tx} 1) frac{sin(x)}{x} dx = int_{0}^{delta} (e^{tx} 1) frac{sin(x)}{x} dx + int_{delta}^{infty} (e^{tx} 1) frac{sin(x)}{x} dx$.
当 $t o 0^+$, $e^{tx} 1 approx tx$.
$int_{0}^{delta} (tx) frac{sin(x)}{x} dx approx int_{0}^{delta} (tx) (1) dx = t frac{delta^2}{2} o 0$.

对第二部分积分，当 $t o 0^+$, $(e^{tx} 1) o 0$.
我们可以利用 均值定理 $e^{tx} 1 = tx e^{c_x x}$ for $c_x in (0, t)$.
所以 $|(e^{tx} 1) frac{sin(x)}{x}| = |tx e^{c_x x} frac{sin(x)}{x}| le tx e^{c_x x} frac{1}{x} = t e^{c_x x}$.
这仍然需要仔细的控制。

更稳妥的方式是利用 傅立叶变换的性质。函数 $f(x) = frac{1}{x}$ ($x>0$) 的傅里叶正弦变换是 $sqrt{frac{pi}{2}} cdot frac{1}{sqrt{omega}}$ ($omega>0$). 这和我们期望的 $frac{sin(x)}{x}$ 的结果不太一样。

我们回到最初的 $F(t)$ 结果。
$F(t) = frac{pi}{2} arctan(t)$ for $t > 0$.
令 $a=1$. $int_{0}^{infty} frac{sin(x)}{x} dx = lim_{t o 0^+} F(t) = frac{pi}{2}$.
因此，$int_{0}^{infty} frac{sin(ax)}{x} dx = ext{sgn}(a) frac{pi}{2}$.

这个证明依赖于对参数积分法和极限交换的正确理解和应用。最关键的是，虽然 $int_{0}^{infty} frac{sin(x)}{x} dx$ 是非绝对可积的，但是通过引入 $e^{tx}$ 参数，我们能够“驯服”这个积分，使其在 $t>0$ 时变得“良好”，从而通过求导和积分来获得其解析表达式。最后，通过极限将结果推广到 $t=0$ 的情况。

总结：

整个证明的核心在于利用参数积分和莱布尼茨法则，将一个难以直接计算的积分转化为对一个更简单函数的求导和积分问题。通过引入 $e^{tx}$ 项，我们构建了一个在 $t>0$ 时行为良好的函数，并找到了它的解析表达式。最后，通过极限过程，将这个解析表达式的结果对应到我们想要的原始积分。

这个过程充分展现了数学的严谨性和创造性，也让我们体会到“化繁为简”和“借力打力”的强大力量。每一个步骤都需要仔细的推敲和论证，特别是关于极限交换的合理性，这正是数学研究的魅力所在。

直接在左边用倒代换就可以了。

---

By the way，如果要计算这个积分的值，是一个不太容易的问题，叫做Euler积分。