Value of the Dirichlet integral
The video states that the improper integral and its squared form yield identical results, both equaling .
海浪晶灵aa · Bilibili · 5:10
The video introduces the Dirichlet integral and states that both its value and the value of its square are pi over 2, and proposes solving it using both Fourier transforms and complex contour integration. Then, the video details the initial steps of the Fourier method: introducing a rectangular pulse function equal to 1 to 1 on the interval [1, and substituting it into the definition of the Fourier transform to simplify the infinite integral into an integral over a finite interval. This segment demonstrates how to evaluate the Dirichlet integral using the Fourier transform and its inverse. First, the instructor defines the rectangular pulse function on the whiteboard and, using Euler's formula and the integration properties of even and odd functions, gradually derives its Fourier transform as . Then, the instructor introduces the definition of the Fourier inverse transform and points out that by setting , the derived Fourier transform will be substituted back into the inverse transform formula, thereby establishing a connection with the Dirichlet integral and laying the groundwork for subsequent evaluation. In this segment, a rectangular pulse f of t equals 1(absolute value of t is less than or equal to 1), 0demonstrate how to evaluate the Dirichlet integral using the Fourier transform. First compute F(omega) from the definition as2 sin omega over omega, then substitute into the inverse transform f of t equals1 over (2pi) times the integral of F of omega times e to the i omega t d omega, setting t equal to0, yielding1 equals (1 over (2pi)) times the integral from minus infinity to infinity of2 sin omega over omega d omega. After simplification, write the integral from minus infinity to infinity of sin omega over omega d omega equals pi, and finally use the evenness of sin omega over omega to obtain the integral from zero to infinity of sin omega over omega d omega equals pi over0, matching the target at the top of the board.2,Matches the target at the top of the board.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
At the beginning of the video, the instructor directly states the core goal of this lecture: evaluating the Dirichlet integral . He also writes its squared form on the whiteboard and explicitly points out that both of these improper integrals yield the same result, namely .
To solve the above integral, the instructor lists two distinct mathematical tools on the whiteboard: the first is "Fourier" (Fourier transform), and the second is "complex analysis" (contour integration in complex function theory). This indicates that the problem can be approached either via frequency-domain analysis or via contour integration in the complex plane.
Entering the preparatory stage for the Fourier method, the instructor first sketches the graph of a rectangular pulse, with horizontal extent from -1 to 1 and height 1. Then, using precise mathematical language, he writes the piecewise definition of this function : when , ; and otherwise. This function will serve as the input for the subsequent Fourier transform.
While briefly mentioning the complex-analytic method, the instructor quickly sketches a typical "indented" contour on the right side of the whiteboard, consisting of a large semicircle in the upper half-plane and a small semicircle bypassing the origin. This visually illustrates the standard complex-plane path used for real-axis integrals with a singularity at the origin; however, he then erases it and decides to focus first on the Fourier method.
The instructor formally begins the computation of the Fourier transform. He writes the standard definition formula on the whiteboard. Then, using the fact that is nonzero only on and equals 1 there, he reduces the integration limits from infinity to a finite interval, obtaining and completing the first simplification step.
the video begins with the Dirichlet integral target expression, the definition of the Fourier transform, and a piecewise expression together with a graph of the rectangular pulse function f of t already written on the whiteboard. The instructor points out that since f of t equals 1 has value 1, so the Fourier transform integral interval can be simplified to [-1, 1].
To facilitate subsequent computation, instead of integrating the complex exponential function directly, the instructor chooses to expand the integrand into trigonometric form using Euler's formula .
After expansion, the instructor analyzed the parity of the integrand. On the symmetric interval [-1, 1], is an odd function, whose integral is 0; whereas is an even function. Therefore, the entire integral simplifies to twice the integral of the even part, i.e., .
Next, the instructor evaluated the simplified definite integral. The antiderivative of is . Substituting the limits of integration 0 and 1 yields the final result . This is the Fourier transform of the rectangular pulse function.
After obtaining the Fourier transform, the instructor introduced the Fourier inverse transform formula: . He explained that directly evaluating this integral would be difficult, so a clever choice of a specific t value is needed to simplify the problem.
The instructor chose to set on both sides of the equation. At this point, the original function satisfies , and the exponential term becomes . Thus, the inverse transform formula reduces to , preparing for the subsequent substitution of the already obtained and evaluation of the Dirichlet integral.
This segment starts from the rectangular pulse already written on the whiteboard: when |t| ≤ 1, and 0 elsewhere. Its Fourier transform is defined as . Since is nonzero only on [-1, 1], the integration limits immediately reduce to .
Next, expand the complex exponential: the sine part is an odd function, so its integral over the symmetric interval [-1, 1] is 0; the cosine part is even, leaving . Integrating with respect to t yields , and finally we write .
Then proceed to the inverse transform formula . The instructor deliberately chooses , because at that point the rectangular pulse satisfies , and the exponential factor , so the equation becomes .
Next, substitute the previously obtained F(omega) = 2 times sine omega over omega into the equation to get 1 equals 1 over 2 pi times the integral from negative infinity to positive infinity of 2 times sine omega over omega with respect to omega. The factor of 2 in the numerator cancels with the 2 in the denominator 2 pi, simplifying the equation to 1 equals 1 over pi times the integral from negative infinity to positive infinity of sine omega over omega with respect to omega. Multiplying both sides by pi yields the full real line integral of sine omega over omega with respect to omega equals pi.
The final step uses the evenness of : , so the full-axis integral equals twice the half-axis integral. Thus, from , we deduce . This matches exactly the target equation pre-written at the top of the whiteboard: sinx/x , concluding the first part of this segment's derivation.
The video states that the improper integral and its squared form yield identical results, both equaling .
For the Dirichlet integral, the video presents two mainstream solution strategies: one uses the Fourier transform, and the other uses contour integration from complex analysis.
To implement the Fourier method, the video defines a basic window function (or rectangular pulse function) that equals takes the value 1 outside the interval and takes the value 0.
Using the definition of the Fourier transform and the fact that is nonzero only on , the improper integral can be simplified to a finite-interval integral .
For the rectangular pulse function defined as (|t| <= 1), 0 (otherwise), its Fourier transform can be obtained through the following steps: 1. Write the integral expression according to the definition: . 2. Use the nonzero interval of to restrict the integration limits to [-1, 1]. 3. Expand the complex exponential using Euler's formula: . 4. Apply the integral properties of odd and even functions over symmetric intervals: the integral of the odd part is 0, while the integral of the even part doubles, simplifying to . 5. Evaluate the definite integral to obtain the final result: .
After obtaining the Fourier transform of the rectangular pulse function , the Fourier inverse transform formula can be used to establish a connection with the Dirichlet integral. The key technique is to set , at which point and , simplifying the formula to . Substituting then yields an integral identity involving .
The Fourier transform of a function is defined as .
The example function chosen in this video is for |t| ≤ 1, and 0 elsewhere. The left coordinate plot draws it as a rectangle of height 1 with base extending from -1 to 1; thus, the integration interval for the subsequent Fourier integral can be reduced from the entire real line to [-1, 1].
By definition, ; substituting the rectangular pulse yields . When expanded into trigonometric functions, the sine term cancels out over the symmetric interval, while the cosine term remains and equals twice the integral over half the interval; ultimately, .
The inverse transform formula is . Setting gives on the left-hand side, while the exponential factor on the right-hand side becomes 1, yielding ; substituting then establishes the integral identity.
Canceling 2 from numerator and denominator in the above equation gives ; multiplying both sides by π yields . This is the central integral identity in this segment.
Since , the function is even; therefore, the full-axis integral equals twice the half-axis integral. Thus, from , we deduce , which is precisely the Dirichlet integral shown at the top of the whiteboard.
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
Write the integration variable x on the whiteboard, appearing in and .
x
integration variable
real number
Write on the whiteboard, and use |t| in the piecewise condition.
t
independent variable of function f
real number
Write on the whiteboard.
frequency variable of the Fourier transform
real number
Write the piecewise function for |t| <= 1, and 0 otherwise on the whiteboard.
the rectangular pulse function, also known as the gate function, equals 1 when the absolute value of t is less than or equal to 1 and equals zero elsewhere.0
t is a real number.
The variable appears in the Fourier transform formula.
Angular frequency variable.
is a real number.
Write on the whiteboard.
Fourier transform of the function .
is a real number.
The whiteboard shows (|t| ≤ 1), (otherwise), accompanied by a rectangular pulse graph.
a rectangular pulse function of the time variable t, which takes the value 1 when |t| is less than or equal to 1, and takes the value 0 elsewhere.
t is a real number.
The variable ω appears in both the Fourier transform and the inverse Fourier transform formulas.
The angular frequency variable, serving as the independent variable after Fourier transformation.
ω is a real number.
The whiteboard displays , and subsequent substitution yields .
The Fourier transform of .
ω is a real number.
The exponential factors are written as and .
i
The imaginary unit.
The square of i equals negative one.
Both the target integral at the top and the conclusion at the bottom involve π and π divided by 2.
the constant pi
a real constant
The inverse transform formula is written as _{-}^{} .
u
The differential variable used for the inverse transform integral on the whiteboard visually resembles ω.
integration variable
The instructor says, "Today we will discuss this: the Dirichlet integral."
Write on the whiteboard.
The video first presents two improper integrals and states that they yield the same result, equal to .
The lower limit of integration is 0, and the upper limit is .
The integrands are and , respectively.
The instructor says, "Our first method uses Fourier... and our second method solves it using complex analysis, specifically contour integration."
The whiteboard displays "1. Fourier" and "2. Complex analysis".
The video lists two methods for evaluating this integral: the first uses Fourier transforms, and the second uses contour integration from complex analysis.
The instructor says, "Using Fourier, we need a function such that when the absolute value of t is less than or equal to 1, it equals 1; otherwise, in all other cases, it equals 0."
The whiteboard shows a rectangular pulse graph, with the horizontal axis labeled -1 and 1, and the vertical axis labeled 1.
The whiteboard displays .
To use the Fourier method, the video introduces a piecewise function that takes the value 1 to 1 on the interval [1, and takes the value 0 elsewhere.
When |t| ≤ 1,
When |t| > 1,
Write the definition of the Fourier transform, , on the whiteboard.
The Fourier transform of the function is defined as .
The integral converges
Write the definition of the inverse Fourier transform on the whiteboard:
The inverse Fourier transform of the function is defined as .
The integral converges
Write the piecewise function on the whiteboard: (|t| <= 1), 0 (otherwise)
The whiteboard shows a graph of this function: a rectangular pulse
The rectangular pulse function f of t is defined as: when the absolute value of t is less than or equal to 1, f of t equals 1; when the absolute value of t is greater than 1, f of t equals 0.
The instructor mentions 'using Euler's formula'
Expand on the whiteboard as
Euler's formula establishes a connection between the complex exponential function and trigonometric functions: e^{ix} = . Here it is used to expand .
The instructor says, 'Because this is an even function... this is an odd function... so the odd function vanishes.'
On the whiteboard, the integration interval changes from [-1, 1] to 2 times [0, 1], and the sine term is removed.
Over a symmetric interval [-a, a], the integral of an odd function is 0, and the integral of an even function is twice its integral over [0, a].
The integration interval is symmetric about the origin.
On the whiteboard, is written.
In the video, the Fourier transform of the rectangular pulse is defined as the integral over the entire real line: .
is the rectangular pulse function given on the whiteboard
The integration variable is t
The result is a function of ω
Write du on the whiteboard.
The differential variable is written as du, but in context it should be dω.
The video uses the inverse transform formula to express as the integral of multiplied by , then divided by 2π.
is the Fourier transform of
t is a real variable
The whiteboard shows (|t| ≤ 1), (other).
On the left, draw a rectangle of height 1 and base from -1 to 1.
The example function chosen in this video is a rectangular pulse that is constantly 1 to 1 and zero outside that interval.1 on the interval [0]
Defined on the entire real line
At the top of the whiteboard: sinx/x (sinx/x)^.
The target equation was given at the start of the video; this segment derives sinx/x via Fourier transform.
The integrand is understood in the limit sense at .
The whiteboard shows ∴ .
The instructor says, "This integral equals π."
The integral over ω from negative infinity to positive infinity of sine ω divided by ω with respect to ω equals π.
We reuse the earlier result obtained from the rectangular pulse.
Substitute into the inverse transform formula.
The improper integral over all real ω.
The whiteboard shows ∴ .
The instructor says, "Because an odd function is actually an even function," then gives the final result as π over two.
The audio says 'an odd function is actually an even function', which is ambiguous, but the on-screen conclusion clearly uses the evenness of .
The integral from zero to positive infinity of sine ω over ω with respect to ω equals one-half π.
The integral from negative infinity to positive infinity of sine ω over ω with respect to ω equals π.
is an even function.
The improper integral for
The instructor says, “Now, if we consider the Fourier transform, let’s first look at the Fourier transform of this function… It equals one only between negative one and one, so essentially from negative one to one.”
The whiteboard shows .
Write down the definition of the Fourier transform.
Definition of the Fourier transform
Since is nonzero only on [-1, 1] and equals 1 there, the integration interval is reduced and is substituted.
Piecewise definition of
Simplify the Fourier transform integral over the infinite interval into an integral over the finite interval [−1, 1].
The whiteboard step-by-step writes out the computation process of the Fourier transform.
Write the integral expression according to the definition of the Fourier transform.
Definition of the Fourier transform.
Substitute the explicit form of the rectangular pulse function , shrinking the integration interval to [-1, 1].
Definition of the rectangular pulse function.
Use Euler's formula to expand the complex exponential function into trigonometric functions.
Euler's formula
Since is an even function and is an odd function, the integral of an odd function over the symmetric interval [-1, 1] is 0, and the integral of an even function over that interval is twice its integral over [0, 1].
Integration properties of even and odd functions
Evaluate the definite integral by finding the antiderivative.
The Fundamental Theorem of Calculus
Substitute the upper and lower limits of integration to obtain the final result.
Algebraic manipulation
The Fourier transform of the rectangular pulse function is .
The Fourier inverse transform formula is written on the whiteboard, ready for substitution with
Write the integral expression according to the definition of the Fourier inverse transform.
Definition of the inverse Fourier transform
Let ; then , and .
Substituting specific values
By evaluating the inverse Fourier transform at , the Fourier transform of the rectangular pulse function can be linked to the Dirichlet integral.
On the whiteboard, .
The instructor explains simultaneously that is substituted and the limits of integration are reduced to -1 to 1.
Starting from the definition of the Fourier transform.
Using the definition formula given on the whiteboard.
Since equals 1 only when |t| is less than or equal to 1, and equals zero elsewhere,0, so the integration interval shrinks to [1, 1].
Defined using a rectangular pulse.
Expand the complex exponential into cosine plus i times sine.
Euler's formula: ; on the whiteboard it is written as , and only the cosine term contribution is retained thereafter.
The sine term integrates to 0 over a symmetric interval; the cosine term is an even function, so the integral reduces to 2 times the integral over half the interval.
Use the fact that cos is even, sin is odd, and the property of integration over a symmetric interval.
Integrate cos ωt with respect to t to obtain , then substitute the limits of integration.
Basic integration formula and substitution of endpoints.
equals two times sine ω divided by ω.
On the whiteboard: .
The instructor says, 'That is, when t equals 0, substitute t equals 0, and equals 1.'
First write down the Fourier inverse transform formula.
Use the inverse transform given on the whiteboard.
Let , then .
The exponential function equals 0 at 1.
The left-hand side, defined by the rectangular pulse, gives ; the right-hand side substitutes the previously derived .
Use the definition of and the already-derived Fourier transform result.
We obtain .
The whiteboard writes: ∴ .
The instructor says, 'This 2 and 2 cancel out,' then moves π to the other side.
Start from the previous step's equation.
Substitute the result from the previous step.
The 2 in the numerator cancels with the 2 in the denominator pi 2.
Algebraic simplification.
Multiply both sides by π.
Multiply both sides of the equation by a nonzero constant.
The integral from negative infinity to positive infinity of sine ω over ω with respect to ω equals π.
Write on the whiteboard: ∴ .
The presenter says, 'Because an odd function is actually an even function,' then gives the final result as π over two.
The audio statement is not rigorous, but the on-screen conclusion matches the standard even-function half-axis reduction.
First cite the full-axis integral result.
From the previous derivation.
Because .
Sine is an odd function, and the denominator ω is also an odd function; their quotient is an even function.
The integral of an even function over the entire real line equals twice its integral over the half-line.
Symmetry property of integrals of even functions.
Substitute the full-line integral value π and divide by 2.
Algebraic solution.
The integral from zero to positive infinity of sine ω over ω with respect to ω equals one-half π.
The entire whiteboard centers on (|t| ≤ 1), 0 (other), and ultimately writes .
The presenter substitutes step by step, cancels constants, and obtains the final result.
Given when |t| ≤ 1 and 0 otherwise, use the Fourier transform and its inverse to evaluate sinx/x dx.
equals one when the absolute value of t is less than or equal to one; otherwise, it equals zero.
equals the integral from negative infinity to positive infinity of times e to the power of negative i ω t with respect to t.
equals one over two π times the integral from negative infinity to positive infinity of times e to the power of i ω t with respect to ω.
Compute the integral .
First compute the Fourier transform of a rectangular pulse.
Simplify using the piecewise definition of and integration over a symmetric interval.
In the inverse transform, set .
and .
Cancel the constant 2 and rearrange terms.
Algebraic simplification.
Use the evenness of to convert the full-axis integral into a half-axis integral.
Even-function symmetric-integration property.
The integral from zero to positive infinity of sine x over x with respect to x equals one-half pi.
This matches the target equation prewritten at the top of the whiteboard: .
The instructor says, “Using complex analysis, we compute this using a classic contour integral with a keyhole indentation.”
The whiteboard draws the complex plane, including a large semicircle in the upper half-plane and a small semicircular indentation around the origin.
Complex plane coordinate axes
Large semicircle in the upper half-plane
Small semicircle at the origin
The instructor draws the large circular arc
The instructor draws a small circular arc at the origin to avoid the singularity
The coordinate axes remain unchanged
This sketch shows the contour structure commonly used to avoid the origin when evaluating improper integrals along the real axis via the residue theorem.
A graph of the rectangular pulse function is drawn on the whiteboard, with the horizontal axis labeled t and the vertical axis labeled f of t; the height is 1 over the interval from negative 1 to 1
Coordinate axes
Rectangle
Width and height of the rectangle
Intuitively shows the shape and range of values of the integrand , explaining why the integration interval can be reduced from (-\infty, ) to [-1, 1].
At the top of the whiteboard, the target integral is written first; in the middle, '1. Fourier', a rectangular diagram, and the piecewise definition of ; on the right, the derivation of the Fourier transform and its inverse; and at the bottom, the final conclusion is filled in step by step.
Target integral at the top
Rectangular pulse graph and definition of on the left
Derivation of in the center
Inverse transform and final conclusion at the bottom
The instructor first supplements the substitution expression on the right
Then writes below it
Finally writes
The target equation at the top remains visible throughout
The rectangular pulse definition on the left remains visible throughout
The visual layout organizes 'target integral—example function—Fourier transform—substitution of into the inverse transform—simplification to conclusion' into a continuous chalkboard proof chain.
In the coordinate graph on the left, draw a rectangle of height 1 spanning from -1 to 1.
horizontal axis
vertical axis
rectangle of height 1
labeled -1 and 1
the rectangle is nonzero only for |t| ≤ 1
height is constantly 1
this figure intuitively shows that is a gate function of width 2 and height 1, so its Fourier transform integral limits can be reduced to [-1, 1].
the presenter says, while explaining half-axis reduction, "because an odd function is actually an even function."
the on-screen conclusion uses .
the audio wording is ambiguous, possibly due to a slip of the tongue or omitted explanation.
It is easy to mistakenly say " is also an odd function" instead of "sin is an odd function".
sinω is an odd function, and ω is also an odd function, but their quotient is an even function; the final step in this segment uses this evenness to convert the integral over the entire axis into twice the integral over the half-axis.
After writing down the integral, the instructor immediately lists two methods.
Fourier transform and complex contour integration are two methods used to compute the Dirichlet integral and its square form.
The instructor says, 'Using Fourier’s approach, we need a function like this,' then defines and computes its Fourier transform.
The definition of the rectangular pulse function is the prerequisite for subsequent Fourier transform calculations.
The instructor says, "This is the function we obtained after applying the Fourier transform; now we use the inverse Fourier transform..."
By computing the Fourier transform of the rectangular pulse function and then using the property of the inverse Fourier transform at a specific point (), the Dirichlet integral is evaluated.
The piecewise definition of directly yields .
The rectangular pulse definition is substituted into the Fourier transform definition, yielding a specific sinc-type expression.
First use the expression for , then substitute into .
We must first compute before substituting it into the inverse transform and setting to obtain the integral identity.
Starting from , we further write .
Using the evenness of the integrand, the full-axis integral result is specialized to a half-axis integral result.
The bottom conclusion matches the top target integral in form, differing only in the variable name: ω is replaced by x.
The derived in this segment is precisely the first Dirichlet integral appearing in the top target.
Write the integral result on the whiteboard as equal to .
Write the piecewise definition of on the whiteboard.
The complete derivation is fully displayed on the whiteboard.
The instructor explains the upcoming strategy.
The instructor explicitly states, "That is, when t equals 0, substitute t equals 0."
On the whiteboard, = ... is written.
The instructor says, 'This 2 and 2 cancel each other out.'
From to .
Directly write the half-axis integral from the full-axis integral: .
The instructor mentions parity, but the wording is ambiguous.
The original audio statement is not rigorous; judgment must be made in conjunction with the formula.
The whiteboard fully shows the derivation from to .
Covered · The instructor enters and prepares to begin the lecture; no mathematical content.
Covered · Write down and explain the Dirichlet integral and its squared form.
Covered · List the two solution methods: Fourier and complex analysis.
Covered · Sketch the rectangular pulse graph and write its piecewise function definition.
Covered · Sketch the contour diagram used in the complex analysis method, as a visual supplement to the method overview.
Covered · Erase the contour sketch to prepare for the detailed calculation using the Fourier method.
Covered · Write the Fourier transform definition and simplify the integration interval based on the properties of .
Covered · Deriving the Fourier transform of the rectangular pulse function.
Covered · The instructor pauses, preparing for the next step.
Covered · Introducing the Fourier inverse transform, preparing to evaluate the Dirichlet integral.
Covered · The instructor reviews the definition of the rectangular pulse and writes its Fourier transform, then simplifies step by step to obtain .
Covered · Substitute into the inverse transform formula, using and to obtain an equation involving the full-axis integral.
Covered · Eliminate the constant 2 and rearrange terms to obtain .
Covered · Use the evenness of to convert the full-axis integral into a half-axis integral, yielding , matching the target equation displayed at the top.
Reviewed subject paths