Skip to content Skip to navigation

Connexions

You are here: Home » Content » Dirichlet Conditions

Navigation

Content Actions
  • Download module PDF
  • Add to ...
    Add the module to:
    • My Favorites
    • A lens
    • An external social bookmarking service
    • My Favorites (What is 'My Favorites'?)
      'My Favorites' is a special kind of lens which you can use to bookmark modules and collections directly in Connexions. 'My Favorites' can only be seen by you, and collections saved in 'My Favorites' can remember the last module you were on. You need a Connexions account to use 'My Favorites'.
    • A lens (What is a lens?)

      Definition of a lens

      Lenses

      A lens is a custom view of Connexions content. You can think of it as a fancy kind of list that will let you see Connexions through the eyes of organizations and people you trust.

      What is in a lens?

      Lens makers point to Connexions materials (modules and collections), creating a guide that includes their own comments and descriptive tags about the content.

      Who can create a lens?

      Any individual Connexions member, a community, or a respected organization.

    • External bookmarks
  • E-mail the author

Lenses

What is a lens?

Definition of a lens

Lenses

A lens is a custom view of Connexions content. You can think of it as a fancy kind of list that will let you see Connexions through the eyes of organizations and people you trust.

What is in a lens?

Lens makers point to Connexions materials (modules and collections), creating a guide that includes their own comments and descriptive tags about the content.

Who can create a lens?

Any individual Connexions member, a community, or a respected organization.

This content is ...

In these lenses

  • richb's DSP

    This module is included inLens: richb's DSP resources
    By: Richard BaraniukAs a part of collection:"Signals and Systems"

    Comments:

    "My introduction to signal processing course at Rice University."

    Click the "richb's DSP" link to see all content selected in this lens.

Recently Viewed

This feature requires Javascript to be enabled.

Tags

(What is a tag?)

These tags come from the endorsement, affiliation, and other lenses that include this content.

Dirichlet Conditions

Module by: Ricardo Radaelli-Sanchez

Summary: The Dirichlet conditions are the sufficient conditions to guarantee existence and convergence of the Fourier series or the Fourier transform.

Named after the German mathematician, Peter Dirichlet, the Dirichlet conditions are the sufficient conditions to guarantee existence and convergence of the Fourier series or the Fourier transform.

The Weak Dirichlet Condition for the Fourier Series

condition 1: The Weak Dirichlet Condition

For the Fourier Series to exist, the Fourier coefficients must be finite. The Weak Dirichlet Condition guarantees this existence. It essentially says that the integral of the absolute value of the signal must be finite. The limits of integration are different for the Fourier Series case than for the Fourier Transform case. This is a direct result of the differing definitions of the two.

Proof

The Fourier Series exists (the coefficients are finite) if

Weak Dirichlet Condition for the Fourier Series
∫0T|ft|dt<∞ t 0 T f t (1)
This can be shown from the initial condition that the Fourier Series coefficients be finite.
| c n |=|1T∫0Tftⅇ-ⅈ ω 0 ntdt|≤1T∫0T|ft||ⅇ-ⅈ ω 0 nt|dt c n 1 T t 0 T f t ω 0 n t 1 T t 0 T f t ω 0 n t (2)
Remembering our complex exponentials, we know that in the above equation |ⅇ-ⅈ ω 0 nt|=1 ω 0 n t 1 , which gives us
1T∫0T|ft|dt=1T∫0T|ft|dt 1 T t 0 T f t (3)
<∞ (4)

note:

If we have the function: ∀t,0<t≤T:ft=1t t 0 t T f t 1 t then you should note that this functions fails the above condition.

The Weak Dirichlet Condition for the Fourier Transform

condition 2

The Fourier Transform exists if

Weak Dirichlet Condition for the Fourier Transform
∫-∞∞|ft|dt<∞ t f t (5)
This can be derived the same way the weak Dirichlet for the Fourier Series was derived, by beginning with the definition and showing that the Fourier Transform must be less than infinity everywhere.

The Strong Dirichlet Conditions

The Fourier Transform exists if the signal has a finite number of discontinuities and a finite number of maxima and minima. For the Fourier Series to exist, the following two conditions must be satisfied (along with the Weak Dirichlet Condition):

  1. In one period, ft f t has only a finite number of minima and maxima.
  2. In one period, ft f t has only a finite number of discontinuities and each one is finite.
These are what we refer to as the Strong Dirichlet Conditions. In theory we can think of signals that violate these conditions, sinlogt t for instance. However, it is not possible to create a signal that violates these conditions in a lab. Therefore, any real-world signal will have a Fourier representation.

Example

Let us assume we have the following function and equality:

f′t=limN→∞ f N ′t f t N f N t (6)
If ft f t meets all three conditions of the Strong Dirichlet Conditions, then fτ=f′τ f τ f τ at every ττ at which ft f t is continuous. And where ft f t is discontinuous, f′t f t is the average of the values on the right and left. See Figure 1 as an example:

Figure 1: Discontinuous functions, ft f t .
Subfigure 1.1Subfigure 1.2
Subfigure 1.1 (dircond1.png)Subfigure 1.2 (dircond2.png)

note:

The functions that fail the Dirchlet conditions are pretty pathological - as engineers, we are not too interested in them.

Comments, questions, feedback, criticisms?

Send feedback