Choose measurable versions of the two Lebesgue integrable functions and consider . Translation and the corresponding linear change of variables preserve Lebesgue measurability; one can first use Borel versions and then disregard the resulting null-set changes. Tonelli's theorem and translation invariance giveFubini theorem therefore shows that the section in is integrable for almost every . Define by that section integral where it exists and by zero on the exceptional null set. Fubini theorem also makes this a measurable Lebesgue integrable function, withIts almost-everywhere defining formula is precisely the desired convolution. This construction explains why an everywhere-existing pointwise integral is not required.
Hearing requires estimating sound-producing events from noisy mixtures at two ears. It involves mechanical detection, neural coding, source segregation and recognition. A frequency analysis alone cannot identify who or what produced the sound.
The physical input is an acoustic pressure fluctuation. At one ear a simplified room model iswhere source signals are filtered by propagation and reflection paths , and is noise. The convolution model assumes approximately linear, time-invariant propagation over the analysis interval; a moving source or listener can violate that simplification. This is a many-to-one inverse problem: different source configurations can produce similar ear signals. Distance, reverberation and head orientation alter a source's waveform. Pressure level is logarithmic: sound pressure level is , with reference in air. A 100 dB difference corresponds to a pressure ratio . The system must remain sensitive to weak signals while avoiding saturation over a large operating range.
The middle ear helps transfer airborne vibrations into cochlear fluids despite an acoustic impedance mismatch. Within the cochlea, the graded mechanics of the basilar membrane produce frequency-dependent traveling-wave responses: high frequencies peak nearer the base, low frequencies farther toward the apex. This tonotopy provides a distributed spectral representation. Deflection of sensory hair cells drives mechanotransduction; inner hair cells provide most afferent signaling, while outer hair cells contribute to mechanical amplification and tuning. Detection therefore depends on an active biological filter, not merely a passive bank of resonators.
A revealing experiment by Mario A. Ruggero and colleagues measured chinchilla basilar-membrane vibrations using the Mössbauer technique or Doppler laser velocimetry before and after a reversible intervention that reduced cochlear transduction currents. Responses near the characteristic frequency were reduced particularly strongly for weak sounds, with smaller changes at high levels and away from that frequency.[ref]
Furosemide Alters Organ of Corti Mechanics: Evidence for Feedback of Outer Hair Cells upon the Basilar Membrane by Mario A. Ruggero and others. Abstract and response-level/frequency comparisons, J Neurosci 11, pp. 1057–1067
This supports feedback-dependent cochlear gain. The intervention also affects other cochlear processes, so it does not by itself identify every cellular contribution or directly measure human loudness. The important methodological contrast is controlled sound input plus measured mechanical output and a reversible physiological perturbation.The resulting neural code must preserve several attributes simultaneously. Place of excitation and neural phase locking can provide complementary frequency and temporal information; firing rates, adaptation and population responses encode level and envelopes. Individual neurons have limited dynamic ranges, and temporal precision has limits. Pitch is not simply the location of the strongest spectral component, and timbre depends on spectral shape and temporal development. Even physically, a signal containing harmonics at 200 and 300 Hz repeats every 10 ms although it contains no 100 Hz component: both components complete integer cycles in that interval. Recovering source periodicity is therefore different from selecting a component in a frequency spectrum. It does not follow that every such signal has one obligatory perceptual pitch.
Localization adds ambiguity. Ear separation yields interaural time differences; head shadow yields interaural level differences; outer-ear filtering supplies direction-dependent spectral cues. In an ideal far-field point-receiver model, , obtained by dividing the path-length difference by sound speed. Real head diffraction modifies this approximation. One time difference can be compatible with several spatial directions, and phase is ambiguous when several cycles fit the delay. Head-related transfer functions, head movements and environmental context help resolve these ambiguities. Reverberation also requires distinguishing useful early information from later reflections.
Competing sources create both energetic masking, in which the target is poorly represented against overlapping acoustic energy, and informational masking, involving source confusion or selection despite available acoustic cues. Common onsets, harmonic relations, coherent modulation, timbre and spatial cues help group components into auditory objects. The grouping must remain stable when streams overlap, but also update when a source changes. These are the problems of auditory scene analysis.
E. Colin Cherry's classic experiments used simultaneous spoken messages and separate messages delivered to the two ears. Asking listeners to repeat one message while ignoring the other made source selection experimentally measurable.[ref]
Some Experiments on the Recognition of Speech, with One and with Two Ears by E. Colin Cherry. Experiments on simultaneous speech and dichotic shadowing, JASA 25, pp. 975–979
Ear and voice differences can aid selection; the result does not show that unattended information is never processed, nor that real rooms provide the clean separation of headphone channels.Finally, meaningful recognition requires tolerance of speaker, rate and context variation. Richard M. Warren removed a speech segment and substituted a cough-like sound. Listeners could hear the utterance as continuous and had difficulty locating the replacement, whereas a silent interruption was more readily detected.[ref]
Perceptual Restoration of Missing Speech Sounds by Richard M. Warren. Science 167, pp. 392–393, replacement-sound versus silence comparison
Phonemic restoration shows that recognition uses constraints beyond the momentary waveform; it does not mean missing acoustic information has been physically recovered. Successful auditory perception combines peripheral sensitivity with grouping and context-sensitive inference, while retaining the possibility of masking, ambiguity and systematic error. Past exam of the physics A course of the University of Cambridge 2014 Paper 2 Section B B8 Solution 2026-10-20
For uniform illumination, the aperture is for and zero otherwise. With ,Zeros occur at , ; the central maximum extends between . A monochromatic laser expanded into a collimated beam can illuminate the slit. A lens with the screen in its back focal plane produces the Fraunhofer pattern; alternatively use a sufficiently distant screen, . Align the slit and beam and avoid detector saturation.
For equally spaced slits, write the aperture as a convolutionThe convolution theorem converts this into a single-slit transform times the finite-array transform. ThereforePrincipal maxima are at for normal incidence, inside the single-slit envelope. Their height scales as times the envelope, and their first zeros are separated from a peak by .
The envelope-to-order-spacing ratio is : increasing it admits more orders within the central envelope and changes the relative order strengths. In particular, an order is missing when is a nonzero integer. Statements about absolute angular spacing need a fixed dimension: at fixed , increasing reduces order spacing; at fixed , decreasing broadens the envelope.
For fixed incident angle, differentiating the grating equation gives an order displacement . Equating this to the peak-to-first-zero width givesHere is the illuminated grating width; this is the ideal Rayleigh limit, before slit width or aberrations broaden the spectral image.
With , the required count is . Thus 932 illuminated slits, or , suffice ideally. Checking diffraction-order feasibility, normal incidence cannot produce this second order because ; an oblique spectrograph geometry is required. A feasible reflection-Littrow example has , or .
The convolution of two aperture functions in one dimension isWith Fourier transform convention , the convolution theorem statesThe first identity follows by substituting the convolution integral, putting , and separating the resulting double integral into times . For an absolutely integrable pair the interchange is justified by absolute convergence; finite optical apertures satisfy suitable integrability assumptions.
In Fraunhofer diffraction, the observed field is the Fourier transform of the transmitted complex aperture field. For two identical slits, let be one slit and use a pair of Dirac delta distributions to locate the centres:Consequently . For a rectangular slit, , giving a single-slit diffraction envelope times the double-slit interference factor in intensity. A phase reversal replaces the plus between the deltas by a minus, giving instead, as in B7.
More generally, an -slit array is a single-aperture function convolved with a finite comb. Its field contains the factorThis separates the narrow diffraction grating maxima from the individual-aperture envelope. The same reasoning holds in two transverse dimensions. Multiplying an existing aperture by an additional finite mask instead convolves their field transforms and can broaden features. These are operations on complex fields: intensity is the squared modulus of the final field and cannot generally be substituted into the field-level convolution theorem.
The far-field complex amplitude is the two-dimensional Fourier transform of the aperture amplitude transmittance, evaluated at transverse spatial frequencies , . The light intensity is proportional to the squared magnitude of this transform.
Use linearity to add the transforms of simpler aperture components, preserving their relative phases. A translated component acquires a complex exponential factor. Repeated identical openings can be expressed as the convolution of one opening with a sum of Dirac delta functions; the convolution theorem then factors the field into a single-opening transform and an array factor. Multiplying aperture functions instead convolves their transforms. These operations simplify complex apertures without repeatedly evaluating the full diffraction integral. It is the complex amplitudes, rather than their wave intensities, that are added for coherent illumination.
Convolution describes the response of a linear time-invariant system to an arbitrary input. If is its impulse response and its input,This is a weighted sum of responses to shifted impulses. For integrable functions the operation is commutative and associative. A causal system has for , restricting the integral to past inputs. With the Fourier convention , the convolution theorem gives .
For example, an RC low-pass frequency response has and , where is the Heaviside step function. Fast input variations are smoothed. The same mathematics describes optical blurring by a point spread function and many other linear response measurements.
Deconvolution tries to recover from measured and known . In noise-free data one formally sets where . Zeros of lose corresponding information; small values amplify measurement noise. If the measured spectrum is , the direct estimate has error , which can be very large at frequencies strongly suppressed by the instrument. An inverse is therefore not automatically unique or stable.
One regularized spectral deconvolution reconstruction isThis minimizes at each frequency and limits noise amplification, at the cost of bias and lost resolution. Choosing the regularization requires assumptions about noise and the desired signal; deconvolution cannot restore components that the data do not determine without such additional information.
Here , , , and , in the stated reservoir units. The exact characteristic coefficients are and , givingThe leading separation estimates give yr and yr if finite is retained, or yr if is also sent to infinity. Thus ; a ratio of ten warrants using the exact values for the requested sketch.
Assume initially zero anomalies in all reservoirs. The atmospheric impulse response, obtained by decomposing into the three normal modes, iswith , , and , in ppmv/GtCO. The checks and fix the instantaneous injection response and its initial decay.
The concentration is the convolution . To evaluate it transparently, define for , andsetting every when . Expressing the triangular emission history as givesHere times are in years and has the corresponding emission-ramp units. Differentiating or evaluating the convolution givesThe maximum concentration occurs earlier than the end of emissions, at approximately year , with ppmv. Initially there is a short adjustment over ; the curve then rises, turns over as emissions fall, and continues declining after year 200 as the deep ocean takes up carbon dioxide.
The total emitted mass is the area of the emission triangle, GtCO. All reservoirs eventually share one concentration, so conservation of mass gives
For a mode of positive frequency, differentiation of the causal convolution givesThe first boundary term vanishes because ; the second supplies because . Both initial values vanish. This verifies the forced-oscillator equation and its initial conditions, including a step source in the piecewise or distributional sense.
The spatial Dirac delta function reduces the excitation toFor an event at , put . Integrating the oscillator kernel from to gives the normal-mode response to a step seismic moment:Non-unit mass normalization introduces the same factor as above. Complex modes must be combined with their conjugate partners to produce a real displacement. The formal limit is ; for rigid-body modes here, because their strain is zero.
The step produces a static component plus continuing oscillations in this lossless model. It does not predict physical damping. A point source is appropriate when rupture dimensions are small compared with the wavelengths being analysed and rupture duration is short compared with their periods. Long-period observations of a relatively small earthquake can meet these conditions; high-frequency finite-fault directivity generally cannot. A finite source-time function replaces the ideal instantaneous step when its duration matters.
Past exam of the real and harmonic analysis course of the University of Oxford 2007 4 a Solution 2026-10-31
Use normalized Haar measure . A homogeneous Banach space on the circle is a Banach subspace with , such that translations preserve , satisfy , and obey as .
For continuous , the map is continuous with values in the complete space . Define its Banach-valued Riemann integral, equivalently its Bochner integral, byThe triangle inequality for Riemann sums and passage to their norm limit give the canonical estimateThe continuous inclusion into carries the same Riemann sums to the ordinary convolution, so this definition agrees almost everywhere with . Density of continuous functions in , completeness of , and the estimate extend the operation uniquely to all . The ordinary convolution estimate identifies that extension with the same integral formula.
Past exam of the real and harmonic analysis course of the University of Oxford 2007 4 c Solution 2026-10-31
For put . Using and the Fourier coefficients of givesIndeed, when only the shift contributes, with coefficient . For only the opposite shift contributes and gives ; at both coefficients vanish.
If , convolution multiplies its Fourier coefficients by those of . Thus , proving the exact identity. Since and has integral one,For the polynomial is constant and the bound is immediate. This elementary Fejér-kernel argument proves the requested estimate; the sharp Bernstein inequality for trigonometric polynomials has constant .
Past exam of the real and harmonic analysis course of the University of Oxford 2008 3 f Solution 2026-10-31
Convolution preserves probability measures: its defining pushforward is nonnegative and its total mass is the product of the two unit masses. For every fixed integer the previous coefficient identity givesThe probability version of the Fourier coefficient criterion therefore provesThe fixed compact underlying group and the uniform probability masses supply precisely the bounds needed in the dense-test argument.
For , define their convolution byThe support restrictions make each sum finite: for fixed upper-cone representatives, the simple root coefficients in the two downward displacements are bounded nonnegative integers. This also proves closure in and associativity by finite reordering at each coefficient. The unit is , and .
With the source's negative root partition function, interpret and allow zero coefficients in the partitions. Write for , with multiplication meaning convolution. ThenThe denominator needed for the asserted character identities isThe repeated identical subscripts in the printed denominator would instead make it zero, so those literal factors cannot satisfy an inverse identity. Also the required inverse uses the negative shift. Geometric-series cancellation givesWith a positive shift the left side would be , which displays the second printed sign problem even after the denominator is repaired.
Poincaré-Birkhoff-Witt theorem gives , since each ordered negative root monomial lowers the highest weight by its corresponding partition. ThereforeThe remaining parts use for the intended Weyl denominator, while the private TeX preserves the printed signs.
An impulse at shifts the causal sine response. Substituting the Dirac delta in the convolution from part (i), or using the Laplace transform time-shift rule, giveswhere is the Heaviside step function. The answer is continuous at , while its first derivative jumps from to . Consequently its second distributional derivative contains exactly one unit Dirac delta at , giving . Since , both initial conditions vanish.
Let and . Apply the Laplace transform of a derivative twice and use the two zero initial conditions. The differential equation becomesThe factor is the Laplace transform of . The convolution theorem for Laplace transforms therefore givesThis is a causal convolution: the value at uses only the forcing up to . For ordinary continuous , direct differentiation gives and , verifying both the differential equation and the initial conditions. For an impulsive , the same formula is interpreted using distributions.
Use the causal convolution . The convolution theorem for Laplace transforms and (i) giveSince , uniqueness of the Laplace transform yieldsAt the right side is , agreeing with the empty convolution integral. Identification of as a Bessel function is unnecessary.
The integral is the convolution of the positive-half-line kernels and . The convolution theorem for Laplace transforms therefore gives, for ,On the other hand, the substitution gives , where is the beta function. Applying part (i) again yields . Comparing the two expressions provesAll integrands used in the real- convolution argument are nonnegative, so Tonelli's theorem justifies the interchange; the endpoint singularities are integrable because .
The spatial transform of is . Convolution with the impulsive source and the inverse transform therefore give simply . Take without loss of generality and set .
For , let . ThenFor , let . ThenBoth satisfy and , so the impulse changes the time derivative rather than discontinuously changing temperature. The first case rises and then relaxes without sign oscillations for a nonzero mode; the second oscillates as its amplitude decays. The limiting equality gives , and gives the nondecaying uniform increment discussed above.
A cosine source has both positive and negative regions, so this linear solution can be understood as a temperature perturbation about a background; its negative values are not assertions of negative absolute temperature. The temporal oscillations arise from the second-time-derivative term. Dropping that term changes the initial-jump structure as well as removing the underdamped regime.


