Frequency-Domain Analysis: DTFT, Discrete Fourier Transform (DFT), and Properties

Unit 2, Lesson 1: DFT kernel, bins and normalization

Unit theme: Discrete Fourier transform, fast algorithms and windowing Level: Undergraduate engineering (idealized models) Learning objective: The N-point DFT uses X[k]=Σ x[n]exp(−j2πkn/N); conventions determine how coefficients translate to amplitudes.

1. Concept and mathematical language

The N-point DFT uses X[k]=Σ x[n]exp(−j2πkn/N); conventions determine how coefficients translate to amplitudes. The role of this principle in discrete fourier transform, fast algorithms and windowing is to connect the expression on paper with an observable prediction. Before manipulating symbols, define the independent variable, the range of allowed inputs, the output quantity, and the reference condition. In particular, identify whether the argument concerns a discrete-time signal. The same algebraic shape may describe completely different physical situations when time is measured in seconds in one case and by integer samples in another. A meaningful graph must identify its axes and units, the origin of the record, and whether the plotted values are exact or illustrative.

2. A quantitative example

Checkable numerical or symbolic example: For eight unit-valued samples, X[0]=8 and X[k]=0 at all nonzero integer bins. Explain what the chosen values mean, list any units, and reproduce the result without replacing the governing mathematical relation with a memorized rule. A numerical example answers a narrowly framed question; it does not by itself certify an entire signal-processing chain. Describe the source or test signal, observation interval, reference time, and the output that would be compared with the calculated answer. If the expression uses a delta or step, say whether it represents an ideal mathematical distribution or a realizable finite-width experiment.

3. Derivation strategy and model boundaries

Start from the smallest version of the problem that keeps its essential structure. Represent a pulse with known support; annotate the independent coordinate and the nonzero support or spectral components. Derive the relevant expression step by step, naming the rule used to move from one line to the next. When integrating or summing, show the limits; when using a transform, write its kernel and normalization convention. If the quantity is complex, separate magnitude and phase before interpreting it as a real measurement. Avoid silently switching between angular frequency ω and cyclic frequency f.

A model boundary is a statement about where the prediction can fail. For this lesson, pay particular attention to the following: A factor of 2 to form a one-sided amplitude spectrum applies to interior bins of a real signal, not unconditionally to DC and Nyquist. A useful report says whether the discrepancy originates in a violated hypothesis, finite measurement resolution, numerical rounding, a different Fourier or transform convention, or an unmodeled physical effect. Fitting a parameter after observing a failure does not retrospectively validate the original prediction. State any fitted parameters separately from independently measured ones.

4. Engineering investigation

Task: Compare a hand N=4 DFT with a complex-number implementation. Begin by writing a one-paragraph specification of the input, expected output, and permitted error. Choose an observable output rather than a qualitative claim such as “the plot looks correct.” If the application is frequency-domain anomaly detection, explain what sensor or computation would provide the input and how the result could inform a decision. List relevant data units, an example operating range, and one adverse condition. Do not treat a synthetic input as a measurement of a real device.

Connect the investigation to unitary/scaled DFT references and Parseval identities. Specify what a genuinely independent verification would require: a different derivation, a second calculation package, or a controlled instrument measurement with calibrated reference. When measurements are possible, identify bandwidth, resolution and uncertainty before interpreting a small residual as meaningful. When physical testing is unavailable, label all results “analytical” or “synthetic simulation.” A design choice should remain provisional until its assumptions have survived checks under conditions resembling the intended application.

5. Interpretation and common mistakes

Pitfall to diagnose: A factor of 2 to form a one-sided amplitude spectrum applies to interior bins of a real signal, not unconditionally to DC and Nyquist. If an equation is linear, verify linearity on two different input functions instead of one. A second frequent mistake is confusing a transformation's algebraic existence with its physical realizability. An ideal bandlimited spectrum, an impulse with zero duration, infinite observation time and perfect reconstruction are mathematical conveniences. Each may be useful, but laboratory claims must include finite time, bandwidth, quantization and uncertainty when relevant. This distinction becomes essential when a simulation is used to select acquisition hardware or establish safety margins.

6. Guided exercises and assessment

1. Reconstruction: Starting from the definitions, derive the relation used in the quantitative example. State every assumption, not only the final substitution. Reproduce a dimensional or normalization check.

2. Boundary test: Recompute the lesson's core prediction for a zero input and a doubled input parameter where meaningful. Explain whether the expected change follows from linearity, dimensional reasoning, or a different property.

3. Counterexample: Design a case in which dft kernel, bins and normalization would be incorrectly applied. Name the violated assumption and the observable symptom.

4. Independent result: Design a calculation or simulation that would check the mathematical expression without copying its exact implementation. Provide numerical values and expected units.

5. Application decision: For frequency-domain anomaly detection, propose a measurement or controlled experiment that would distinguish the simplified model from one plausible alternative. Include a measurable acceptance criterion.

Self-check and marking guidance

An adequate answer identifies signal type and variables; states the relevant model equation; shows intermediate steps; reports units and reference convention; handles one limit or counterexample; and distinguishes analytic prediction from experimental verification. Work that quotes a final value without hypotheses is incomplete. A passing simulation alone does not establish the physical correctness of its underlying model. Assess whether the calculation would still be valid under a different sample rate, initial state or signal class, whichever is relevant here.

Editorial note: These examples are for instruction. Their idealized component values and invented datasets are not design specifications for safety-critical, mains-connected, medical or certified systems.

Unit 2, Lesson 2: Radix-two FFT and operation cost

Unit theme: Discrete Fourier transform, fast algorithms and windowing Level: Undergraduate engineering (idealized models) Learning objective: Cooley–Tukey butterfly factorization evaluates a power-of-two DFT in O(N log2 N) arithmetic rather than direct O(N²) work.

1. Concept and mathematical language

Cooley–Tukey butterfly factorization evaluates a power-of-two DFT in O(N log2 N) arithmetic rather than direct O(N²) work. The role of this principle in discrete fourier transform, fast algorithms and windowing is to connect the expression on paper with an observable prediction. Before manipulating symbols, define the independent variable, the range of allowed inputs, the output quantity, and the reference condition. In particular, identify whether the argument concerns a discrete-time signal. The same algebraic shape may describe completely different physical situations when time is measured in seconds in one case and by integer samples in another. A meaningful graph must identify its axes and units, the origin of the record, and whether the plotted values are exact or illustrative.

2. A quantitative example

Checkable numerical or symbolic example: For N=1024, N²=1,048,576 while N log2 N=10,240; these are scaling indicators, not exact flop totals. Explain what the chosen values mean, list any units, and reproduce the result without replacing the governing mathematical relation with a memorized rule. A numerical example answers a narrowly framed question; it does not by itself certify an entire signal-processing chain. Describe the source or test signal, observation interval, reference time, and the output that would be compared with the calculated answer. If the expression uses a delta or step, say whether it represents an ideal mathematical distribution or a realizable finite-width experiment.

3. Derivation strategy and model boundaries

Start from the smallest version of the problem that keeps its essential structure. Represent a sinusoid with a calibrated phase origin; annotate the independent coordinate and the nonzero support or spectral components. Derive the relevant expression step by step, naming the rule used to move from one line to the next. When integrating or summing, show the limits; when using a transform, write its kernel and normalization convention. If the quantity is complex, separate magnitude and phase before interpreting it as a real measurement. Avoid silently switching between angular frequency ω and cyclic frequency f.

A model boundary is a statement about where the prediction can fail. For this lesson, pay particular attention to the following: FFT output is algebraically the same DFT; it cannot undo aliasing or create frequency information. A useful report says whether the discrepancy originates in a violated hypothesis, finite measurement resolution, numerical rounding, a different Fourier or transform convention, or an unmodeled physical effect. Fitting a parameter after observing a failure does not retrospectively validate the original prediction. State any fitted parameters separately from independently measured ones.

4. Engineering investigation

Task: Implement two radix-two butterfly stages for an eight-point sequence. Begin by writing a one-paragraph specification of the input, expected output, and permitted error. Choose an observable output rather than a qualitative claim such as “the plot looks correct.” If the application is frequency-domain anomaly detection, explain what sensor or computation would provide the input and how the result could inform a decision. List relevant data units, an example operating range, and one adverse condition. Do not treat a synthetic input as a measurement of a real device.

Connect the investigation to unitary/scaled DFT references and Parseval identities. Specify what a genuinely independent verification would require: a different derivation, a second calculation package, or a controlled instrument measurement with calibrated reference. When measurements are possible, identify bandwidth, resolution and uncertainty before interpreting a small residual as meaningful. When physical testing is unavailable, label all results “analytical” or “synthetic simulation.” A design choice should remain provisional until its assumptions have survived checks under conditions resembling the intended application.

5. Interpretation and common mistakes

Pitfall to diagnose: FFT output is algebraically the same DFT; it cannot undo aliasing or create frequency information. If a spectrum is complex, report both phase convention and amplitude normalization. A second frequent mistake is confusing a transformation's algebraic existence with its physical realizability. An ideal bandlimited spectrum, an impulse with zero duration, infinite observation time and perfect reconstruction are mathematical conveniences. Each may be useful, but laboratory claims must include finite time, bandwidth, quantization and uncertainty when relevant. This distinction becomes essential when a simulation is used to select acquisition hardware or establish safety margins.

6. Guided exercises and assessment

1. Reconstruction: Starting from the definitions, derive the relation used in the quantitative example. State every assumption, not only the final substitution. Calculate a boundary value without a calculator.

2. Boundary test: Recompute the lesson's core prediction for a zero input and a doubled input parameter where meaningful. Explain whether the expected change follows from linearity, dimensional reasoning, or a different property.

3. Counterexample: Design a case in which radix-two fft and operation cost would be incorrectly applied. Name the violated assumption and the observable symptom.

4. Independent result: Design a calculation or simulation that would check the mathematical expression without copying its exact implementation. Provide numerical values and expected units.

5. Application decision: For frequency-domain anomaly detection, propose a measurement or controlled experiment that would distinguish the simplified model from one plausible alternative. Include a measurable acceptance criterion.

Self-check and marking guidance

An adequate answer identifies signal type and variables; states the relevant model equation; shows intermediate steps; reports units and reference convention; handles one limit or counterexample; and distinguishes analytic prediction from experimental verification. Work that quotes a final value without hypotheses is incomplete. A passing simulation alone does not establish the physical correctness of its underlying model. Assess whether the calculation would still be valid under a different sample rate, initial state or signal class, whichever is relevant here.

Editorial note: These examples are for instruction. Their idealized component values and invented datasets are not design specifications for safety-critical, mains-connected, medical or certified systems.

Unit 2, Lesson 3: Spectral leakage and window tradeoffs

Unit theme: Discrete Fourier transform, fast algorithms and windowing Level: Undergraduate engineering (idealized models) Learning objective: Finite observation multiplies the signal by a window; in frequency this convolves spectra with the window transform.

1. Concept and mathematical language

Finite observation multiplies the signal by a window; in frequency this convolves spectra with the window transform. The role of this principle in discrete fourier transform, fast algorithms and windowing is to connect the expression on paper with an observable prediction. Before manipulating symbols, define the independent variable, the range of allowed inputs, the output quantity, and the reference condition. In particular, identify whether the argument concerns a discrete-time signal. The same algebraic shape may describe completely different physical situations when time is measured in seconds in one case and by integer samples in another. A meaningful graph must identify its axes and units, the origin of the record, and whether the plotted values are exact or illustrative.

2. A quantitative example

Checkable numerical or symbolic example: With fs=1024 Hz and N=1024, bin spacing is 1 Hz; a 50.5 Hz sinusoid is not bin centered. Explain what the chosen values mean, list any units, and reproduce the result without replacing the governing mathematical relation with a memorized rule. A numerical example answers a narrowly framed question; it does not by itself certify an entire signal-processing chain. Describe the source or test signal, observation interval, reference time, and the output that would be compared with the calculated answer. If the expression uses a delta or step, say whether it represents an ideal mathematical distribution or a realizable finite-width experiment.

3. Derivation strategy and model boundaries

Start from the smallest version of the problem that keeps its essential structure. Represent a step that starts at the declared reference instant; annotate the independent coordinate and the nonzero support or spectral components. Derive the relevant expression step by step, naming the rule used to move from one line to the next. When integrating or summing, show the limits; when using a transform, write its kernel and normalization convention. If the quantity is complex, separate magnitude and phase before interpreting it as a real measurement. Avoid silently switching between angular frequency ω and cyclic frequency f.

A model boundary is a statement about where the prediction can fail. For this lesson, pay particular attention to the following: A Hann window reduces distant sidelobes compared with a rectangular window but widens the central lobe and changes coherent gain. A useful report says whether the discrepancy originates in a violated hypothesis, finite measurement resolution, numerical rounding, a different Fourier or transform convention, or an unmodeled physical effect. Fitting a parameter after observing a failure does not retrospectively validate the original prediction. State any fitted parameters separately from independently measured ones.

4. Engineering investigation

Task: Compare coherent and half-bin-offset tones using rectangular and Hann windows. Begin by writing a one-paragraph specification of the input, expected output, and permitted error. Choose an observable output rather than a qualitative claim such as “the plot looks correct.” If the application is frequency-domain anomaly detection, explain what sensor or computation would provide the input and how the result could inform a decision. List relevant data units, an example operating range, and one adverse condition. Do not treat a synthetic input as a measurement of a real device.

Connect the investigation to unitary/scaled DFT references and Parseval identities. Specify what a genuinely independent verification would require: a different derivation, a second calculation package, or a controlled instrument measurement with calibrated reference. When measurements are possible, identify bandwidth, resolution and uncertainty before interpreting a small residual as meaningful. When physical testing is unavailable, label all results “analytical” or “synthetic simulation.” A design choice should remain provisional until its assumptions have survived checks under conditions resembling the intended application.

5. Interpretation and common mistakes

Pitfall to diagnose: A Hann window reduces distant sidelobes compared with a rectangular window but widens the central lobe and changes coherent gain. If a pole or time constant appears, check the expected long-time behavior. A second frequent mistake is confusing a transformation's algebraic existence with its physical realizability. An ideal bandlimited spectrum, an impulse with zero duration, infinite observation time and perfect reconstruction are mathematical conveniences. Each may be useful, but laboratory claims must include finite time, bandwidth, quantization and uncertainty when relevant. This distinction becomes essential when a simulation is used to select acquisition hardware or establish safety margins.

6. Guided exercises and assessment

1. Reconstruction: Starting from the definitions, derive the relation used in the quantitative example. State every assumption, not only the final substitution. Sketch the expected waveform or spectral trend.

2. Boundary test: Recompute the lesson's core prediction for a zero input and a doubled input parameter where meaningful. Explain whether the expected change follows from linearity, dimensional reasoning, or a different property.

3. Counterexample: Design a case in which spectral leakage and window tradeoffs would be incorrectly applied. Name the violated assumption and the observable symptom.

4. Independent result: Design a calculation or simulation that would check the mathematical expression without copying its exact implementation. Provide numerical values and expected units.

5. Application decision: For frequency-domain anomaly detection, propose a measurement or controlled experiment that would distinguish the simplified model from one plausible alternative. Include a measurable acceptance criterion.

Self-check and marking guidance

An adequate answer identifies signal type and variables; states the relevant model equation; shows intermediate steps; reports units and reference convention; handles one limit or counterexample; and distinguishes analytic prediction from experimental verification. Work that quotes a final value without hypotheses is incomplete. A passing simulation alone does not establish the physical correctness of its underlying model. Assess whether the calculation would still be valid under a different sample rate, initial state or signal class, whichever is relevant here.

Editorial note: These examples are for instruction. Their idealized component values and invented datasets are not design specifications for safety-critical, mains-connected, medical or certified systems.

Unit 2, Lesson 4: Zero-padding and spectral interpolation

Unit theme: Discrete Fourier transform, fast algorithms and windowing Level: Undergraduate engineering (idealized models) Learning objective: Zero-padding extends an array by zeros and evaluates its existing discrete-time frequency response on a finer grid.

1. Concept and mathematical language

Zero-padding extends an array by zeros and evaluates its existing discrete-time frequency response on a finer grid. The role of this principle in discrete fourier transform, fast algorithms and windowing is to connect the expression on paper with an observable prediction. Before manipulating symbols, define the independent variable, the range of allowed inputs, the output quantity, and the reference condition. In particular, identify whether the argument concerns a discrete-time signal. The same algebraic shape may describe completely different physical situations when time is measured in seconds in one case and by integer samples in another. A meaningful graph must identify its axes and units, the origin of the record, and whether the plotted values are exact or illustrative.

2. A quantitative example

Checkable numerical or symbolic example: N=256 true samples and a zero-padded 2048-point FFT give display bin spacing fs/2048 but observational resolution remains set by 256 samples. Explain what the chosen values mean, list any units, and reproduce the result without replacing the governing mathematical relation with a memorized rule. A numerical example answers a narrowly framed question; it does not by itself certify an entire signal-processing chain. Describe the source or test signal, observation interval, reference time, and the output that would be compared with the calculated answer. If the expression uses a delta or step, say whether it represents an ideal mathematical distribution or a realizable finite-width experiment.

3. Derivation strategy and model boundaries

Start from the smallest version of the problem that keeps its essential structure. Represent a bandlimited synthetic record; annotate the independent coordinate and the nonzero support or spectral components. Derive the relevant expression step by step, naming the rule used to move from one line to the next. When integrating or summing, show the limits; when using a transform, write its kernel and normalization convention. If the quantity is complex, separate magnitude and phase before interpreting it as a real measurement. Avoid silently switching between angular frequency ω and cyclic frequency f.

A model boundary is a statement about where the prediction can fail. For this lesson, pay particular attention to the following: Zero-padding cannot resolve two closely spaced tones that the original data record does not distinguish. A useful report says whether the discrepancy originates in a violated hypothesis, finite measurement resolution, numerical rounding, a different Fourier or transform convention, or an unmodeled physical effect. Fitting a parameter after observing a failure does not retrospectively validate the original prediction. State any fitted parameters separately from independently measured ones.

4. Engineering investigation

Task: Show the same 256-sample sinusoid with 256 and 2048-point FFTs. Begin by writing a one-paragraph specification of the input, expected output, and permitted error. Choose an observable output rather than a qualitative claim such as “the plot looks correct.” If the application is frequency-domain anomaly detection, explain what sensor or computation would provide the input and how the result could inform a decision. List relevant data units, an example operating range, and one adverse condition. Do not treat a synthetic input as a measurement of a real device.

Connect the investigation to unitary/scaled DFT references and Parseval identities. Specify what a genuinely independent verification would require: a different derivation, a second calculation package, or a controlled instrument measurement with calibrated reference. When measurements are possible, identify bandwidth, resolution and uncertainty before interpreting a small residual as meaningful. When physical testing is unavailable, label all results “analytical” or “synthetic simulation.” A design choice should remain provisional until its assumptions have survived checks under conditions resembling the intended application.

5. Interpretation and common mistakes

Pitfall to diagnose: Zero-padding cannot resolve two closely spaced tones that the original data record does not distinguish. If data are sampled, state the sample rate and anti-aliasing assumption. A second frequent mistake is confusing a transformation's algebraic existence with its physical realizability. An ideal bandlimited spectrum, an impulse with zero duration, infinite observation time and perfect reconstruction are mathematical conveniences. Each may be useful, but laboratory claims must include finite time, bandwidth, quantization and uncertainty when relevant. This distinction becomes essential when a simulation is used to select acquisition hardware or establish safety margins.

6. Guided exercises and assessment

1. Reconstruction: Starting from the definitions, derive the relation used in the quantitative example. State every assumption, not only the final substitution. Identify a counterexample to an unstated assumption.

2. Boundary test: Recompute the lesson's core prediction for a zero input and a doubled input parameter where meaningful. Explain whether the expected change follows from linearity, dimensional reasoning, or a different property.

3. Counterexample: Design a case in which zero-padding and spectral interpolation would be incorrectly applied. Name the violated assumption and the observable symptom.

4. Independent result: Design a calculation or simulation that would check the mathematical expression without copying its exact implementation. Provide numerical values and expected units.

5. Application decision: For frequency-domain anomaly detection, propose a measurement or controlled experiment that would distinguish the simplified model from one plausible alternative. Include a measurable acceptance criterion.

Self-check and marking guidance

An adequate answer identifies signal type and variables; states the relevant model equation; shows intermediate steps; reports units and reference convention; handles one limit or counterexample; and distinguishes analytic prediction from experimental verification. Work that quotes a final value without hypotheses is incomplete. A passing simulation alone does not establish the physical correctness of its underlying model. Assess whether the calculation would still be valid under a different sample rate, initial state or signal class, whichever is relevant here.

Editorial note: These examples are for instruction. Their idealized component values and invented datasets are not design specifications for safety-critical, mains-connected, medical or certified systems.

Unit 2, Lesson 5: Short-time Fourier transform and spectrograms

Unit theme: Discrete Fourier transform, fast algorithms and windowing Level: Undergraduate engineering (idealized models) Learning objective: The STFT evaluates local spectra from successive windowed blocks, exchanging time localization against frequency discrimination.

1. Concept and mathematical language

The STFT evaluates local spectra from successive windowed blocks, exchanging time localization against frequency discrimination. The role of this principle in discrete fourier transform, fast algorithms and windowing is to connect the expression on paper with an observable prediction. Before manipulating symbols, define the independent variable, the range of allowed inputs, the output quantity, and the reference condition. In particular, identify whether the argument concerns a discrete-time signal. The same algebraic shape may describe completely different physical situations when time is measured in seconds in one case and by integer samples in another. A meaningful graph must identify its axes and units, the origin of the record, and whether the plotted values are exact or illustrative.

2. A quantitative example

Checkable numerical or symbolic example: At fs=16000 Hz, a 400-sample window spans 25 ms, and a 160-sample hop spans 10 ms. Explain what the chosen values mean, list any units, and reproduce the result without replacing the governing mathematical relation with a memorized rule. A numerical example answers a narrowly framed question; it does not by itself certify an entire signal-processing chain. Describe the source or test signal, observation interval, reference time, and the output that would be compared with the calculated answer. If the expression uses a delta or step, say whether it represents an ideal mathematical distribution or a realizable finite-width experiment.

3. Derivation strategy and model boundaries

Start from the smallest version of the problem that keeps its essential structure. Represent a two-component signal with separated scales; annotate the independent coordinate and the nonzero support or spectral components. Derive the relevant expression step by step, naming the rule used to move from one line to the next. When integrating or summing, show the limits; when using a transform, write its kernel and normalization convention. If the quantity is complex, separate magnitude and phase before interpreting it as a real measurement. Avoid silently switching between angular frequency ω and cyclic frequency f.

A model boundary is a statement about where the prediction can fail. For this lesson, pay particular attention to the following: A dense hop adds overlap, not new independent observations, and can distort a naive noise-variance estimate. A useful report says whether the discrepancy originates in a violated hypothesis, finite measurement resolution, numerical rounding, a different Fourier or transform convention, or an unmodeled physical effect. Fitting a parameter after observing a failure does not retrospectively validate the original prediction. State any fitted parameters separately from independently measured ones.

4. Engineering investigation

Task: Visualize a frequency chirp under 10 ms and 100 ms window lengths. Begin by writing a one-paragraph specification of the input, expected output, and permitted error. Choose an observable output rather than a qualitative claim such as “the plot looks correct.” If the application is frequency-domain anomaly detection, explain what sensor or computation would provide the input and how the result could inform a decision. List relevant data units, an example operating range, and one adverse condition. Do not treat a synthetic input as a measurement of a real device.

Connect the investigation to unitary/scaled DFT references and Parseval identities. Specify what a genuinely independent verification would require: a different derivation, a second calculation package, or a controlled instrument measurement with calibrated reference. When measurements are possible, identify bandwidth, resolution and uncertainty before interpreting a small residual as meaningful. When physical testing is unavailable, label all results “analytical” or “synthetic simulation.” A design choice should remain provisional until its assumptions have survived checks under conditions resembling the intended application.

5. Interpretation and common mistakes

Pitfall to diagnose: A dense hop adds overlap, not new independent observations, and can distort a naive noise-variance estimate. If the argument treats a finite record as infinitely long, write down the window explicitly. A second frequent mistake is confusing a transformation's algebraic existence with its physical realizability. An ideal bandlimited spectrum, an impulse with zero duration, infinite observation time and perfect reconstruction are mathematical conveniences. Each may be useful, but laboratory claims must include finite time, bandwidth, quantization and uncertainty when relevant. This distinction becomes essential when a simulation is used to select acquisition hardware or establish safety margins.

6. Guided exercises and assessment

1. Reconstruction: Starting from the definitions, derive the relation used in the quantitative example. State every assumption, not only the final substitution. State an acceptance tolerance before simulating.

2. Boundary test: Recompute the lesson's core prediction for a zero input and a doubled input parameter where meaningful. Explain whether the expected change follows from linearity, dimensional reasoning, or a different property.

3. Counterexample: Design a case in which short-time fourier transform and spectrograms would be incorrectly applied. Name the violated assumption and the observable symptom.

4. Independent result: Design a calculation or simulation that would check the mathematical expression without copying its exact implementation. Provide numerical values and expected units.

5. Application decision: For frequency-domain anomaly detection, propose a measurement or controlled experiment that would distinguish the simplified model from one plausible alternative. Include a measurable acceptance criterion.

Self-check and marking guidance

An adequate answer identifies signal type and variables; states the relevant model equation; shows intermediate steps; reports units and reference convention; handles one limit or counterexample; and distinguishes analytic prediction from experimental verification. Work that quotes a final value without hypotheses is incomplete. A passing simulation alone does not establish the physical correctness of its underlying model. Assess whether the calculation would still be valid under a different sample rate, initial state or signal class, whichever is relevant here.

Editorial note: These examples are for instruction. Their idealized component values and invented datasets are not design specifications for safety-critical, mains-connected, medical or certified systems.

Unit 2 capstone — DFT and FFT consistency study

Engineering problem

Compute spectra of coherent and noncoherent tones using a direct DFT, FFT, rectangular window and Hann window. Explain what changes with zero padding and why. The capstone intentionally uses invented signals, not field measurements. The unit provides the mathematical concepts: DFT kernel, bins and normalization, Radix-two FFT and operation cost, Spectral leakage and window tradeoffs, Zero-padding and spectral interpolation, Short-time Fourier transform and spectrograms. Write a concise problem statement and choose consistent notation for time, sample index, physical units and the transform convention. Keep raw input parameters in a table separate from derived outputs.

Required submissions

1. A mathematical model listing all assumptions, independent variables and initial conditions or finite record lengths.
2. A hand-verifiable result with the steps from governing equation to value or functional expression.
3. One independent computation, using a different method from the hand calculation, with an explicit discrepancy tolerance.
4. A plot that labels units, sample rate, window and phase/frequency conventions when relevant.
5. Two stress tests: one boundary case and one deliberate model violation with the expected failure symptoms.
6. A short engineering report distinguishing verification of code from validation against physical data.

Evaluation rubric (100 points)

• Mathematical and physical specification: 20.
• Correct derivations and units: 25.
• Independently reproducible numerical result: 20.
• Boundary and violation tests: 20.
• Clear interpretation and data provenance: 15.

Discussion prompts

Explain why your assumptions are necessary; demonstrate whether changing the record length or excitation changes the result; discuss which error is numerical and which is modeling error; and propose a minimal real-world test to determine whether the simplified model is appropriate. A visually convincing trace without a numeric reference earns no numerical verification credit. Refer to the corresponding lessons for the domain-specific limitations.