Chapter map

1. 1. Why this method makes mathematics visible
2. 2. The operator equation comes first
3. 3. What the embedding parameter does
4. 4. Choosing the initial approximation
5. 5. Constructing the teaching homotopy
6. 6. Deriving the first coefficients
7. 7. Continuing to six corrections
8. 8. Checking the square-root result
9. 9. Truncation is a mathematical decision
10. 10. Convergence and the nearest obstruction
11. 11. HPM and ordinary perturbation
12. 12. HPM and homotopy analysis
13. 13. Differential-equation applications
14. 14. Implementation without black boxes
15. 15. Common failure modes
16. 16. A student learning route
17. 17. Parent guidance and open pathways
18. 18. What a responsible report contains

Use the chapter map to move between mechanism, calculation, limitations, learning and verification. Each section keeps the method-specific claim beside the evidence needed to support it.

1. Why this method makes mathematics visible

HPM connects algebraic expansion, differential equations and numerical evidence in one continuous argument. This point becomes useful when the calculation, the evidence and the limit are kept together.

How the mathematics works

A simple operator is deformed into the nonlinear target while the unknown is expanded as u0+p u1+p squared u2 and so on. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Write the target equation before choosing the homotopy, because the same target can be embedded in more than one defensible way. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Do not describe a formal series as an exact solution until its sum or residual is controlled. Explain the method using one coefficient equation without hiding where p came from. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

2. The operator equation comes first

The method begins with an equation A(u)=f or N(u)=0, together with boundary or initial data. The strongest explanation shows the arithmetic first and then names what the arithmetic cannot establish.

How the mathematics works

Separate a part that is easy to solve from the nonlinear remainder, then construct a path whose endpoint at p=1 is the original operator. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Check the endpoint algebra explicitly: p=0 must recover the chosen simple problem and p=1 must recover the target. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

A homotopy that changes the boundary data or loses a term solves a different problem. Circle every term in the p=1 equation and match it to the target model. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

3. What the embedding parameter does

The symbol p organises successive coefficient equations and is not normally a measured property of the system. A clear notebook makes the method teachable because another reader can rebuild the same result without guessing hidden choices.

How the mathematics works

Substituting u=sum p^n u_n into the homotopy and collecting equal powers of p creates a recurrence. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Keep p symbolic until coefficients have been matched; set p=1 only when forming the truncated approximation. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Setting p=1 too early removes the bookkeeping that separates orders. Use coloured annotations to show which products contribute to p squared and p cubed. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

4. Choosing the initial approximation

The zeroth component anchors the deformation and should satisfy the simplest available data. The practical value comes from connecting symbolic structure with a check against the original equation.

How the mathematics works

A good u0 can satisfy essential boundary conditions, capture known symmetry or represent a nearby solved state. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

For the square-root teaching problem, choose u0=1 to follow the positive branch of u squared=2. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

A different initial value may select another branch or create a series with poor convergence. State what u0 preserves and test one plausible alternative. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

5. Constructing the teaching homotopy

Use (1-p)(u-1)+(p/4)(u squared-2)=0 as a transparent illustrative deformation. The calculation earns trust through reconstruction, residuals and comparison, not through the reputation of a method name.

How the mathematics works

At p=0 the equation gives u=1; at p=1 it gives one quarter of u squared-2=0, which has the same target roots. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

The factor one quarter changes the path and coefficient behaviour without changing the p=1 root equation. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

This factor is an illustrative design choice, not a physical constant and not a universal HPM prescription. Verify both endpoints before expanding any powers. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

6. Deriving the first coefficients

Insert u=1+a1p+a2p squared+a3p cubed and collect powers. Students transfer the idea more reliably when they predict the next term, compute it and test the result independently.

How the mathematics works

Solving successive coefficient equations gives a1=1/4, a2=1/8 and a3=3/64. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Each nonlinear square coefficient contains all pairs of earlier indices whose orders add correctly. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Omitting one cross-product changes every later coefficient. Expand u squared independently and compare the first three collected coefficients. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

7. Continuing to six corrections

The next coefficients in the declared homotopy are a4=1/128, a5=-3/512 and a6=-7/1024. This point becomes useful when the calculation, the evidence and the limit are kept together.

How the mathematics works

At p=1 the six-correction partial sum is 1.4169921875. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Record rational values before decimal rounding so cancellation and signs remain auditable. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Later terms need not decrease monotonically for every embedding; coefficient behaviour is part of the convergence evidence. Build a table with n, a_n, partial sum and original residual. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

8. Checking the square-root result

The positive exact root is square root 2, approximately 1.4142135624. The strongest explanation shows the arithmetic first and then names what the arithmetic cannot establish.

How the mathematics works

The six-correction absolute error is about 0.0027786251, and the original residual u squared-2 is about 0.0078668594. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

The residual and value error answer different questions and should both be labelled. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

One successful scalar example does not prove convergence for nonlinear differential equations. Recalculate the square and show how the displayed residual follows from the partial sum. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

9. Truncation is a mathematical decision

A finite HPM answer stops at an order chosen by evidence, cost or both. A clear notebook makes the method teachable because another reader can rebuild the same result without guessing hidden choices.

How the mathematics works

Compare partial sums, coefficient size and the original-equation residual as order rises. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

If the fifth order is better than the sixth for one quantity, report that behaviour rather than hiding it. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

A small latest coefficient alone can be misleading when earlier terms cancel. Choose a stopping rule before inspecting the most flattering order. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

10. Convergence and the nearest obstruction

A power series in p converges only inside its radius, which depends on singularities of the deformed solution in the complex p-plane. The practical value comes from connecting symbolic structure with a check against the original equation.

How the mathematics works

A target problem may be smooth in x while the chosen homotopy still has a limited p-series radius. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Testing p=1 therefore requires more than formal coefficient generation. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

No method name removes singularities, branch points or badly chosen deformation paths. Plot partial sums and residuals for p between zero and one before trusting the endpoint. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

11. HPM and ordinary perturbation

Classical perturbation expands in a naturally small physical parameter; HPM introduces an embedding parameter. The calculation earns trust through reconstruction, residuals and comparison, not through the reputation of a method name.

How the mathematics works

This can make series construction possible when the model has no obvious small physical quantity. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

The absence of a physical small parameter does not remove the need to justify convergence. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Calling p small during derivation and then setting p=1 is formal unless the endpoint is supported. Explain this distinction in one paragraph without claiming that one method universally replaces the other. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

12. HPM and homotopy analysis

Both approaches use a continuous deformation and a series, but HAM usually displays an auxiliary linear operator, auxiliary function and convergence-control parameter. Students transfer the idea more reliably when they predict the next term, compute it and test the result independently.

How the mathematics works

HPM formulations are often more compact and perturbation-like. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Compare the actual deformation equations rather than treating the names as interchangeable. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

A tuned factor inside an illustrative HPM homotopy should not be mislabelled as HAM’s independent h parameter. Place the two zero-order equations side by side and mark their free choices. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

13. Differential-equation applications

Published HPM work treats nonlinear oscillators and differential equations by solving coefficient problems with inherited data. This point becomes useful when the calculation, the evidence and the limit are kept together.

How the mathematics works

For an ODE, every u_n must satisfy the correct order-specific initial or boundary conditions. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

A low-order series may work near an expansion point while losing accuracy over time. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Application breadth is not evidence that one truncation is accurate for a new model. Use a known nonlinear ODE and compare with a high-accuracy numerical solution. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

14. Implementation without black boxes

Symbolic algebra can collect coefficients, while numerical code can evaluate residuals and parameter sweeps. The strongest explanation shows the arithmetic first and then names what the arithmetic cannot establish.

How the mathematics works

Store the generated coefficient equations before solving them so an indexing error can be found. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Automatic output still needs sign, boundary and branch checks. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Software agreement with itself is not independent validation. Test the code on a problem whose first coefficients and exact value are known by hand. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

15. Common failure modes

Errors often enter through an incorrect endpoint homotopy, missing nonlinear products, hidden branch selection or unsupported convergence claims. A clear notebook makes the method teachable because another reader can rebuild the same result without guessing hidden choices.

How the mathematics works

A polished curve can conceal all four failures. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

The fastest audit is to substitute the truncated sum into the original equation and inspect the residual over the intended domain. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

A pointwise residual at one location may miss failure elsewhere. Keep a failure log that states the symptom, mathematical cause and repair. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

16. A student learning route

Start with algebraic roots, then move to a first-order ODE and only later to a nonlinear boundary-value problem. The practical value comes from connecting symbolic structure with a check against the original equation.

How the mathematics works

Each stage should repeat the same cycle: define, expand, collect, solve, sum and verify. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

Prediction before computation helps the learner notice sign and order errors. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Skipping directly to software weakens transfer. Ask the student to teach the six-step cycle using the square-root example. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

17. Parent guidance and open pathways

Parents can focus on reasoning rather than the advanced name: where did the series come from, and how was it checked? The calculation earns trust through reconstruction, residuals and comparison, not through the reputation of a method name.

How the mathematics works

Calculus, algebra, sequences and coding all appear naturally in the answer. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

The topic can motivate later study in applied mathematics, engineering and scientific computing without guaranteeing a career outcome. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Interest and evidence should keep options open. Invite the learner to compare HPM with Newton iteration on the same equation. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

18. What a responsible report contains

A reproducible HPM result names the target operator, homotopy, initial approximation, coefficient recurrence, truncation and validation. Students transfer the idea more reliably when they predict the next term, compute it and test the result independently.

How the mathematics works

It also states the branch, domain, arithmetic precision and comparison method. The symbols, ordering and data must be declared before calculation so the same operations can be repeated and challenged.

A concrete calculation or interpretation

For a time-dependent model, include the tested time interval and maximum residual. Keep exact forms for as long as practical, label every approximation and separate the construction equation from the original model.

Limits, evidence and transfer

Do not use words such as exact or convergent without a matching proof or numerical bound. Finish with one supported claim and one explicit limit. A trustworthy conclusion states the tested domain, order or iteration count and names the independent check used to support it.

A practical seven-day learning plan

• Day 1: Copy the operator equation, variables, data and target claim in your own words.
• Day 2: Rebuild the first two construction steps without software and check every sign.
• Day 3: Complete the worked numerical checkpoint with exact fractions before decimals.
• Day 4: Substitute the partial result into the original equation and graph the residual.
• Day 5: Change one start, order, interval or tolerance and explain the difference.
• Day 6: Compare one related method using the same model, domain and error measure.
• Day 7: Present one supported conclusion, one limitation and one next experiment.

This plan builds problem-solving skills because the learner moves repeatedly between definition, arithmetic, evidence and communication. Parents can ask for the notebook rather than a perfect-looking final graph, while students learn that a correction is useful when its effect can be measured.

Frequently asked questions

What is the homotopy perturbation method?

It embeds a target problem in a homotopy, expands the unknown in the embedding parameter and solves coefficient equations successively.

Is the embedding parameter physical?

Usually no. It is a construction variable that is set to one after the series is formed.

Does HPM always converge?

No. A formal coefficient sequence needs residual, truncation and convergence evidence for the stated problem and interval.

How does HPM differ from HAM?

HAM introduces explicit auxiliary operators and a convergence-control parameter; HPM is commonly presented through a perturbation-style homotopy without that independent control parameter.

Why check the original equation?

The coefficient equations belong to the construction; the original residual shows how well the truncated sum solves the target problem.

What should a student report?

The homotopy, initial approximation, coefficient equations, truncation order, residual, comparison value and limits.

Primary source and current Singapore context

J.-H. He, “Homotopy Perturbation Technique,” Computer Methods in Applied Mechanics and Engineering 178, 1999, 257–262.

The source supports the method’s definition and research context. The worked calculations in this article are original teaching examples and are checked directly against their stated equations.

For current Singapore terminology, the official SEAB Secondary Education Certificate page states that the SEC begins with the 2027 graduating cohort and reports subjects at G1, G2 and G3 levels. This article does not claim that the named numerical method is an SEC syllabus requirement. It presents a pathway from school algebra and calculus toward later mathematical sciences.

• SEAB: https://www.seab.gov.sg/secondary-education-certificate-sec/
• NTU Mathematics course information: https://www.ntu.edu.sg/spms/about-us/mathematics/undergrad/course-info
• NUS Applied and Computational Mathematics research: https://www.math.nus.edu.sg/research/research-overview/research-in-applied-computational-mathematics/