The exponential function definitions of the hyperbolic functions and Euler's formula giveDividing these identities wherever gives . The two undivided identities hold for every complex number ; the quotient identity excludes its poles.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2006 Paper 1 12 a Solution Created 2026-10-18 Updated 2026-10-20
For Laplace's equation, seek a nonzero separated product . Dividing by gives , so both sides are a separation constant. Choosing it as gives , , with trigonometric and hyperbolic functions, respectively. A zero constant gives linear factors; a positive constant interchanges the two types. Boundary conditions determine which modes are allowed, and linearity permits their superposition to match the remaining boundary data.
Write , where . Because this hyperbolic function has strictly positive derivative , stationary points under an increasing outer function have the same positions and types for and . For ,The first equation requires or . If , the second gives . If , it gives . These are all the nonzero stationary points. At the origin, , so its gradient is ; the origin is not stationary.
At the Hessian matrix of is , and at it is . At and its Hessian matrices are respectively and . ThereforeThe extrema are local: is unbounded above and below on the full plane.
For the level curve geometry, a level is . In particular, the zero level curve is the union of the entire axis and the circle , crossing at the two saddle points. Inside the circle, above the axis and below it; outside, these signs reverse. Levels between and zero have closed loops around the upper minimum as well as unbounded lower-half-plane components. Reflection across the axis reverses the sign and gives the loops about the lower maximum. At the two extremal heights, the corresponding closed loop shrinks to its extremum. These features determine the sketch.
For , the exponential definitions of the hyperbolic functions give and . Taking reciprocals of these positive quantities proves . Also for , so division by the positive gives . Combining,
The hyperbolic functions identity eliminates from the parametric curve:The restriction is essential: , so the parametrization traces only the right branch of the full hyperbola. Conversely, every point on that right branch is reached by taking .
For a real number , the hyperbolic functions satisfy and . Hence , and multiplying it by givesThe sign of the numerator preserves the sign of .
The two orthogonal directions and are preserved by this symmetric matrix. Direct multiplication, using the hyperbolic function identities , gives the eigenvalue–eigenvector pairsEach eigenvector can be multiplied by any nonzero scalar. For these give the two one-dimensional eigenspaces. When , the matrix is the identity: the only eigenvalue is , with multiplicity two, and every nonzero vector is an eigenvector.
Let be the even Fourier coefficient of the initial displacement, with the normalization . Writing givesZero initial velocity requires the real modal time factorOne consistent choice in the question's complex representation is thereforeFor real , ; the real-part notation otherwise makes the complex coefficients nonunique. For imaginary , the same formula is interpreted using hyperbolic functions. Its limit at is .
For at fixed mode number,which can be substituted into above. The profile specified at is actually nonzero at . Thus for finite it cannot be the initial data of a solution continuous at the initial endpoint corners with fixed endpoints. The Fourier series reproduces it in the open interval, with zero endpoint values; it is an L2 space initial-data interpretation. The assumption makes this compatibility error exponentially small, rather than exactly zero.
Use separation of variables, , and divide by where nonzero. A real separation constant givesso and . Normalizing the second factor to one at zero givesThe spatial ordinary differential equation has three types of real solution:Products are the separated eigenfunctions. The negative, zero and positive separation constants give trigonometric, linear and hyperbolic function forms respectively. There is no discrete quantization until boundary conditions on are supplied. Since is bounded, the envelope of decays for , grows for , and is bounded and periodic for . The scalar prefactor can also be derived by removing a variable scalar reaction rate by an integrating factor.
When are real, and are real. The two opposite circular polarizations retain their wave phases but are attenuated at different wave amplitude rates. This circular dichroism changes the ellipticity without rotating the principal axis of the ellipse.
For input , the corrected Jones matrix givesThe common factor describes the mea wave amplitude attenuation. The factor reflects the sum of the two transmitted modal wave amplitudes; fixes their imbalance and hence the signed ellipticity. The real field has components proportional to and , soThe ellipse's principal axis stays along the original input direction. For large differential optical depth it approaches the less attenuated circular eigenmode. A passive medium has , or , so the growing hyperbolic function factor does not imply net optical gain. Using the printed prefactor would give a spurious extra attenuation inconsistent with the modal laws.
For overdamping, . Put . Both characteristic roots are negative real numbers. Replacing trigonometric functions by hyperbolic functions gives the exact trajectoryIt starts from with tangent , bends anticlockwise toward the origin, and approaches it without repeated revolutions. The right panel gives a representative choice ; the paper does not specify one particular value of in this regime.
One can make the qualitative shape precise. In radial and tangential directions relative to the initial radius, the angle turned from the starting direction obeysFor , both coordinates stay positive, and the approach is along the fixed ray with . The initial velocity is tangential, so an immediately straight radial return would be incorrect. The absence of oscillatory characteristic roots prevents repeated revolutions. This is a non-spiralling overdamped central oscillator trajectory.
Past exam of the quantum field theory course of the University of Oxford 2019 3 e Solution 2026-10-25
A continuous Lorentz transformation in one spatial dimension must preserve . In the component connected to the identity, take the image of the time axis to have velocity , with , and write . Preservation of the Minkowski norm gives , so . The spacelike column must be orthogonal to the timelike column and have squared Minkowski norm ; continuity fixes it to . ThusHere denotes the coordinate pair. This is the positive off-diagonal convention in the source; describing a passive frame moving at instead reverses the sign of .
Define the rapidity . The hyperbolic function identities giveIn light-cone coordinates, and . Therefore the derivatives transform oppositely:Use the field-transformation convention . The component action in c is invariant underIndeed, the right-component kinetic term gains , and the left-component kinetic term gains . The two factors in each Dirac mass term cancel as well. Finally , so and the whole action is unchanged. These are the chiral boost weights in two spacetime dimensions.
In spinor notation, satisfies and , so . These identities directly verify covariance of the Dirac equation and the Lorentz invariance of its action. The matrices are not unitary with respect to the ordinary component norm; the Dirac adjoint supplies the invariant bilinear.
The statement about there being only Lorentz boosts applies to the identity component of the One-dimensional Lorentz group. The full Lorentz group also has discrete transformations: the concrete spatial reflection preserves the Minkowski metric but has determinant , so it cannot equal any displayed , whose determinant is .
Put . The change of measure and part (a)(iii) yieldFor a centered normal random variable of variance , a Gaussian integral gives the Gaussian quadratic exponential momentHere and for finite positive , so the required positivity holds, including when . ThusExpanding the two exponentials in terms of hyperbolic functions givesAt this is one. As , the denominator tends to , recovering part (a)(i). At it gives the Laplace transform of the integrated square of Brownian motion. The joint terminal-and-integral transform is the Joint Laplace transform of Brownian square and its time integral.
