Fluid-loaded plate. Use complex amplitudes with time dependence and take the velocity potential in the fluid above the elastic plate to be . Let and be the undisturbed mass density and speed of sound. The linearized Euler equations give ; the kinematic boundary condition is . We model loading from one fluid half-space, with no fluid loading on the other face. Loading by identical fluids on both faces instead doubles the fluid term below.
Define the Fourier transform and its inverse by
The Sommerfeld radiation condition selects , with and . Here and in the diffraction calculation below, the outgoing square root is specified by first taking . Draw a vertical cut upwards from and another downwards from , and put
Thus is analytic in the upper half-plane and in the lower half-plane. In the real-frequency limit,
The Fourier transform contour follows the real axis with the limiting-absorption pole prescriptions. In particular, an outgoing propagating component has positive vertical wavenumber.
The kinematic boundary condition gives , so . Eliminating the fluid pressure from the bending balance gives the line-forced fluid-loaded bending plate kernel
For harmonic line force amplitude at the origin, the plate displacement and fluid velocity potential are therefore
An arbitrary localized loading replaces by its Fourier transform. This representation both calculates the response and identifies its different wave components through poles and branch points.
For an observer , , with , the method of steepest descent uses the saddle point . At fixed angle away from grazing, the acoustic far field is
The spreading is that of cylindrical acoustic waves. The phase velocity parallel to the plate is : components with are supersonic in that sense and radiate, whereas those with are subsonic and exponentially decay normally to the plate. The latter have reactive fluid loading and zero mean normal acoustic energy flux.
There is also a real guided root . Indeed, , , and
The residue theorem then gives an outgoing displacement contribution . It transports energy along the plate while its fluid field decays as . Other zeros on continued sheets can describe leaky or resonant waves; branch point contributions describe near and grazing fields. A fixed-angle acoustic far field expansion is not uniform near the plate, where these components can matter.
For a propagating spectral component, write . Its upward normal velocity is and its pressure is . Applying Parseval's identity to the time-averaged acoustic energy flux gives the upward power per unit length of the forcing line:
Equivalently, the integrand is with prefactor . Integrating the radial acoustic intensity of the far field over a semicircle gives the same expression. The input power also feeds guided waves along the plate, so it must not be identified with alone.
Rigid half-plane diffraction. Suppress the time factor and assume . Write , , and denote the incident spatial field by . The Helmholtz equation, Sommerfeld radiation condition, and square-root branches are as above. Across the open positive axis the scattered field and its normal derivative are continuous. Across the rigid negative axis its normal derivative is also continuous, while its potential can jump. Let be this jump, supported on . The transformed scattered field is
The jump transform is analytic in the upper half-plane. The absence of an even scattered component follows from derivative continuity and the outgoing condition. Its normal derivative on either face is .
On the negative axis this derivative must cancel . Since the Half-range Fourier transform of is , the Wiener-Hopf equation has the form
where is the transform of an unknown function supported on and analytic in the lower half-plane. The incident pole lies below the Fourier contour. Divide by and perform pole subtraction in a Wiener-Hopf equation:
The first term is upper analytic and the second lower analytic, since the latter's apparent pole cancels. Equality of the two continued sides gives an entire function. The finite-energy edge condition, with , and the decay of the transforms at infinity force that function to vanish by Liouville's theorem. Consequently
This is the Wiener-Hopf solution of rigid half-plane diffraction with the present transform and time conventions.
Deforming to a steepest descent contour gives a residue from the incident pole precisely when . At that pole ; its residue produces
Thus the total geometrical optics field is plus a reflected wave in the upper reflection region; in the lower shadow region the scattered residue cancels , and outside that shadow the direct incident wave remains. This gives both the amplitude and the spatial support of the geometrical optics fields rather than merely naming a reflected wave.
For , , , the saddle contribution uses and . The diffracted wave is
The total field is to this order. This far-field expression applies away from the shadow/reflection boundaries . There the pole and saddle coalesce, and a uniform Fresnel integral approximation replaces the divergent separate terms by a smooth transition. The exact contour integral remains well defined.
Take , put and , and suppress the common factor . The upper-half-plane incident acoustic plane wave is . A rigid zero-thickness screen imposes the same normal-derivative cancellation on both faces; the scattered velocity potential is consequently odd in . Across the open part it is continuous, so its trace there is zero. These complementary half-line data are what make the Wiener-Hopf method applicable.
Use the Fourier transform , with inverse exponential . The outgoing Helmholtz equation solution is for , where has on the propagating interval and positive real part on evanescent components. The limiting absorption principle supplies the contour prescription. The transform of the trace supported on is analytic below the contour. Let be the analytic upper transform of the unknown derivative on . The prescribed derivative on has transform
Since the upper normal derivative is , the Wiener-Hopf equation is
For the Wiener-Hopf factorization, choose analytic above and analytic below. Their branch cuts go into the opposite half-planes, with . Dividing by and performing pole subtraction in a Wiener-Hopf equation gives
The forcing pole is allocated to the lower analytic part; the second quotient has a removable pole and is upper analytic. Subtracting these parts leaves a common entire function. The finite-energy edge condition excludes an inverse-square-root singularity in the potential: its odd scattered trace is , so . The normal derivative on the open side can be , giving . Both sides of the entire remainder tend to zero. The Liouville theorem sets that remainder to zero, giving the explicit Wiener-Hopf solution of rigid half-plane diffraction:
The scattered field on either side of the screen is therefore
Its forcing-pole residue at is . Deforming to the outgoing steepest descent contour crosses this pole precisely when , where , and . The residue contributes . Thus, away from transition boundaries, the scattered geometrical optics field is
Adding the incident acoustic plane wave gives incident plus unit specular reflection in the upper reflected sector, just the incident wave in the remaining illuminated sectors, and zero in the lower shadow sector. The geometrical shadow boundaries also follow directly by tracing a straight ray to : the reflected ray hits the screen at , and the transmitted incident ray crosses the open part at .
For the diffracted contribution, the outgoing phase has saddle , value , and second derivative . Stationary phase therefore supplies . Substituting , and using , gives
The full asymptotic scattered field is . The angular edge-wave expression is not uniform on the geometrical boundaries. There is also a sign inconsistency in the supplied saddle formula: with its printed inverse exponential , the outgoing saddle is , not . The consistent inverse convention used above gives the requested outgoing field without that ambiguity.
For , . Hence the numerator and denominator of the combined independent-edge radiation from an open planar duct both vanish at . At the positive angle, the ratio has the removable limit
At the negative angle the ratio changes sign, as does , so both directions give the same total velocity potential. Since , the result is
For the zero mode, use directly: . Its two directions coincide and
The two-edge field is finite in the constituent propagation directions. Its magnitude there is enhanced by a factor of order over an ordinary isolated-edge diffracted amplitude away from a shadow boundary. An isolated-edge angular formula has a pole in these directions, because its geometrical optics and edge-wave split is nonuniform; the exact single-edge field is not infinite. In the combined field the equal and opposite pole residues cancel, and the difference of endpoint propagation phases produces the finite limit above. Taking this combined limit describes the leading far-field beam; it does not justify evaluating either nonuniform single-edge expression separately at its pole.
Take a cut-on mode with , put and , so , , and initially take . The acoustic waveguide mode splits into two acoustic plane waves:
At the upper edge , the upward-going constituent is incident from below. Use the reflected local coordinate ; its incident potential becomes , with local incidence angle . At the lower edge use and the downward-going constituent; it has the same local incident amplitude and incidence angle. At each wall the other constituent is the geometrical optics reflection of this incident half-amplitude, so it must not be counted again as an independent incident wave at the same edge.
Let . For a far observer, the upper and lower local observation angles are and , and their distances are and . Applying the Wiener-Hopf solution of rigid half-plane diffraction separately gives
The sign difference is the reversal of the upper-edge transverse coordinate. Their sum is the leading independent-edge radiation from an open planar duct:
Restore if a time-dependent potential is desired. This is the leading large- approximation, neglecting further diffraction between edges, and assumes a far-field distance as well as . It is not a uniform approximation for a mode approaching cutoff. The zero mode follows as the grazing-incidence limit ; its beam-direction limit is treated separately below.
The strong equivalence principle asserts universality of free fall, including gravitational self-energy, and local independence of nongravitational and gravitational experiments from a freely falling laboratory's location and velocity. In a sufficiently small local inertial frame, uniform gravitational acceleration is removed and local physics takes its special-relativistic form. The Riemann curvature tensor remains measurable through tidal effects; a finite laboratory is not made exactly flat. Freely falling test bodies follow geodesics, clocks measure proper time, and minimally coupled light follows null geodesics in geometrical optics. Local nongravitational laws retain their special-relativistic form even when different laboratories observe gravitational redshift.
The comma-to-semicolon prescription replaces flat partial derivatives by the Levi-Civita connection, and the Minkowski metric by the curved metric tensor. It implements this local correspondence for minimally coupled matter. However, an identity obtained by commuting partial derivatives need not survive unchanged when they become covariant derivatives.
Raising the indices of the field-strength definition in flat spacetime gives . Substitution into the sourced Maxwell equations yields
so the first potential equation is
Partial derivatives commute, giving the second form
No Lorenz gauge assumption was used.
Apply the comma-to-semicolon prescription before commuting derivatives. The two candidate left-hand sides become
Use the cover curvature from Question 1, with . The vector commutator is . Hence
This is the derivative-order ambiguity in covariant Maxwell potential equations. At a point in Riemann normal coordinates, the connection itself vanishes but its derivatives need not; the strong equivalence principle does not dispose of this curvature term by a coordinate choice.
Covariantizing the antisymmetric field strength and its Maxwell equations directly gives , or
This formulation has gauge invariance under , since is unchanged. In contrast, the uncorrected acquires under that transformation. Thus preserving the original electromagnetic gauge symmetry singles out the directly covariantized Maxwell equations, rather than treating the two potential equations as interchangeable in matter. The equivalence principle alone is not a unique recipe for every possible higher-derivative or curvature coupling.
In a Ricci-flat vacuum spacetime, , so and this particular ambiguity disappears even though the full Riemann curvature tensor may be nonzero. This uses vacuum with zero cosmological constant; an Einstein vacuum with nonzero cosmological constant is not Ricci flat.
For the terrestrial estimate, the relevant effect is Ricci curvature inside matter, not merely the tidal field outside the Earth. If a typical material density is , the Einstein field equations give a characteristic scale
For a field varying over scale , the derivative terms are whereas the disputed term is . Their relative size is : about for a metre-scale experiment. Even substituting the Earth's radius gives only
A curvature length comparable to would be needed for an order-one effect. In principle non-vacuum measurements could distinguish different curvature couplings, but an ordinary terrestrial laboratory has an exceedingly small signal, overwhelmed by its ordinary electromagnetic response to matter. This is a practical scale estimate, not a theorem that an arbitrarily precise experiment is impossible.
Use geometrized units and assume , , so the Reissner-Nordstrom spacetime contains a black hole. Its outer event horizon is . The classical absorption cross-section is obtained in geometrical optics, by counting incident null geodesics captured from infinity. Spherical symmetry lets us use the equatorial plane. Write , and let a dot denote differentiation with respect to an affine parameter. The conserved Killing energy and angular momentum are and . Null normalization gives
where the impact parameter is and . An incoming ray turns around if the angular-momentum barrier reaches before the ray reaches the event horizon. The limiting captured ray approaches the exterior unstable circular null geodesic, at the maximum of .
The stationary-point equation is
The outer root is the photon sphere radius
It lies outside : for it ranges from down to , whereas ranges from down to . More precisely except in the extremal case, and ; even at extremality . At this root,
so the circular null geodesic is unstable. The smaller stationary root lies at or inside the outer horizon and does not set capture from infinity. For , the radial equation has no exterior turning point and the ray enters the event horizon; for , it turns around. The critical impact parameter is therefore
The stationary-point equation gives , hence . Since a parallel incident beam is captured over a disk of radius , the photon capture cross-section of a Reissner-Nordstrom black hole is
The equality case approaches the unstable orbit indefinitely, but it is a measure-zero boundary of the captured disk and does not change the cross-section.
For the suggested parameterization, choose with and . Then , so the same cross-section is
The black-hole range has , hence . For , , , and , giving
the classical Schwarzschild black hole light-capture result. As an additional limit check, gives , , and . These are geometric capture areas, larger than the corresponding horizon areas; the relevant barrier is the photon sphere, not the horizon's apparent disk. The result applies to light in the short-wavelength limit, while a finite-frequency wave absorption cross-section depends on the greybody factors.
Use polar coordinates with ; the two faces of the screen are . Take , so the incident wave approaches from the upper half-plane, and retain the specified time dependence . Outgoing cylindrical waves then have radial factor . Define the normalized Fresnel integral
The exact Neumann Sommerfeld half-plane diffraction solution for the total spatial field is
One way to verify the Helmholtz equation is to use parabolic coordinates , . Each term has the form . The operator is , and makes its Helmholtz residual zero. At , the two Fresnel arguments coincide, while the derivatives of both the arguments and plane-wave phases cancel in pairs. Hence , which is the required normal boundary condition.
Away from the Fresnel transition regions, integration by parts gives the Fresnel tail expansion
where is the Heaviside step function. The same expansion follows from the complementary-error-function asymptotics in NIST DLMF. Because , the tails in both terms have outgoing phase . The scattered far field is consequently
The first term cancels the incident geometrical optics field in its shadow, the second is its reflected plane wave and the last is the diffracted edge wave. The expansion is nonuniform at and ; the exact Fresnel expression resolves those regions. Incidence from below follows by reflecting and .
For the local phase , define and . The dispersion relation is the Hamilton-Jacobi equation . Differentiate it in space and follow a ray with group velocity ; symmetry of the phase Hessian cancels the terms involving . Thus the ray-tracing equations are
Here means differentiation along the moving ray; subscripts on mean partial derivatives holding its other independent arguments fixed.
The depth is stationary and independent of , so and are constant. Choose the incident direction with positive ; the other sign reflects the picture. In the far deep water,
Since depends isotropically on the horizontal wavevector, the group-velocity ratio is . Therefore the ray equation is
Near shore, , so the shallow-water dispersion relation gives and . Integrating the ray slope yields
For , the near-shore phase is . A constant-phase wave crest thus has
Its tangent becomes parallel to the shoreline, while rays approach perpendicular to it. The exponent is between zero and one, giving the curved crests sketched below for .
Figure 1.
Near-shore wavecrests bending parallel to the beach and rays approaching normally, for a depth proportional to x
. Details.
These are the formal geometrical optics asymptotics. For fixed and , arbitrarily close to the shore, so the slowly varying wave approximation eventually fails there; the sketch describes the ray-theory regime before that final inner region.
For a spherical grain of density , the radiation-pressure coefficient is
The dependence of radiation pressure cancels that of stellar gravity. Here radiation-pressure efficiency includes absorption and the momentum-transfer part of scattering, averaged over the stellar spectrum. In the geometrical optics regime, exceeds the important stellar wavelengths, is of order unity, and : cross-sectional area grows as , whereas mass grows as . Around the stellar wavelength, Mie scattering can produce a broad maximum and material-dependent structure. In the Rayleigh scattering regime, absorption gives , while scattering gives . Thus small absorbing grains approach an approximately constant , whereas nearly transparent grains have . A universal fall to zero at small is therefore inappropriate without specifying the optical properties. The sketch shows both possible small-grain limits; its vertical normalization is illustrative.
Figure 1.
Radiation-to-gravity ratios for absorbing and scattering grains, and the signed angular lag over five dust orbits for beta equal to 0.01 and 0.04
. Details.
Assume release with negligible velocity relative to the planet, negligible planetary gravity after release, and a constant radiation-pressure coefficient. Put and . The inherited speed and specific angular momentum are and . The new specific orbital energy is
For , the dust orbit released from a circular parent ring is an ellipse. Using and gives
For , release is at periapsis, since . At the radiation-pressure blowout threshold, , the orbit is parabolic. For it is hyperbolic: the signed semimajor axis is negative and . For the central force ceases to be attractive, so the elliptical interpretation and the positive-eccentricity formula cannot be extended unchanged.
With measured from release, it is the true anomaly. The polar equation of a Kepler orbit and conservation of specific angular momentum give
Define the signed dust-tail angular lag by , with and both angles unwrapped. For fixed , expansion to first order in gives
so . The dust trails the planet, hence the signed lag is negative. Its slope is ; it decreases monotonically, has horizontal tangents at successive release-direction passages, and has a sinusoidal ripple about . At the end of orbit , and . At five orbits this is for and for . The upper- sketch remains a first-order approximation; its accumulated error is .
For the subsequent positive-distance statements, set . The mean motion of the grain is
A full relative wrap, , therefore takes after averaging over the orbital ripple. During this time Poynting–Robertson drag changes the semimajor axis by
The signed change is negative. This estimate treats as fixed in the rate and computes the drag accumulated over the radiation-pressure wrap time. Since , drag causes little migration over that time. For an arbitrarily tiny , however, this small migration can itself alter the relative phase appreciably: neglecting that feedback on the wrap time additionally requires .
Rapid dust sublimation is a plausible sink near a hot planet: a grain can evaporate long before it completes a relative wrap. Destructive collisions can also remove visible grains. Poynting–Robertson drag alone, with the estimate above, does not explain immediate removal from a short tail. If the destruction time is , a short tail requires roughly .
For a steady dust-tail continuity equation, assume a constant injection rate , grains with the same fixed , negligible release-speed dispersion, and negligible destruction within the segment being calculated. A finite destruction lifetime can terminate that segment, or multiply its density by a survival probability. To first order,
To obtain the explicit trigonometric profile, make the additional secular phase approximation for a dust tail, , discarding the bounded term in the angle-to-age map while retaining the periodic instantaneous drift speed. Then
Since the square is even, the same written profile applies to the signed if number intervals are interpreted with positive orientation. The result is an approximate phase-substitution profile, not a uniformly valid consequence of . The consistent first-order description is instead parametric:
In particular, immediately after release, and , whereas the phase-substitution expression would give . Nor does by itself justify neglecting the orbital ripple. The formal enhancements where are dust-tail caustics; a spread of radiation-pressure coefficients, finite release velocities, and destruction smooth them. With constant lifetime , the parametric profile acquires . These qualifications state precisely the extra assumptions behind the explicit profile.
Use the geometrical optics convention
Because and , differentiating gives an order-one physical angular frequency and order-one physical wavenumbers. Absorb a constant leading amplitude phase into and take real; for a complex amplitude the corresponding quadratic density is .
Substitution into the wave equation gives the eikonal equation for a variable-speed wave at leading order:
Choose the positive-frequency branch , ; the negative branch can be treated in exactly the same way. The imaginary first-order terms give
Multiplying by puts this wave-action transport for a variable-speed wave in conservation form:
Its density is and its flux is that density times the group velocity. Independently, equality of mixed wave phase derivatives gives
This phase compatibility in geometrical optics is essential when converting the differentiated dispersion relation into equations along rays.
For completeness let be a general local dispersion relation. Define ray tracing by . Using the chain rule in and the symmetry gives
Likewise cancels its advective term because . Hence the Hamiltonian ray equations for a local dispersion relation are
The derivatives on the right hold the wavevector fixed. For this wave equation they reduce to
When , the ray invariants are and , while . For a monochromatic component with these fixed invariants write , so
Using the stated independence of from , the wave-action transport for a variable-speed wave becomes . Therefore
This is the stationary wave amplitude in a stratified wavespeed; is the constant for that component or ray family.
At the proposed simple turning point of a variable-speed wave, take and . On the chosen positive branch this entails . Define
As the ray approaches from below, and
The amplitude diverges and the vertical group velocity vanishes. The WKB approximation also fails its slow-variation condition when . The turning-point enhancement of wave amplitude shows that this divergence is a failure of the outer ray approximation, rather than an actual infinite solution.
To derive the inner wavefield directly, separate the conserved horizontal wave phase and frequency in the original differential equation:
Dividing by gives . Set . The second derivative is of size , whereas , so the Airy scaling at a variable-speed wave turning point is
The first-derivative term is smaller by , and higher coefficients in the expansion of give the same relative order. Thus the general leading inner profile is a linear combination of the two Airy functions and . For decaying Airy continuation and ray reflection, if the physical continuation is bounded and decays into , its growing coefficient is zero. In that usual evanescent continuation the wavefield has the form
Without a condition in the evanescent region the corresponding term remains admissible locally; the given existence of a wavefield below the turning point alone does not select its coefficient.
Finally, the outer amplitude at distance is for and fixed nonzero . The oscillatory Airy turning-point connection formula has exactly the same envelope on the allowed side. Therefore the inner wavefield has magnitude . The decaying Airy continuation matches an incident and reflected pair of rays, so a single upward branch must be supplemented by its reflected branch near the turning point; no formal coefficient matching is needed to identify this magnitude.
Refraction changes the propagation direction, and hence the momentum, of transmitted light. The particle receives the opposite momentum change by conservation of momentum. For a ray carrying power , a useful force scale is
with corrections for reflected rays and their momentum fluxes. Here is the surrounding refractive index; this is a ray-force scaling rather than a complete electromagnetic stress calculation.
For fixed geometry and refractive indices, , so the force contribution is proportional to the local intensity . Refraction toward the normal on entry and away from the normal on exit must both be included: a force inferred from only the first interface can have the wrong direction.
The specified size is larger than the wavelength, so a geometrical optics treatment is appropriate despite the generic “nanoparticle” label. A dipole/Rayleigh-particle formula would use the opposite size limit.
Explicit reference to laws is not necessary for every good scientific explanation. Laws remain indispensable in many explanations, but their occurrence alone is not sufficient either. The issue turns partly on whether a law means a contingent regularity of nature, any supporting generalization, or even a mathematical necessity.
The deductive-nomological model offers a strong positive case. Laws and circumstances entail the phenomenon, and at least one law is essential to the derivation. For example, Newton's second law and an inverse-square gravitational force, with appropriate initial conditions, yield predictions for an idealized two-body orbit. A universal relation unifies cases that otherwise look like unrelated observations. Carl Hempel and Paul Oppenheim explicitly develop adequacy conditions for such deductive explanations; their 1948 paper should not be read as a finished treatment of every statistical explanation.[ref]
However, derivability does not always give the right explanatory direction. In a simplified geometrical optics model, a vertical pole of height on level ground casts a shadow of length at solar elevation . Given and , one derives ; given and , one derives . The same geometrical relations enter both derivations. Yet the shadow does not normally explain why the pole was built to that height. The reverse calculation is a way to measure its height. The difference concerns which features produce or constrain which others, rather than deductive validity alone.
Mechanistic explanation is another challenge to a compulsory law-based format. A clock stopped because debris blocked a particular wheel, thereby preventing the mechanism from advancing. Inspecting the obstruction, removing it and observing restored operation can answer the causal question with considerable precision. The explanation describes organization and a relevant difference-making event without stating a universal law. It is more informative about this failure than the observation that every component obeyed Newtonian mechanics.
A defender of the covering-law model can reply that the causal account relies implicitly on regularities: debris that offers no resistance would not stop the wheel. This is a fair warning against treating a bare chronology as an explanation. But it does not establish that explanatory understanding requires identifying exceptionless fundamental laws, or that replacing the account with a complete microscopic derivation would improve the answer. Stable, tested relations in the actual operating regime may be sufficient.
An explanation can also turn on a mathematical constraint. Suppose an engineer asks why a connected network with four odd-degree junctions cannot be inspected by a route using every segment exactly once. Represent junctions as vertices and segments as edges of an undirected graph. Every intermediate visit pairs an incoming and an outgoing edge, so only the two endpoints of an open trail can have odd vertex degree. Four such vertices therefore exclude an Eulerian trail. The impossibility persists if segment lengths, construction materials or walking speeds change while the connections remain fixed. This is the obstruction in the Seven Bridges of Königsberg.[ref]
The physical application requires that the graph represent the allowed routes correctly. Once that is granted, the explanatory necessity comes from parity, rather than a contingent physical law. Calling every mathematical constraint a law would preserve the original claim only by greatly widening its meaning. A critic may restrict “scientific” to causal explanations, but that restriction needs justification when applied mathematics answers a concrete engineering question.
Thus laws are powerful explanatory resources, and good explanations normally support relevant what-if judgements. Those judgements can be grounded in laws, mechanisms or mathematical constraints. Requiring explicit reference to laws imposes an unnecessarily narrow format; requiring some disciplined account of dependence is much more defensible.
The distinction supplies a coherent strategy for an empiricist realism, but does not by itself justify that realism. It separates an object's relatively stable physical constitution from its effects on perceivers. The strongest defensible version concerns the explanatory roles of properties, rather than a division between wholly real properties and wholly unreal sensations.
For John Locke, primary qualities include extension, shape, solidity, number and motion; secondary qualities are powers of bodies to produce experiences such as colours and tastes through their constitution. The experienced colour need not resemble the physical cause of that experience. Importantly, a power belonging to a body is not thereby imaginary: the primary and secondary qualities distinction need not deny that an unobserved object has dispositions to affect perceivers.[ref]
This helps empiricism accommodate perceptual variation without abandoning an external world. A surface can produce different colour experiences under different illumination while keeping approximately the same spectral reflectance. A warm and a cool hand can give different sensations in the same water; this need not mean that the water has two incompatible temperatures. The observer's initial state belongs in the explanation. Controlled changes in illumination, viewing conditions and bodily state allow repeatable predictions about experience. An empiricist can therefore treat physical objects as explanatory sources of regularities in experience, rather than demand that every appearance be copied into the object.
However, this explanatory success does not establish that ideas of primary qualities resemble mind-independent properties. We cannot step outside every perceptual and instrumental relation to compare an experience directly with its alleged original. Moreover, the motion and arrangement of unobserved constituents are themselves theoretical commitments. If empiricism permits only what is immediately given in sensation, the distinction introduces precisely the inference beyond sensation that requires defence. If empiricism permits fallible explanatory inference, scientific realism becomes possible, but the justification comes partly from that additional account of inference.
George Berkeley's challenge is that perceived extension and shape vary with viewpoint and perceiver just as colour does, and that extension cannot be experienced wholly apart from sensible qualities.[ref] This undermines the simple test “variable appearance means merely secondary”. It does not prove that stable physical properties are absent. An obliquely viewed circular disc can produce an elliptical image; geometrical optics explains the relation between the disc and that image. Variation can be evidence for a systematic relation, rather than evidence against an external cause.
Modern physics also discourages treating Locke's list as an unrevisable inventory. Special relativity makes measured length depend on the relation between an object and an inertial frame; motion was relational even in Principle of Galilean relativity. Neither fact makes the measurements arbitrary. Conversely, spectral reflectance is an objective, measurable property even though perceived colour depends on illumination and the perceiver. Objectivity, relationality, perceptual variability and explanatory fundamentality are distinct issues.
The plausible distinction is consequently between an experience and the physical properties and relations that explain it, with the explanation open to correction. An empiricist realism can use this distinction to explain why appearances change while a world persists. It cannot obtain a proof of the external world, or a privileged catalogue of intrinsic properties, simply by naming some qualities primary. The gain is an empirically disciplined model of perception; its limit is that the realist interpretation still needs an argument.
The covering-law model explains an event by showing how it falls under general laws in specified circumstances. It captures a major form of scientific understanding, but entailment and predictability do not by themselves capture explanatory relevance or direction.
In the deductive-nomological model, let be laws, relevant circumstances, and the event description. The explanans is ; the explanandum is . The argument has the form
The deduction must be valid, at least one law must be essential to it, the explanans must have empirical content, and its premises must be true for a sound explanation. Merely writing a valid argument from arbitrary premises is insufficient. Carl Hempel and Paul Oppenheim also identify a structural affinity between explanation and prediction: supplied beforehand, the same premises could in principle support the prediction.[ref]
For an ideal simple pendulum at small amplitude, Newtonian mechanics and the specified constraints yield
Here is the pendulum's length, the local gravitational acceleration, and its oscillation period. The deduction connects an observed regularity to more general laws and explains why changing length changes the oscillation period. The approximation must be stated: a finite-amplitude, dissipative simple pendulum does not exactly satisfy these premises. A useful model-based explanation can be approximately correct even when the ideal premises are not literally true.
The model's appeal is that it requires more than an evocative story. It displays assumptions and shows why they constrain the phenomenon. It can also explain laws through wider laws: geometrical optics can recover a refraction law from suitable descriptions of wave propagation. A principle theory can explain by constraints without supplying a detailed constructive theory of every constituent process. This is a strength of the account's generality.
The first difficulty is asymmetry. For a vertical pole of vertical length on level ground and the Sun's elevation angle , geometrical optics gives the shadow's length
With suitable premises, either deduction is valid. Yet the pole and illumination explain the shadow, whereas measuring the shadow ordinarily allows inference to the pole's vertical length without explaining why the pole has that vertical length. The same equation supports both calculations. Its logical form does not encode the relevant direction of dependence. Context can change the question, but the distinction between explanation and evidential reconstruction remains.
The second difficulty is irrelevance. Adding the premise that a laboratory wall is blue to a correct simple pendulum derivation preserves validity and the essential use of physical laws. The extra premise contributes nothing to explaining the oscillation period. More elaborate examples show the same problem when irrelevant factors are hidden inside statistical regularities. The explanatory account needs a way to identify what matters under relevant changes, not just what accompanies a valid derivation.
The inductive-statistical model extends the programme to explanations using statistical laws and high conditional probability, relative to appropriate available information. This is an extension beyond the deductive focus of the 1948 article. High probability is nevertheless not necessary for every explanation. Radioactive decay can explain an infrequent detector event through a physical process and its nuclear decay constant, although that particular event in a short interval was unlikely. Nor does a high conditional probability automatically establish explanatory relevance: a reliable indicator may be an effect of the outcome or share another cause with it.
A better assessment therefore retains law-based derivations as one explanatory resource while adding dependence, relevance and the question being asked. Mechanistic explanations identify productive processes; accounts based on interventions ask which changes would alter the outcome. Neither proposal needs to force every mathematical or constraint-based explanation into a causal story. The covering-law model illuminates how laws make phenomena intelligible, but it is too broad as a sufficient test and too restrictive as a universal necessary form.
In the Huygens-Fresnel principle construction, after a time the incident disturbance advances while the secondary disturbance in the second medium advances . The two right triangles share the segment along the interface. Hence
Here both angles are measured from the normal vector, and are phase velocities. This is Snell's law. For , no real transmitted angle exists when
This is total internal reflection; equality is the limiting grazing geometry. The statement concerns an ideal transparent interface, not material absorption or losses at a nearby second boundary.
Let be the internal angle to the optical axis in the straight step-index optical fiber. At its flat entrance, Snell's law gives . At the side wall a meridional ray has angle of incidence . The limiting total internal reflection condition is . Thus the optical fiber acceptance angle satisfies
The numerical aperture expression assumes the square root is at most one for air; otherwise all forward launch angles are admitted by this ideal ray test. Strictly confined meridional rays lie inside the limiting cone.
For and , and . A light ray at internal angle travels distance along a guide of axial length . In the nondispersive approximation its travel time is . Therefore
Here and ; using gives and . The halving applies to the external launch angle, not to . For actual short pulses the group refractive index replaces the prefactor in ; the source supplies no optical dispersion data. The difference calculated here is geometrical intermodal dispersion in a nondispersive geometrical optics model.
Bending lowers the outer-wall angle of incidence, allowing a previously guided light ray to escape into the cladding. To calculate a definite meridional ray bend threshold, continue the on-axis launch assumption and take a meridional ray in the plane of the circular bend. Its initial internal angle to the centreline tangent obeys . Its straight path has distance from the bend centre. At the outer wall of radius , elementary right-triangle geometry gives
At the loss threshold, this equals . Solving for the centreline radius gives
For this launch, violates the total internal reflection condition at the outer wall; is the limiting case. A real optical fiber has gradual bend loss governed by its electromagnetic wave modes, rather than a universal abrupt cutoff.
Launch dependence. The final sentence does not separately specify the entry position or orientation of the bend relative to the incident light ray. For a planar launch displaced by from the centreline toward the outer wall, replace the numerator of by . For example, a launch at the inner edge, , instead gives
Thus is the result for the stated on-axis continuation; it is not an entry-independent threshold. No missing figure is needed for these explicitly specified ray models.
The condenser lens should image the point source onto the small projection lens. Then every illuminated LCD point directs its central light ray into the projection lens, rather than wasting light elsewhere. In the paraxial idealization this gives approximately uniform useful illumination.
Put the LCD at , the source at , the projection lens at , and the condenser lens at . The cone from the condenser lens's rim, of radius , to the projection lens has radius
at the LCD. Maximum approximately uniform illumination without unnecessary overfilling makes this equal the half-diagonal . Thus : place the condenser lens before the LCD, or after the source. Its object and image distances are and , so
The illuminated disk just contains the rectangular LCD. Exact spatially uniform irradiance is not guaranteed by a single spherical lens and a point source; the result uses paraxial geometrical optics, negligible optical aberration, and an approximately uniform incident cone.
The screen now lies in the back focal plane of the lens. In paraxial geometrical optics, a light ray arriving at the lens at height and angle leaves at angle , and reaches the screen at
Thus all light rays with the same incident direction reach the same screen coordinate, independently of their height at the lens. The Fraunhofer diffraction pattern is an angular pattern mapped to :
Here is the one-slit light intensity after focusing. Its absolute value depends on collected light and the lens aperture, which are unspecified; it need not equal the no-lens value . Propagation from the slits to the lens introduces a common angular wave phase, so it does not alter the relative wave phase responsible for these fringes, provided the aperture passes the required light.
Use a converging thin lens as a magnifying glass, with the screen at or just inside its front focal plane. It presents an upright virtual image at infinity or at the eye's near point, respectively. Let the near point distance be ; the conventional numerical assumption is , which is not specified in the paper.
Under the usual approximation that the eye is close to the eyepiece, interpreting as the focal length gives the familiar angular magnifications
The first is for a relaxed eye with the screen at the front focal plane. For the second, the virtual image is at signed distance and the thin lens equation gives screen distance . Thus the often intended maximum requires a screen-to-eye distance of approximately , rather than exactly .
If instead fixes the physical screen-to-eye separation , an eye adjacent to the optical lens sees the angular magnification
This is achieved by for relaxed viewing, or by for a virtual image at the near point. The latter follows from .
More generally, the source does not specify the eyepiece-to-eye distance either. If that distance is , then and a virtual image at the near point has transverse magnification . Its angular magnification relative to unaided viewing at is
For example, and give , with and . This is a concrete counterexample to a universal maximum of at fixed screen-to-eye separation. In ideal geometrical optics, allows arbitrarily large with an arbitrarily short focal length; practical aperture and optical aberrations constrain this. A unique numerical maximum therefore needs the conventional near-eye eyepiece geometry and near point assumption. The conventional answer is , with those assumptions stated explicitly.
Let . The effective droplet radius and shape factor give and , so . If the extinction efficiency is approximately independent of droplet size over the distribution,
For visible wavelengths and droplets large compared with the wavelength, geometrical optics makes a useful approximation. Retaining it as the specified constant, and taking constant over the cloud,
The comes from integrating ; replacing the whole cloud by its cloud-top extinction would incorrectly omit it. The effective-radius relation treats the distribution shape through , without assuming all droplets have the same size. Liquid phase, negligible vertical variation in that shape factor, and negligible departures from the adiabatic water profile are essential assumptions.
Consider an optical point source at , a uniform transparent medium, and a flat return surface . A light ray with slope reaches . A phase-conjugate mirror reverses its full direction and returns it to . An ordinary mirror reverses only its normal direction; its returning light ray reaches at . Thus rays with at return to with ordinary specular reflection, but all return to under ideal phase conjugation. These are stipulated geometric coordinates, not laboratory measurements.
Figure 1.
Ordinary reflection and ideal phase conjugation: curved wavefronts and returning light rays
. Details.
Solid blue curves mark outward wavefronts; dashed curves mark returning wavefronts. In the phase-conjugate mirror panel the returning curves coincide with the outward ones, and the arrows reverse on the same light rays. The diagram uses equal spatial scales. In geometrical optics, reversing each light ray in an unchanged medium with wave reciprocity retraces its route. At the optical point source itself, the ray construction becomes singular and diffraction sets the physical focal size.
A wave-level proof outline applies to a stationary scalar medium with real refractive index and no wave absorption. Writing for the vacuum speed of light, its Helmholtz equation is
All coefficients are real, so complex conjugation gives the same Helmholtz equation for . The conjugated outgoing boundary data select the incoming solution. This explains the connection between phase conjugation and retracing, provided the required incoming field is supplied over the necessary aperture. It also exposes the limits: wave reciprocity alone does not imply absence of wave absorption; conjugation of complex material coefficients would describe a different medium. Loss, an incomplete aperture, a changing medium or failure of wave reciprocity can prevent exact reconstruction. Intensity-dependent material changes need a separate analysis and are not covered by this linear proof.