For , the method of multiple scales gives no first-order phase drift. If is odd, the amplitude obeys the displayed damping law with . If is even, the average is zero and the amplitude is unchanged on the first slow time . The odd case dissipates mechanical energy, whereas the even case is reversible and its force is not damping of both velocity signs.
For a weak force depending only on position, the amplitude average is a periodic total derivative and vanishes. The leading harmonic amplitude is constant, while the phase may drift. The method of multiple scales agrees with the exact conservation of energy for bounded orbits in the effective potential. A cubic position force on the right side of the oscillator equation lowers the frequency at first order when its coefficient is positive.
Internal-wave envelope radiation condition 2026-10-14
For a slowly switched-on plane internal gravity wave in the half-space , the method of multiple scales gives transport of its amplitude at the vertical group velocity. For , . Initially undisturbed fluid and forcing at the bottom require . The outgoing radiation condition therefore selects when , although the vertical phase velocity is downward.
Oscillator coupled to slow damping feedback 2026-10-14
For and , the method of multiple scales gives the displayed amplitude-phase equations, together with constant leading phase. For , is constant and changes exponentially. For and positive amplitude, the integrable phase average is . Thus obeys with . The identically zero oscillator is inadmissible for logarithmic feedback, whose force is undefined there.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 50 3 a Solution Created 2026-10-03 Updated 2026-10-14
A singular perturbation is one for which setting the parameter to zero does not give a regular approximation uniformly over the region of interest. The limiting equation may lose a derivative or boundary condition, or a formally small correction may accumulate over a long time. Here the last mechanism occurs.
At fixed , substitute a regular asymptotic expansion. The leading equations and initial conditions give and . At first order,with zero initial corrections. ThereforeThe secular terms become comparable with the leading terms at . The fixed-time expansion is not uniform on the slow relaxation time.
Introduce through the method of multiple scales, and write , . Average the second equation over the rapid oscillation. Since the sine has zero mean, , where the prime now denotes . With , .
In the oscillator equation, is of order . The order- resonant cosine forcing is . A bounded first correction requires its coefficient to vanish, soIntegration gives the slow oscillator damping by a relaxing auxiliary variable:Hence the uniform leading solution isTo check the uniform ordering, the instantaneous sine forcing in the auxiliary equation is absorbed by a bounded first correction , plus a bounded slow correction chosen to match the initial data. The resonant first-order oscillator forcing has already been removed. Remaining order- terms accumulate by at most over for fixed . The slow coefficients stay bounded on this interval, and variation of constants for the oscillator and the auxiliary first-order equation gives the displayed uniform errors. Expanding the amplitude near gives , recovering the secular term of the failed regular expansion.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 58 4 Solution Created 2026-10-03 Updated 2026-10-14
Near a spatially extended Hopf bifurcation, a critical oscillatory normal mode has a slowly varying complex amplitude. For a selected travelling-wave branch, a method of multiple scales expansion takes the formHere the distance from onset is of order , is the critical eigenvector, and is the group velocity. The comoving coordinate removes the first spatial derivative of the envelope. Projection at the first resonant order gives . Spatial translation and the temporal phase of the Hopf oscillation give a constant-phase symmetry , which permits the cubic term but forbids a generic term. The coefficients are complex because the envelope has both growth and frequency detuning. For a supercritical branch with positive real diffusion, real rescalings and a uniform phase rotation give the complex Ginzburg–Landau equationA subcritical Hopf branch requires higher saturation terms instead. If spatial reflection makes opposite travelling waves critical together, two coupled amplitude equations are required initially; the scalar equation applies to a selected single-wave branch when its competing amplitude is stable.
Distant boundaries can still determine which travelling pattern is observed. They can select its phase and wavenumber, reflect a travelling disturbance, inject a competing wave, or let a growing wave packet leave the domain. In particular, amplification in a comoving frame can be convective wave-packet instability rather than absolute wave-packet instability at a fixed laboratory point. A finite-domain outcome then need not reflect intrinsic bulk modulation dynamics. Periodic boundary conditions are the appropriate idealization when studying bulk instabilities without end selection or reflected-wave forcing: they eliminate physical end layers and make the allowed envelope Fourier modes discrete. They do not assert that real distant boundaries are always negligible. Choose a periodic length compatible with the carrier, fix the phase winding, and compare perturbations within that same periodic problem. On an open physical domain the group velocity and actual boundary conditions must be restored.
The optimum carrier wavenumber corresponds to the spatially uniform envelope , often called a flat state. Its phase is arbitrary. Write with real small amplitude and phase disturbances. To first order,A Fourier mode therefore has matrix and dispersion relationThe trace is negative. The amplitude mode at has eigenvalue , while the phase mode is neutral because constant phase shifts preserve the solution. Put . For every nonzero real , the determinant is positive if , whereas makes it negative for . ThusThis is the Benjamin-Feir stability condition. At , nonzero modes still decay, but the leading long-wave decay is fourth order rather than diffusive. On a periodic envelope interval of length , the smallest nonzero wavenumber is , so strict stability of all allowed nonzero modes requiresA sufficiently short periodic domain can therefore exclude the unstable band even when the infinite-domain Benjamin-Feir stability condition fails.
The amplitude is damped while the phase is slow. For a slowly varying phase, the leading slaved amplitude is . Substitution in the phase equation gives the diffusion term and the nonlinear frequency shift . The latter also follows directly from a constant phase gradient: an envelope with gradient has amplitude squared and frequency . Constant phase symmetry rules out undifferentiated ; translation invariance gives constant coefficients. The leading comoving Ginzburg-Landau equation also has spatial parity, so odd linear derivatives are absent at this order. Its neutral phase eigenvalue expands asThis coefficient follows by inserting a power series for in the quadratic dispersion relation. Close to , it becomes at leading order. The long-wave phase reduction of the complex Ginzburg-Landau equation is consequentlyThe fourth derivative regularizes negative phase diffusion. Terms omitted here have higher order in the long-wave expansion. First-order advection has been removed by the group-velocity frame; higher odd derivatives in a more general travelling-wave problem are beyond this leading amplitude approximation.
Take with small. At the instability boundary , so is nonzero. Set , , and . At leading order the phase dynamics become the potential Kuramoto-Sivashinsky equation,With this isThe variable is a phase-gradient disturbance, not the original physical field. Periodicity of the phase fixes for the zero-winding branch; the Kuramoto-Sivashinsky equation conserves this mean. The scaled period is .
At fixed period , the flat phase has growth rates , . Its first loss of stability occurs at . To find what replaces it, put and consider just above . After choosing an origin by translation, expand a small steady modulation as . Projection of onto the first two harmonics yieldsSince at onset, this harmonic is slaved to . The fundamental amplitude obeysThe primary periodic bifurcation of the Kuramoto-Sivashinsky equation is therefore supercritical. For ,The radial eigenvalue of this nonzero branch is ; all higher harmonics remain damped and the modulation's spatial phase is neutral. Thus the small finite-amplitude modulation is stable in the sense of orbital stability, at fixed mean and fixed period, despite the flat state's instability. The two signs of represent translations of the same modulation. In the potential formulation the spatial mean of advances at : the original wave acquires a nonlinear frequency correction rather than requiring a time-independent absolute phase.
For larger , further linear modes become active and the small-amplitude argument no longer determines stability. A periodic modulation must then be tested with the operator on mean-zero periodic disturbances. Its translation mode is always neutral, and secondary oscillatory or more complicated modulation can occur. Moreover, stability against perturbations of the same period does not prove stability against disturbances of a larger period; those require a separate sideband or Floquet theory calculation. The controlled conclusion near the first threshold is the existence of a stable small modulation family, not universal stability of all periodic Kuramoto-Sivashinsky solutions.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 60 4 Solution Created 2026-10-03 Updated 2026-10-14
For a stationary finite-wavenumber instability, the relevant Landau–Ginzburg model is the real Ginzburg–Landau equation: its coefficients are real although its pattern amplitude is complex. The complex amplitude records both the strength and the position of the underlying pattern. Assume a simple critical pair of Fourier modes , a quadratic nondegenerate maximum of the linear growth rate, and no additional conserved or marginal mode. The last assumption is essential: the conserved field in the previous problem requires an additional evolution equation.
To derive the model, write a real evolution equation schematically as , with symmetric multilinear nonlinearities. Put , , and use the method of multiple scales expansionHere . At the next order the noncritical mean and second harmonic are slaved to the critical mode:where and . These inverses exist under the no-other-critical-mode hypothesis. Let be an adjoint null vector normalized by . At order , the Fredholm solvability condition requires the resonant forcing to be orthogonal to . The cubic resonant contribution isThis shows why the cubic coefficient includes feedback from slaved harmonics as well as any original cubic nonlinearity. The resulting amplitude equation, after naming its linear control coefficient , isHere is the critical linear dispersion relation for growth. The condition gives a supercritical bifurcation; calls for higher-order saturation, for example the quintic real Ginzburg-Landau equation.
A concrete check is the cubic Swift–Hohenberg equation . With , its linear operator contributes at resonant order, while the cubic resonance is . Hence . This directly realizes the perturbation-theory coefficients above.
Symmetry independently constrains the form. A fast spatial translation rotates by a constant phase, so every nondifferential monomial must transform like . The leading allowed nonlinear term is , and a quadratic term is forbidden. A spatial reflection maps to ; it makes the leading coefficients real and rules out a drift term in a reflection-symmetric rest frame. The vanishing first derivative of the linear growth rate at is consistent with the absence of a leading first spatial derivative. These arguments constrain terms but do not calculate or replace the solvability calculation. Breaking reflection or studying an oscillatory instability generally leads to the complex Ginzburg–Landau equation with genuinely complex coefficients.
The principal steady solutions are the zero state and the Ginzburg-Landau plane wavesTheir physical carrier wavenumber is . For the constant phase is arbitrary, giving a circle of uniform-amplitude states. The zero state has Fourier growth rate and is stable for . For , each existing plane wave is stable to spatially homogeneous amplitude perturbations, with radial eigenvalue , and neutral to a constant phase shift.
Steady modulated states are also possible. Writing gives the conserved spatial phase current andIts first integral is . Boundary conditions select nonuniform periodic amplitudes, fronts or defects from this spatial dynamics. In the invariant real subspace, for example,is a steady kink joining opposite real states. It is not stable in the unrestricted complex equation: the imaginary perturbation has eigenvalue under . This illustrates why a real-amplitude calculation can miss a phase instability. With real coefficients the Lyapunov functionalsatisfies and under compatible boundary conditions. It supplies a variational structure absent from a generic complex-coefficient model.
To test full linear stability of a plane wave, set with real perturbations . Let . The linear equations areFor perturbation wavenumber , the sideband spectrum of a real Ginzburg-Landau plane wave isThe phase branch at small isTherefore the robust stable band on the infinite line is , narrower than the existence band . Crossing its boundary gives the longitudinal Eckhaus instability. At the boundary the quadratic phase-diffusion coefficient vanishes and the leading nonzero term is negative of order . More exactly, a nonzero sideband grows only when ; a finite periodic domain for the wave envelope may exclude that interval. Constant-amplitude stability is understood modulo its neutral global phase, and the allowed perturbation wavenumbers must always be specified.
In a second spatial dimension, an anisotropic medium that selects one roll orientation permits an equation with . For positive coefficients its plane-wave analysis is similar, with the second-dimensional contribution adding damping. But simply replacing by an isotropic Laplacian is not a faithful extension for rotationally invariant stationary rolls. There the critical wavevectors form a circle. Near ,This forces the anisotropic transverse scaling of an isotropic roll envelope: , , . For the positive carrier convention used here the Newell–Whitehead–Segel equation isThe opposite fast-carrier convention reverses the accompanying imaginary sign and detuning convention. For a transverse phase perturbation of our convention gives . Thus permits the transverse zigzag instability, in addition to the longitudinal Eckhaus instability. The fourth transverse derivative and mixed derivative in the square encode the critical-circle geometry.
One complex amplitude still describes only a narrow cone of nearby roll orientations. Competing well-separated wavevectors require coupled amplitude equations; resonant triples can admit quadratic interactions and produce the hexagonal convection amplitude equations when the underlying sign symmetry allows them. Strong disorder, defect cores with large gradients, far-from-onset patterns, boundaries, mean flows and conserved fields may all lie outside the single-amplitude approximation. The method of multiple scales gives controlled leading behavior for small amplitudes and slow modulations, rather than a universal model of all two-dimensional pattern selection.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 76 4 a i Solution Created 2026-10-03 Updated 2026-10-14
Put and use the method of multiple scales with . At leading order, , so write with , . The order- equation isUsing , its fundamental sine coefficient is , and its fundamental cosine coefficient forces . Removing these resonant forcings is the solvability condition in the method of multiple scales. Thus the shifted Van der Pol amplitude evolution isWith and , solve by putting . This givesThe uniformly valid leading approximation is on bounded slow-time intervals for which remains bounded. The exact initial derivative is recovered by the first-order correction; the displayed leading expression already satisfies the leading initial data.
There is an important limitation to the source's unqualified time-range wording. Starting from , the amplitude decays for , is constant at leading order for , and grows for . In the latter case the denominator vanishes atA bounded-amplitude multiple-scale expansion is uniform for , not through its predicted large-amplitude breakdown. For the decaying case every fixed bounded slow-time interval is available; the leading unstable equilibrium at also has bounded amplitude over such intervals. The envelope singularity is a breakdown warning, not a proof that the exact original solution has precisely this blow-up time. The coefficient in the PDF is , correcting the converted TeX's duplicated .
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 79 4 a i Solution Created 2026-10-03 Updated 2026-10-14
Use the method of multiple scales, , and write , . At first order,Removing the fundamental secular terms gives the averaged amplitude for position-dependent damping:where the brackets mean a full-period average. The initial conditions set and at leading order. For quadratic damping, and , givingThus the Van der Pol amplitude evolution yieldsThe leading amplitude approaches the stable value two. The small initial-velocity discrepancy introduced by the slow amplitude derivative is removed by the first-order correction and does not affect this leading approximation.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 82 3 a Solution Created 2026-10-03 Updated 2026-10-14
Introduce , , and write . The method of multiple scales gives . At order , the resonant forcing is , because multiplication by generates only a constant and second harmonics. The solvability condition in the method of multiple scales therefore gives . A nonresonant particular correction isAt order , the forcing is . Its coefficient is . Removing this secular term givesPut , so . The slow amplitudes for the second Mathieu instability tongue satisfyThe initial conditions here are at leading order; a homogeneous correction makes the original data exact without changing . For example its initial cosine coefficient is in the chosen gauge. The slow squared growth rate is . Thus the robust leading stable ranges areSet in those ranges. The required explicit leading solution isThe remainder is uniform for , with fixed and fixed away from a changing instability edge. Inside , put ; replace the slow cosine and by and . The initial data excite this growing solution, so the leading solution is unstable.
At the leading endpoints the slow matrix is degenerate. Its continuous limits give at , and for these particular initial data at ; generic initial phases at the latter endpoint have slow algebraic growth. These are leading, not exact, instability edges. To specify the exact small- endpoint status, put , so the Mathieu equation has characteristic parameter and coupling . In the orthonormal cosine basis , the matrix has diagonal and adjacent couplings ; in the sine basis , the diagonal is and adjacent couplings are . Expanding the roots near of their determinants yieldsThese truncations determine the displayed orders because reaching the next omitted mode and returning requires at least six coupling steps. The fourth-order edges of the second Mathieu instability tongue are thereforeFloquet theory gives the unstable gap near this resonance. In particular, both fixed values and lie outside the exact gap for sufficiently small nonzero . Their fixed- solutions are bounded, although the leading slow matrix alone does not show this and the amplification bound is not uniform as .
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 68 1 Solution Created 2026-10-03 Updated 2026-10-14
Use the method of multiple scales, treating and as independent variables, so differentiation becomes . Write and average over a fast period , with . The fluctuations can depend slowly on as well as periodically on . The balance in the poloidal magnetic field potential equation isIntegrating and imposing zero fast average determinesAt order one, the toroidal magnetic field equation is . Its average and fluctuating parts give, respectively,Consequently the zero-average fluctuation isThe order-one averaged poloidal magnetic field potential equation retains the correlation between the fluctuating alpha effect and the fluctuating toroidal magnetic field. Although alpha has zero average, its product with the magnetic fluctuation does not:Thus the rapidly fluctuating alpha effect produces the leading averaged equationsA higher-order zero-average correction to accommodates the remaining fast order-one terms; it does not alter this leading averaged balance. These equations describe the small- limit, rather than an exact finite- identity.
For a Fourier mode, let and put . Then and . Their determinant gives the dispersion relationHere , so both growth rates are real. For a prescribed nonzero wavenumber, growth requires . If real wavenumbers can be chosen freely, the largest growth rate occurs at and is . Hence growing averaged modes exist precisely whenA bounded or periodic spatial domain instead requires an admissible wavenumber satisfying the preceding mode-by-mode inequality.
The physical feedback differs from an ordinary Parker dynamo wave. A constant alpha effect couples directly into , while the Omega effect differentiates once, producing the factor responsible for an oscillatory phase. Here the fast alpha effect first creates a potential fluctuation in temporal quadrature; shear creates a magnetic fluctuation correlated with alpha. The averaged feedback is consequently proportional to . Combining its spatial derivative with the derivative in the Omega effect gives the real positive factor . In fact . The resulting growing fields have fixed spatial phase, so the leading averaged pattern grows without travelling. Fast within-period oscillations of the original fields remain present.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 79 2 Solution 2026-10-14
The linear damped harmonic oscillator has characteristic exponents . Imposing both initial conditions gives, for ,For completeness, at its continuous limiting form is ; for replace by . The initial derivative is one, as the original PDF specifies; the converted TeX loses this derivative and corrupts the time derivatives in both oscillator equations.
The separate nonlinear oscillator has quadratic drag. Introduce the slow time and use the method of multiple scales,The order- equation isFor positive amplitude, write . Its right side is . The cosine coefficient of the last angular function iswhile its sine coefficient is zero. The solvability condition in the method of multiple scales removes the resonant harmonics, givingThe leading initial conditions select , . Therefore the quadratically damped oscillator hasThe same sign follows from the exact energy balance . Averaging gives , consistent with the amplitude equation.
For , the amplitude decays algebraically and stays at most one. On each fixed interval , the omitted displacement correction is , so this approximation is valid through times of order . The effective drag strength decreases rather than increases, and the envelope predicts at later times. There is no finite-time pole in the positive-drag approximation. A uniform error assertion for arbitrarily long intervals is stronger than the finite-slow-time expansion just derived; the stated estimate applies to the specified range.
For , write . The amplitude grows as , with a formal pole atOn fixed slow-time intervals strictly before that pole, the displacement error remains . This estimate is not uniform as : nonresonant corrections have size comparable to , and the required weak-drag condition is . Thus the approximation necessarily fails when , corresponding to a distance of order one in fast time from the formal pole, and may require additional error control when approaching it. The plot therefore stops short of the pole. Its position is a prediction of the leading amplitude equation, not an exact blow-up time for the original nonlinear equation; continuing the formula past it is invalid.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 81 1 Solution Created 2026-10-03 Updated 2026-10-14
In the Boussinesq approximation, replace density by a constant reference density in inertia and incompressible flow, retaining the small density departure only in the gravitational force. Write and subtract the resting hydrostatic pressure. The upward buoyancy perturbation acceleration and squared buoyancy frequency areThus stable density stratification has . Let henceforth denote the pressure anomaly divided by . The ideal, nonrotating Boussinesq equations areThe buoyancy equation follows by materially conserving the total buoyancy , where ; it does not assume constant .
For an -periodic flow of period , define . An infinite-domain average with vanishing end contributions works as well. The necessary pressure condition is no mean zonal pressure gradient, : periodic pressure satisfies it, whereas a pressure containing a term proportional to does not. Use incompressible flow to write the zonal momentum equation in conservative form,Averaging its zonal derivative terms yields the exact Reynolds stress relation
For two-dimensional small disturbances about rest, the Linearized Boussinesq equations are , , , and . Differentiate the two momentum equations to eliminate pressure: . Differentiating in and using gives . One further time derivative givesThe equation remains valid for . No vertical derivative of was taken: .
For constant and , a plane internal gravity wave hasBoth signs give the prescribed lower-boundary velocity. The radiation condition excludes energy arriving from infinity. At positive frequency, the vertical group velocity isFor a source below the fluid, energy must propagate upward, so the outgoing solution has , even though its vertical phase velocity is downward.
To obtain this selection causally, let and , and replace the constant amplitude by . The method of multiple scales treats as independent during differentiation: the carrier derivatives hold fixed, while holds fixed and holds fixed. Only after differentiating do we restrict to , . Acting on the complex wave, the operators becomeWith , the wave equation has residualThe zeroth-order term is the dispersion relation; the first-order term vanishes precisely whenIf is the switched-on boundary amplitude, with for , the outgoing envelope is for . Its characteristics carry the boundary signal into initially undisturbed fluid. If , characteristics instead arrive from the upper half-space; zero initial disturbances and no incoming signal cannot establish the proposed boundary-forced wavetrain. This is the internal-wave envelope radiation condition.
The leading incompressible flow polarization gives . Hence, to second order in amplitude and leading order in the slow modulation,There is no meridional transport here. Envelope transport gives , so an initially vanishing mean develops asThese are the leading expressions for internal-wave momentum deposition; higher slow-modulation corrections to the stress are beyond the displayed approximation. In particular, a spatially uniform fully established wavetrain has zero stress divergence, but the front has already produced its mean flow.
The mean wave energy density per unit mass follows from :Thus . In the original frame the mean kinetic energy is . In a frame translating at , the undisturbed velocity is , and the change in mean kinetic energy is . Indeed at this order behind the front. Mean-flow energy is therefore essential at the same order as wave energy in the translating frame. This follows also from the frame transformation of energy, up to the fixed background constant, and is why conservation of momentum cannot be omitted from the moving-frame conservation of energy budget.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 82 2 i Solution Created 2026-10-03 Updated 2026-10-14
Set and use the method of multiple scales:Since , the first correction satisfiesThe resonant cosine and sine coefficients must vanish to avoid secular terms. Using the product-to-sum formulas givesThe remaining forcing has frequency and permits the bounded particular correction . The two slow amplitudes carry the two arbitrary constants of the original equation.
For an explicit general leading solution, putThe matrix exponential givesThe error is uniform on bounded intervals of , for bounded initial data. When is imaginary this expression uses ordinary sine and cosine; at its continuous limit is .
The primary instability tongue of a weak Mathieu oscillator has a positive slow eigenvalue precisely whenThese are the leading edges, rather than an exact finite- interval. At the leading endpoints the amplitude matrix is a nilpotent matrix, so the leading solution can grow linearly in and does not decide the exact exponential instability. For completeness, set . The periodic or antiperiodic edge calculation uses a pure cosine when and a pure sine when , with the third-harmonic correction just found. The next resonant coefficient is , soThus the exact growing interval is between these shifted edges. In particular, for positive small the fixed leading value lies just inside it, whereas lies just outside. Interior detunings bounded away from the edges are already resolved by the leading method of multiple scales.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 82 2 Solution 2026-10-14
The method of multiple scales applies when a small perturbation acts cumulatively over a long time, as in weakly perturbed harmonic oscillators or slowly modulated waves. A regular asymptotic expansion can contain secular terms, such as , which cease to be small on the time scale of interest. Introduce independent fast and slow times, for example and , and allow the leading amplitude and phase to depend on . The solvability condition in the method of multiple scales removes resonant forcing at each order and determines that slow evolution. For the Mathieu equation, these amplitude equations reveal parametric resonance and its instability intervals.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 76 2 ii Solution Created 2026-10-03 Updated 2026-10-14
For the oscillator coupled to slow damping feedback, expand , alongside the method of multiple scales oscillator expansion. The leading equation makes independent of fast time. The oscillator force evaluated on is . The amplitude-phase equations therefore giveThe next equation for the damping variable isA bounded periodic exists only when the mean of its right side vanishes. Thus the full leading averaged system isSet , , and . These specify the arbitrary leading initial conditions.
For , the phase average is zero. ConsequentlyThus and . Positive damps the oscillator, negative amplifies it, and zero leaves the leading amplitude unchanged. The fast correction plus an initial-matching constant confirms that can oscillate slightly even though is constant. For , the exact solution is , .
For the logarithmic feedback, assume . Its phase singularities are integrable, and the supplied integral givesWriting turns the nonlinear amplitude-phase equations into the linear pairso . With ,The first integral provides a direct check, and the amplitude remains positive on every finite slow time interval. At the retained averaged order, the physical approximation is , .
The logarithmic case needs an interpretation at oscillator zeros. The original right side is undefined at , so a globally classical solution through each crossing, or a solution from , cannot be asserted. At a transverse crossing, is locally integrable; can be interpreted as absolutely continuous, with its equation holding away from the crossings and almost everywhere. In that integrable interpretation the displayed averaged formulas apply formally for nonzero leading amplitude. The standard smooth-forcing averaging theorem cannot be invoked without addressing this singularity. The phrase arbitrary initial conditions must exclude the identically zero state for this logarithmic problem.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 76 2 i Solution Created 2026-10-03 Updated 2026-10-14
Apply the method of multiple scales with independent fast time and slow time , and write . The chain rule gives . At leading order,At first order,A forcing component at the natural frequency produces a secular term in . Thus the solvability condition in the method of multiple scales is orthogonality to both and . Define the fast-phase average, holding fixed, bySince and , the amplitude-phase equations areThey are leading averaged equations, not exact equations for a purely sinusoidal solution of a general nonlinear oscillator.
For the cubic conservative force, , odd symmetry gives , while . HenceIf and , leading initial matching givesand thereforeon bounded slow time intervals for fixed bounded initial data. The positive frequency shift agrees with the increased restoring force of . The zero initial state is the exact zero solution, with irrelevant phase. If a first waveform correction is desired, the remaining first-order forcing is , so plus a homogeneous correction chosen to match the initial data at the next order. This exhibits explicitly why the leading harmonic ansatz is approximate.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 77 4 Solution Created 2026-10-03 Updated 2026-10-14
Assume , so a finite nonzero critical wavenumber exists. The linear growth rate of a Fourier mode is . Maximizing over and setting that maximum to zero givesSet . The resonant three-wave triad has wavevectors satisfy and for . With the slow time and amplitude scaling, every growth, quadratic and cubic term first enters at order . Projection onto each critical mode removes the nonresonant correction by the method of multiple scales solvability condition.
The parameter displacement contributes to the first mode. For the quadratic term, use . The resonant coefficient of at is , so its contribution is .
For the cubic gradient term, an ordered triple of modes with wavevectors summing to contributes times its amplitude product. The three self-interaction permutations yield . The six permutations of yield , and likewise for the third mode. Therefore the hexagonal convection amplitude equations areFor a nonzero convection roll, and , requiring . Choose its phase so . The radial perturbation decays, but a perturbation in the two other orientations givesThe eigenvalues are . ThusThis is roll instability from broken up-down symmetry. A growing homogeneous amplitude perturbation already proves instability, without a sideband calculation. The source's slightly asymmetric setting means nonzero quadratic coupling. If is allowed literally, the displayed leading equations instead have a continuous sphere of constant-total-intensity states and neutral orientation perturbations. They then establish marginality, not strict growing-mode instability; higher-order effects would decide further selection. Likewise would invalidate the assumed finite- triad scaling.
