Learn with Amar
Teaching video
A teaching recording for this chapter has not been published yet. Start with the worked example below and explore the related animations where available.
Graduate chapters and video availability01 · Read and understand
What you will learn
- Keep the forcing class explicit when interpreting existence or breakdown claims.
- Justify the conclusion "The force hypothesis must remain attached to the conclusion" using the stated assumptions.
Before you start
PDE hypotheses and logical quantifiers.
Keep paper nearby. Read the question once for the context, then again to identify what is known and what you need to find.
Start with a question
Why does a construction with a nonzero smooth force not automatically prove the corresponding unforced claim?
Why this math matters
Keep the forcing class explicit when interpreting existence or breakdown claims. This worked micro-lesson connects a precise mathematical condition to a conclusion you can check. The transfer task asks you to change the setting and decide which parts of the reasoning still apply.
Set up the model
A useful answer starts with clear assumptions:
- The compared equations otherwise use the same domain and data conditions.
- The larger forcing class includes the zero function.
02 · Work through the example
Follow the reasoning, one step at a time.
Try to predict the next step before reading it. After each calculation, explain why the operation makes sense and how it helps answer the original question.
Work through it with Amar
See this example unfold.
The complete worked example, one idea at a time.
Compare forced and unforced equations without changing the theorem
PausedQuestion: Start with the question. Paused.
Question
Start with the question
Why does a construction with a nonzero smooth force not automatically prove the corresponding unforced claim?
Before you calculate
Read what is known and what you need to find. Make a prediction before moving to the first calculation.
Starts paused. Play advances through the full text at a reading pace; pause whenever you need more time. Previous, Next, and the phase buttons let you set your own pace. Playback pauses when this walkthrough leaves the screen or you switch tabs.
Your device’s reduced-motion setting keeps each phase still. Manual controls remain available. The full written solution stays below.
Build the model
Forced equations include an input f; unforced equations impose f≡0
The latter restricts the admissible set of problems.
Work through the mathematics
An example with f≠0 lies outside the unforced subclass
Existence in a larger class does not establish existence in every smaller class.
Check the conclusion
The force hypothesis must remain attached to the conclusion
A valid theorem can answer one precisely stated version while leaving a stronger or different version outside its scope.
The result
The force hypothesis must remain attached to the conclusion
A valid theorem can answer one precisely stated version while leaving a stronger or different version outside its scope.
Common mistakes to catch
- Do not silently replace an existential force by every force.
- Regularity conditions and zero-input conditions are different hypotheses.
03 · Practice independently
Try it before revealing the answer.
Use paper or a calculator as needed. Write your units and reasoning, then open the hint or explanation to check your approach.
Practice 1
If a solution uses f=0, is it also a solution in a class allowing smooth forces?
Show a hint
Zero is a smooth force.
Reveal answer and explanation
Yes
The unforced class is included when the allowed force class contains zero.
Practice 2
Does smooth f imply f must be identically zero?
Show a hint
Compare regularity with value restrictions.
Reveal answer and explanation
No
Smoothness controls differentiability, not whether a function vanishes.
Take the idea with you
Write two theorem statements that differ only in the quantifier or restriction on their external input.
04 · Reflect and continue
Can you explain it in your own words?
Before moving on, explain the main idea without looking at the worked example. Try both practice questions, check your reasoning, and name one mistake you now know how to avoid. Return to a step if you still need support.
Up next: Distinguish finite energy from bounded amplitude
Completion is your own study record, not a test score. It stays in this browser, does not sync to another device, and can be removed by clearing browser data.