In mode locking, fixed relative phases between many longitudinal normal modes produce constructive interference during a short part of each optical resonator round trip. The round-trip time sets the repetition period. The available coherent gain bandwidth, the number of locked normal modes, the spectral phase, and residual group velocity dispersion determine the optical pulse duration.
For consecutive equally weighted normal modes of angular frequency spacing , their wave amplitude sum is proportional to
Its central peak has width of order , while its repetition period is . A transform-limited pulse therefore becomes shorter as more coherent gain bandwidth is used. This mechanism can give picosecond or femtosecond optical pulses: it does not require depletion of the whole stored population inversion during each peak, as Q-switching does. Mode locking generally accesses a much shorter time-bandwidth product scale than the gain-discharge time of Q-switching.
Use the complex electric field convention and take the locked wave amplitudes to be real and nonnegative after extracting their common phase. Linear superposition gives
The leading factor has unit modulus, so it does not change the light intensity. The triangle inequality bounds the remaining modulus by . Consecutive occupied normal modes attain this bound together at
There is also a peak at . The electric field obeys , although the light intensity is periodic.
The carrier-envelope phase specifies where the carrier oscillation lies relative to the maximum of an optical pulse's envelope. With and , the signed complex-field phase at the envelope maximum is . Consequently,
If instead the real electric field is written , then and the conventionally quoted slip is . These are the same physical shift with opposite phase definitions.
The carrier-envelope phase matters for few-cycle optical pulses, when the largest instantaneous electric field affects strong-field dynamics, for high harmonic generation, and for stabilizing an optical frequency comb. An ordinary cycle-averaged light intensity measurement does not determine it.
Let be kinematic pressure, with the resting hydrostatic part subtracted, and let be the buoyancy perturbation about background buoyancy . The nonrotating inviscid Boussinesq equations, with no buoyancy diffusion, are
Here the third equation is mass conservation for incompressible flow, and the last expresses buoyancy conservation following a parcel. Linearization about rest removes the products of disturbances. For a plane internal gravity wave proportional to , the resulting Linearized Boussinesq equations become
With and , the first and third equations give . Substitution in vertical momentum and buoyancy gives the dispersion relation
Since the velocity is the time derivative of the displacement field, . Thus the complete buoyancy polarization of a plane internal gravity wave is
Both velocity and displacement are perpendicular to the wavevector; pressure and velocity are in quadrature with buoyancy and displacement.
For upward/rightward phase velocity, choose and . Differentiating this dispersion relation gives the group velocity, while the vector phase velocity points along the wavevector:
Their dot product is zero and . Draw from the tip of : the right-triangle geometry of internal-wave velocities has horizontal hypotenuse . This hypotenuse is distinct from the horizontal phase velocity .
At an instant with real complex amplitude , write . The spatial fields are
The constant-phase lines of an internal gravity wave slope down to the right, with . Buoyancy maxima lie a quarter wavelength from pressure maxima; the oscillating displacement and velocity run along the phase lines. The group velocity points down and right along them, despite upward/rightward motion of the wave phase.
Let , using horizontal averaging over a wavelength. This is the displacement pseudomomentum of an internal gravity wave, whose sign convention is opposite to . For complex coefficients, . The above wave polarization consequently gives
Since , these obey . With weak kinematic viscosity, each leading monochromatic velocity component satisfies , . The dissipative term is therefore , so the supplied averaged balance reduces to
For constant and a steady wave envelope, . As is proportional to squared wave amplitude, viscous attenuation of an internal gravity wave gives
Here , so amplitude decreases below a source at : the source is above the receiving level. The same conclusion follows directly because downward group velocity carries energy from the source downward. Upward phase velocity does not locate the source.
For a slowly varying mean shear flow , the local intrinsic frequency is . A local WKB approximation uses , with varying vertical wavenumber and group velocity. The appropriate transported quantity is wave action, or horizontal wave pseudomomentum ; its vertical flux has viscous loss, and the changing polarization factors must be retained. In particular, is no longer constant.
Near a critical level of an internal gravity wave, , so and . The damping per vertical distance, of order , grows rapidly. The waves are strongly attenuated over a narrow altitude range and transfer momentum to the mean flow there or before reaching the critical level. The inviscid WKB approximation eventually fails; viscosity and possibly internal-wave breaking regulate the small scales.
The basic quasi-geostrophic streamfunction gives , and constant quasi-geostrophic potential vorticity . Define
Because the background has no potential-vorticity gradient, the linear potential-vorticity equation is simply
Its characteristics have constant , so the general solution is . In particular, is the requested arbitrary separated family; one product is not the most general initial field.
Linearizing the vertical velocity requires retaining advection of by . Therefore
The impermeable boundary at imposes
This is conservation of boundary buoyancy, not merely a condition that vanish.
For zero interior potential vorticity, write . With , stratified quasi-geostrophic inversion gives
The decaying solution is
No time dependence has been assumed to obtain this vertical structure. Applying the boundary condition gives , hence
Thus the Eady edge wave travels eastward with horizontal phase velocity for .
The propagation mechanism can be made explicit using boundary parcels. Thermal wind gives the background buoyancy gradient . A small meridional parcel displacement produces boundary buoyancy perturbation . Meanwhile the decaying potential-vorticity inversion gives at the boundary. Consequently there, and the parcel equation becomes
A displaced buoyancy contour therefore induces a velocity field that advances that displacement eastward. No interior potential-vorticity gradient is needed because the boundary buoyancy supplies the invertibility data.
Vortex stretching is what sets the induced flow's vertical reach. In the interior, the zero-potential vorticity condition requires
Boundary isopycnal displacement decreases with height as , so fluid columns are stretched or compressed over depth . Conservation of potential vorticity makes this stretching balance the relative vorticity. The resulting inversion factor gives the propagation speed: stronger density stratification reduces penetration and speed, while larger increases them. Zero interior potential vorticity therefore does not imply zero interior flow.
For imposed boundary vertical velocity, retain the same decaying structure and write
The boundary relation becomes the forced Eady edge wave equation
The integrating factor gives, for ,
The arbitrary homogeneous coefficient sets the initial disturbance. With , this is .
At resonance, , integration instead yields
An initially undisturbed fluid has . The imposed pumping reinforces the same boundary normal mode every cycle, with no dissipative loss, so the linear amplitude grows secularly. The divergence describes resonance of the undamped linear model; sufficiently large wave amplitude invalidates the assumed small-disturbance approximation.
Choose depth positive downwards and harmonic time dependence . At normal incidence, P waves and the two polarizations of S waves are independent scalar problems: a P wave uses the longitudinal modulus , and an S wave uses the shear modulus . In a uniform layer with wave speed and seismic impedance , write velocity and compressive traction as
At a perfectly bonded interface the velocity and traction are continuous. For incident velocity wave amplitude one from medium 1 into medium 2, these two conditions are and . Thus
Reflection is determined by seismic impedance, not by speed alone. A step to larger seismic impedance reverses the reflected velocity/displacement field waveform; the pressure reflection coefficient has the opposite sign. Its transmitted pressure coefficient is . Equal seismic impedance eliminates the reflection even when speed and wavelength change. At a free surface traction vanishes and velocity reflects with coefficient ; at a rigid surface velocity reflects with coefficient .
The mean elastic-wave energy flux is for positive real . Therefore the reflected and transmitted energy fractions are
A displacement field transmission coefficient greater than one is compatible with conservation of energy; its flux must be weighted by the receiving seismic impedance.
For many layers, use the seismic layer transfer matrix. A layer of thickness has wave phase thickness and
This follows either by eliminating between the two faces or by integrating and . For the complete stack put . With upper and lower half-space impedances , an outgoing lower wave satisfies . Solving this condition gives the input seismic impedance
Here is lower-face velocity divided by upper-face incident velocity, including the propagation wave phase. For lossless layers and real frequency, . This supplies a sensitive check on any spreadsheet or numerical implementation; it is not correct simply to multiply the individual interface transmissions and discard the elastic waves.
The physical reason is repeated wave interference. In one layer between media 0 and 2, let denote the velocity coefficients above and . The first transmitted wave has wave amplitude . Every extra round trip supplies . Summing the geometric series gives
In the time domain the successive arrivals are delayed by , producing reverberation. In the frequency domain the same delayed terms produce resonant maxima and minima. For a layer between identical half-spaces of impedance ,
At the layer transmits all the incident energy: the internally elastic waves cancel the direct reflection. Halfway between these resonances, a large impedance contrast gives strong reflection. For unequal exterior impedances, a quarter-wave layer with transforms its lower load to , again giving zero reflection at its design frequency. This matching is narrow-band.
Periodic alternation produces a periodic seismic multilayer stop band. For a cell of two layers with total thickness , the cell matrix has reciprocal eigenvalues , so
When the absolute value of this expression exceeds one, the infinite periodic medium has no propagating cell mode; a long finite stack has exponentially small transmission. The energy is reflected, not absorbed. Pass bands instead contain oscillatory transmission peaks, becoming more numerous as the stack length increases. Disorder removes the exact cell periodicity but not multiple scattering or frequency-selective interference.
For a concrete reproducible investigation, take , equal one-way travel times in both layer types, exterior impedance , and frequency coordinate . At each layer is a quarter wavelength; one cell has diagonal matrix entries . For cells,
It is about for one cell, for four cells and for eight cells. The infinite-cell stop band is . The accompanying calculation also shows the first transmitted arrivals for a single high-impedance slab: their wave amplitudes are at times . Their sum is one, consistent with unit zero-frequency transmission. These calculations illustrate both the spectrum and the pulse train without assuming access to the course's spreadsheet.
Figure 1.
Original transfer-matrix calculations showing a periodic stack stop band and the transmitted reverberation train of one slab
. Details.
Finally, as for a fixed finite stack, every , so the response approaches that of a direct interface between the exterior half-spaces. Equal exterior impedances give . For wavelengths much longer than a repeating cell, expansion of to first order instead gives an effective medium with averaged mass density and harmonic-mean modulus , where . Its speed is , not generally the arithmetic mean of the layer speeds. Attenuation makes the energy balance an inequality, while for a fixed oblique horizontal slowness the scalar SH calculation uses and . Oblique P-SV waves require coupled displacement field and traction matrices because of mode conversion at a planar elastic interface. Thick evanescent layers require scattering or impedance recursion rather than exponentially ill-conditioned transfer-matrix products.
Use local coordinates with the interface , solid below and fluid above, and choose the P-SV displacement potentials convention , . Let the reflected P and SV potential wave amplitudes be , while the transmitted P wave amplitude is . All four waves have the same tangential slowness
The incident and transmitted retarded times have negative , while elastic waves have positive . At the interface all waveform derivatives therefore have the same argument. displacement field continuity gives
With Lamé parameters and , the shear and normal stresses follow directly from differentiation:
The fluid has no shear traction, so the coefficient of in must vanish:
The coefficient of in the solid stress is ; in the fluid it is . Thus
These are the three required matching conditions; tangential displacement field need not be continuous at a solid–inviscid-fluid boundary.
Put and . From (2), . In (1), the coefficient of simplifies because . Hence . Substitute this into (3) to obtain
Therefore the solid-fluid P-wave transmission coefficient is
Division by was only an elimination device; the final expression extends continuously to . The normal-incidence value is . This is a potential coefficient; longitudinal displacement field transmission additionally multiplies it by . The original PDF's bracket lies in the denominator and contains and . The converted TeX misplaces the bracket, substitutes for , and loses the final cosine.
The angles from part (i) have sines
By Snell law for elastic and acoustic waves, . Both angles lie in , so . The outgoing fluid ray tilts away from the inward-tilted normal by exactly its tilt from vertical; it therefore travels vertically upwards. This is hyperbolic interface collimation of P-waves.
The source-to-interface distance satisfies
One can verify this by squaring, using . Consequently
Adding the vertical fluid travel time from the interface to height gives
Thus surfaces of equal arrival time in the fluid are horizontal planes. Their leading wave amplitude may vary with : a planar wavefront does not imply a spatially uniform plane-wave solution at every order.
The leading source displacement field is
The second term is one derivative smoother at the leading arrival. At each surface point, use its tangent plane, the angles from (i)–(ii), and the local solid-fluid P-wave transmission coefficient. The incident potential coefficient is , so the transmitted leading potential coefficient is
Transport this coefficient along the vertical fluid rays. Their transverse area does not change with height, so ray-tube conservation for a P-wave jump gives no further geometrical spreading. The leading displacement field coefficient is consequently
This is the transmitted jump at a collimating solid-fluid interface. Radial derivatives of multiply , and therefore do not contribute to the first derivative jump carried by . A varying transverse wave amplitude does generate smoother later terms, so this construction is a leading-front result, not a complete global plane-wave field.
Since the source is zero before and is there, . Thus displacement field itself does not jump. If exists and is the first nonzero jump, the leading discontinuity is the acceleration jump . More generally, a first jump in gives . The supplied regularity alone does not guarantee a nonzero discontinuity: a source smooth to all orders may have none. The geometrical transfer factor is nevertheless determined.
At , and all three angles vanish. Hence
For large , put and retain , . The relevant limits are
When , the square-bracket factor in the denominator of is , so
These are signed waveform coefficients; their absolute values give wave amplitude magnitudes. The leading displacement field decays as rather than because grazing incidence adds a small transmission factor to spherical spreading. The leading coefficient is independent of fluid and solid mass densities, although the exact wave amplitude and its higher-order terms depend on them.
The assumptions do not exclude , where and the preceding division is invalid. In this special case exactly, and the square-bracket factor is . Keeping both denominator terms gives
It has no term. This exceptional case matters when requesting an asymptotic formula without an additional restriction on the elastic moduli.
Figure 1.
Hyperbolic refraction into vertical rays and the leading transmitted displacement field coefficient compared with its grazing-incidence asymptote
. Details.
Let be either endpoint at which is prescribed, and put , and . Integrating the constant-coefficient velocity–traction system gives
Taking the ratio yields the uniform-layer SH impedance update and its accompanying velocity:
The initial value sets an arbitrary normalization; specifying impedance alone cannot specify the overall wave wave amplitude. Positive propagates data from , while negative propagates a specified load from , so the same expressions solve both requested initial-value problems.
Expanding sine and cosine gives
Absorbing the reference-point phases into the two constants gives the requested forward/backward exponential superposition. Equivalently, wherever the ratios are defined,
The exceptional values give the pure directional solutions. If a denominator in the impedance formula vanishes, propagate the finite pair through that point; this is an impedance-chart pole, not a failure of the physical solution. The upper-half-plane assumptions ensure .
Let the positive real material parameters depend on but not on time. Define the flux-normalized elastic characteristic amplitudes and logarithmic seismic impedance gradient
Write and . Then , , and direct substitution gives
For example, the first relation uses and ; the second uses . Adding and subtracting now proves
The original PDF has these two first-order equations. The TeX mistakenly combines them into ratios, which must not be used. A seismic impedance gradient couples forward and backward wave amplitudes even when the local wave speed is allowed to vary.
Use a time-harmonic wave with time dependence and let the same symbols denote phasors. The wave amplitude vector obeys
At fixed material contrast, the stated low-frequency condition permits neglecting the diagonal frequency term to zeroth order. All remaining coefficient matrices are scalar multiples of the same exchange matrix, so they commute. With
the transfer relation is
Solve the second row for the outgoing left wave amplitude and substitute in the first. Since , this gives the zero-frequency scattering through an elastic layer coefficients
Thus the zero-frequency limit depends only on the endpoint seismic impedances. Monotonicity supports the given scale comparison but is not needed to integrate the zero-frequency equation. If in a monotone profile, seismic impedance is constant: there is no directional coupling, with only wave phase accumulation at nonzero frequency.
At a sharp interface, continuity of velocity and traction gives, for unit incident velocity from the left,
Thus and . Normalizing the transmitted velocity by its elastic-wave energy flux gives , exactly the result above. Right incidence gives the reversed reflection sign and the same flux-normalized transmission. A stress reflection coefficient has the opposite sign to the velocity reflection coefficient; the convention matters.
Put and . The incoming-to-outgoing matrix is , with . Therefore , proving equality of incoming and outgoing time-averaged flux for arbitrary coherent incident wave amplitudes, not just incidence from one side.
For all real frequencies the harmonic equations instead give
Their right sides are equal; the diagonal terms have zero real contribution. Consequently
The mean flux for real-part phasors is . Evaluating it at the two endpoints proves exactly that total outgoing flux equals total incoming flux at every real frequency. This relies on real lossless moduli and mass density; absorption would change the identity.
Assume the coefficients are sufficiently differentiable in the region considered, with no material discontinuity or caustic at the front. Let describe arrival time, the slowness vector, and the unit elastic wave propagation normal. For any field, its jump is the value immediately behind the front minus that immediately ahead. If the first nonzero jump occurs in the kth time derivative, , write
A smooth background may be added without changing these leading jumps. Since , differentiation expresses spatial jumps in terms of and time-derivative jumps. The restriction lets displacement field and its first time derivative remain continuous and avoids an imposed impulsive source at the front.
Insert this local expansion in . The coefficient of is
For isotropic elasticity the slowness acoustic matrix is . Its longitudinal eigenvalue is . The P branch therefore gives the eikonal equation and polarization
The next coefficient, , is
The matrix on the left is symmetric and annihilates . Project onto to obtain its solvability condition. Put . The two projected terms can be evaluated without dropping gradients of mass density or moduli:
These identities use , hence , and . Their curvature terms cancel, leaving
Multiplying by proves the requested P-wavefront discontinuity transport law,
The wave amplitude here is real for a real jump; a complex wave amplitude uses the corresponding modulus-squared law. An elastic ray follows , with arclength and . If is the infinitesimal cross-sectional area of a neighboring ray tube, . Thus is constant along that tube, the ray-tube conservation for a P-wave jump. This defines the geometrical spreading and shows why the wave amplitude changes with material properties even before attenuation is considered. At a caustic the simple ray-tube wave amplitude is singular and a uniform local description is needed.
Refer all layer wave amplitudes to the lower interface. Let a downward incident SH displacement field have unit wave amplitude there, an upward reflected wave have wave amplitude , and the decaying half-space wave wave amplitude . Interface continuity gives
Solving these equations proves the Love-wave interface reflection phase and transmission wave amplitude:
Thus : the evanescent substrate field has nonzero wave amplitude but no net downward mean flux. At the traction-free top, an upward incident wave and its downward reflection must have canceling derivatives, so their displacement field reflection coefficient is .
A layer wave acquires wave phase during a complete round trip. Constructive interference requires
Taking the tangent gives again . The reflection phases, rather than only geometric travel distance, are essential to the mode condition.
Use the displacement-potential convention , and harmonic dependence . Choosing the opposite sign for the shear potential changes its column sign but not the P-SV directional impedance matrix. Write , , , and . At a common point the forward potential wave amplitudes give
The traction formulas follow from and , using and . The velocity matrix has determinant , so elimination gives the P-SV directional impedance matrix
Its off-diagonal entries are real and antisymmetric. Therefore
With real-part phasors, the outward flux is , so
for every nonzero forward displacement field. Mass density and angular frequency are essential to this flux coefficient; both appear correctly in the PDF.
Use the same method of multiple scales and its solvability condition in the method of multiple scales. The position-dependent damping function is odd, so the lemma that odd position-dependent damping has zero first-order amplitude drift applies. In its wave amplitude average, changes to its negative while preserving , so the average is zero. Hence ; the wave phase average again gives .
Equivalently, expand the position-dependent damping in its uniformly convergent power series for bounded . Each term has only even sine Fourier harmonics, so none resonates with the unit-frequency oscillator. With the initial wave amplitude and wave phase unchanged, the leading uniform approximation is
There is no first-order slow drift. Effects at the next order accumulate only an correction on this time scale.
The speckle contrast of a sinusoidal wavefront error gives a peak modal wave amplitude . If all residual modes have that wave amplitude, their coefficient norm is . Substituting the printed quadrant count gives the intended expression
There is a normalization issue if this quantity is called physical spatial root mean square wavefront error. For , the actual pupil-averaged value is
On an orthogonal full-period basis, and cross terms vanish. Alternatively, independent uniform random wave phases give this result after wave phase averaging, even on a circular optical pupil. With the same and equal contrasts the physical RMS is then
A single full-period cosine already demonstrates the issue: its RMS is , not . On the actual circular optical pupil, any nonconstant unit-peak cosine also has mean square strictly less than one; averaging over its wave phase gives exactly . On a finite circular optical pupil, phase-dependent mode overlaps can additionally matter. If a constant piston is removed before computing RMS, replace the mode Gram matrix by its centred optical pupil covariance. The printed value can be recovered as a modal coefficient norm, or by counting orthogonal peak-amplitude quadratures in the physical RMS; neither convention is specified by the quoted mode definition. This is the distinction between modal amplitude norm versus wavefront RMS, not a correction silently made to the PDF. Unequal residual contrasts require , so one speckle's alone cannot determine the total RMS. The weak-aberration approximation also requires the total wave phase error to stay small, not merely each coefficient separately.
An optical pupil ripple of spatial period diffracts starlight into two sidebands displaced by along the ripple's spatial frequency vector. Substituting the axial Nyquist period gives the deformable-mirror control radius
The square actuator lattice has component cutoffs , hence an ideal square corrected region with this half-width in each photodetector direction. Its diagonal reaches times the axial radius; an isotropic conservative restriction is the inscribed disk. Using as the scale of a spatial resolution element, the square is about elements on a side and in area; the disk has about elements. These are angular area counts, not the quadrant coefficient count in part (ii).
A circular illuminated optical pupil has fewer active actuator degrees of freedom than the complete square array, and influence functions alter the usable boundary. Moreover one real wave phase deformable mirror produces conjugately related corrections at opposite speckles: arbitrary complex-field correction of both independent wave amplitude and wave phase errors generally needs additional control, or a restricted half-plane. The square therefore describes ideal spatial-frequency access, rather than a guarantee that every intensity element inside it can be independently set to zero. The Fourier-domain square control region is derived in Bordé and Traub's speckle-nulling analysis.
For a straight singly quantized quantum vortex, use cylindrical distance from the line and write
There is no dependence along the vortex line. Substitution into the normalized stationary equation gives, before separating real and imaginary parts,
Consequently the wave amplitude and phase-gradient equations are
The second equation can also be written , which remains convenient at the core.
To specify what is meant by radial velocity, use the condensate number current. The time-dependent equation has kinetic operator and therefore number current . Its hydrodynamic superfluid velocity in these units is , so and . In that convention the requested pair is
If instead velocity is defined as the complex argument gradient itself, the preceding pair is the corresponding convention; the distinction matters because the printed kinetic coefficient differs from that of the normalized conservative equation in Question 1.
Regularity of a unit-charge core gives with . Integrating the current equation from the origin, with no point source or singular radial flux, gives
The integral is , so the radial flow near a driven vortex core is
For the phase-gradient convention, . Gain exceeds loss in the depleted core, hence this regular flow is outwards for . The real wave amplitude equation also gives , independently consistent with the linear core behaviour. A nonzero integration constant in the radial-current identity would create a singular and is excluded.
Finally, the literal boundary from the preceding part cannot apply to a multiplicity-one vortex: its complex argument changes by around a large circle. Even with has different limits along different rays. The usual intended vortex condition concerns the wave amplitude approaching its bulk value, with the winding complex argument retained; it is not a constant complex-field limit. The local equations and core slope derived here do not establish a global stationary vortex satisfying that literal boundary. In a driven system the far-field radial flow and oscillation frequency may also require selection, so no global zero-flow vortex is asserted.
Let be the measured wave scattering response> linear operator, with direct background propagation removed if present. Its time reversal operator is the positive operator . For a normalized emitted signal ,
The maximizing signal is a right singular vector, equivalently an eigenvector of with its largest eigenvalue. This is a precise intensity statement independent of a scatterer model.
Under the Born approximation for scalar wave scattering, neglect interactions between point scatterers and write
where is the receiver response to scatterer , is its illumination by the source array, and is its scattering wave amplitude. Well-resolved point scatterers have approximately orthogonal vectors and . In the ideal orthogonal limit,
Thus the most reflective, geometrically weighted scatterer gives the largest eigenvalue, and its normalized steering vector gives the corresponding wave focusing signal. If illumination and reception factors are equal for all scatterers, this is precisely the scatterer with largest . Geometric size by itself is not the quantity being ranked.
Repeated adjoint time reversal acoustics is power iteration on . If its top eigenvalue is simple and the initial signal has a nonzero component along its eigenvector, then
A tied largest eigenvalue leaves a combination in the leading eigenspace, and an initial signal orthogonal to that eigenspace cannot excite it. This is the basis of the DORT method. Mere physical separation is insufficient if the array cannot resolve the scatterers; coherent steering-vector overlap or multiple scattering can mix the modes. Also, if includes unrestricted homogeneous transmission, its largest eigenvalue need not identify any individual scatterer. The correspondence concerns the resolved wave scattering response>. The ideal correspondence and selective wave focusing are analyzed by Prada and Fink.