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 give
Fubini 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, with
Its 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 is
where 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] 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] 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] 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.
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 convolution
The convolution theorem converts this into a single-slit transform times the finite-array transform. Therefore
Principal 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 gives
Here 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 .
Figure 1.
Original slit, finite-array convolution, diffraction pattern and Fourier-plane experimental layout
. Details.
The convolution of two aperture functions in one dimension is
With Fourier transform convention , the convolution theorem states
The 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 factor
This 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 is
This 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 , giving
The 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, is
with , , 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 , and
setting every when . Expressing the triangular emission history as gives
Here times are in years and has the corresponding emission-ramp units. Differentiating or evaluating the convolution gives
The 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
Figure 1.
Atmospheric concentration and its rate of change under a triangular emissions pulse
. Details.
For a mode of positive frequency, differentiation of the causal convolution gives
The 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 to
For 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.
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, by
The triangle inequality for Riemann sums and passage to their norm limit give the canonical estimate
The 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.
For put . Using and the Fourier coefficients of gives
Indeed, 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 .
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 gives
The probability version of the Fourier coefficient criterion therefore proves
The fixed compact underlying group and the uniform probability masses supply precisely the bounds needed in the dense-test argument.
For , define their convolution by
The 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. Then
The denominator needed for the asserted character identities is
The 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 gives
With 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. Therefore
The 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, gives
where 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 becomes
The factor is the Laplace transform of . The convolution theorem for Laplace transforms therefore gives
This 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) give
Since , uniqueness of the Laplace transform yields
At 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 proves
All integrands used in the real- convolution argument are nonnegative, so Tonelli's theorem justifies the interchange; the endpoint singularities are integrable because .
The observed substeps sum to , consistent with three catalytic cycles per revolution of -ATPase. Surface attachment fixes the -subunit frame while the gold-labelled shaft reports relative rotation. A finite dwell before the smaller step indicates hidden chemical transitions rather than a completely smooth motor.
Suppose two irreversible independent first-order transitions, with rates and , must occur sequentially before the step. Their waiting times and have exponential distributions, and . Convolution gives
This probability density integrates to one and has . For equal rates its continuous limit is , not a singular distribution. In particular distinguishes two resolved sequential waits from a single exponential wait. Hydrolysis and product release are plausible underlying chemical events, but the waiting-time fit alone neither assigns their order nor uniquely identifies which biochemical event causes each substep. Concentration dependence or independent labelling would be needed for that assignment.
Let be the probability that an ATP-waiting state has not yet bound a substrate molecule. A constant bimolecular binding coefficient at fixed ATP concentration gives a pseudo-first-order hazard . Thus , , and the waiting-time distribution is
The probability density function starts at and decreases exponentially. Increasing shortens the waiting time in inverse proportion. This supports one rate-limiting ATP-binding event before the associated motion, rather than a concentration-independent chemical delay.
For the second delay, consider sequential independent first-order transitions . Their dwell times have exponential distributions. The total waiting time is their sum, so convolution gives
It is normalized, symmetric under exchange of , and has
Unlike one exponential delay, it vanishes at , rises initially as , reaches a maximum at and eventually decays at the slower rate. For equal rates the continuous limit is , an Erlang distribution with mode . If one rate is much faster than the other, the observed long-time behavior approaches one exponential. The sketch in the preceding section displays these shapes using arbitrary specified rates.
The simplest catalytic cycle compatible with the fits therefore contains an ATP-dependent binding delay and at least two resolvable ATP-concentration-independent kinetic events. Hydrolysis, product release and conformational changes are possible microscopic assignments, but the two-rate fit alone does not uniquely identify them or the order of and . If each complete cycle contains these three waits and step durations are negligible, its mean duration is and the mean revolution rate is the inverse of three times this duration. Multiple catalytic sites can cooperate during that cycle.
TODO: the source PDF's stepping plot is absent. Its individual substep angles, numerical timings and the mapping of plotted dwell labels onto the larger or smaller angular movement cannot be read. The surviving text establishes only the total step and the existence of a larger and a smaller substep. No numerical rate, missing angle or plotted label is inferred from a different experiment. The distribution derivations and the concentration-dependence inference above are independent of that illustration.
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 . Then
For , let . Then
Both 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.
Figure 1.
Retarded thermal-mode responses
. Details.