Kramers–Kronig relations

Hilbert-transform relations connecting real and imaginary parts of a causal linear response function through analyticity in the upper complex-frequency half-plane.

Version

v2 · 2026-09-19 · History

Domain-specific #

5225

Domain group

Natural Sciences

Origin domain

Physics

Subdomains

Mathematical Physics, Linear Response → Physics

Core Idea

The Kramers–Kronig relations express each component of an analytic response function as a principal-value integral transform of the other. Causality makes the time-domain impulse response one-sided, which gives upper-half-plane analyticity; contour integration then relates boundary real and imaginary parts. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of mathematical physics. It is dispersion-absorption linkage forced by causal analyticity. That residual remains recognizable when examples, notation, scale, or implementation change, but it disappears if the carrier is mistyped, the condition that the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions fails, a neighboring object is substituted, or notation and topical resemblance replace the constitutive test.

How would you explain it like I'm…

No Ringing Before Hitting

Nothing can react before it gets pushed: a bell rings only after you hit it. Because of that rule, how much a material slows down a wave and how much it soaks the wave up are tied together. If you know one of them for every kind of wave, you can work out the other.

Slowing and Soaking Are Linked

When light, sound, or electricity passes through a material, the material responds in two ways at each frequency. One part shifts or slows the wave, and the other part absorbs it. The Kramers–Kronig relations say these two parts are not independent. Because a material can only respond after it is pushed, never before, knowing the full pattern of one part across all frequencies lets you calculate the other. This only works when the response follows certain rules, such as behaving nicely at very high frequencies.

Causality Links Dispersion and Absorption

A response function, such as how a material's polarization depends on the frequency of an applied field, has a real part and an imaginary part. The real part is linked to dispersion (how the wave is shifted or slowed), and the imaginary part to absorption. The Kramers–Kronig relations express each part as an integral over all frequencies of the other. The reason is causality: the response in time is zero before the push. This makes the function extendable to complex frequencies and smooth (analytic) in the upper half of the complex plane. Contour integration then ties the real and imaginary parts together. The relations require stability, suitable high-frequency decay, and consistent sign and Fourier conventions.

 

Consider a linear, causal, stable response, where the impulse response vanishes for t < 0. Its Fourier transform χ(ω) then extends analytically to the upper half of the complex ω-plane. If χ also decays suitably at high frequency, Cauchy's integral theorem applied along a contour that runs along the real axis and closes in the upper half-plane gives the Kramers–Kronig relations. Re χ(ω) = (1/π) P∫ Im χ(ω')/(ω'−ω) dω', and Im χ(ω) = −(1/π) P∫ Re χ(ω')/(ω'−ω) dω', where P denotes the principal value. Each part is the Hilbert transform of the other, up to sign conventions. Physically, this forces a link between dispersion and absorption. The signs depend on the Fourier convention chosen, e^{-iωt} versus e^{+iωt}. If the asymptotic or analyticity conditions fail, for example when there is a static offset or a pole, subtracted or modified forms are needed.

Scope of Application

Kramers–Kronig relations belongs to mathematical physics and is useful where the analyst can specify a stable causal linear response, complex frequency, analytic response function, real and imaginary parts, decay or subtraction conditions, principal-value integrals and measurement bandwidth, then evaluate the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions. The scope is broad within that domain but bounded by the need for the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity

The abstraction clarifies a crowded vocabulary by making the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Kramers–Kronig relations can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Kramers–Kronig relations. Kramers–Kronig relations compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: a stable causal linear response, complex frequency, analytic response function, real and imaginary parts, decay or subtraction conditions, principal-value integrals and measurement bandwidth. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of mathematical physics because they reuse a stable causal linear response, complex frequency, analytic response function, real and imaginary parts, decay or subtraction conditions, principal-value integrals and measurement bandwidth, Causality makes the time-domain impulse response one-sided, which gives upper-half-plane analyticity; contour integration then relates boundary real and imaginary parts., and type the carrier, state every parameter and convention in the definition, test that the response satisfies the stated causality, stability, analyticity and high-frequency conditions and the integral uses consistent Fourier and sign conventions, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Kramers–Kronig relations Domain-specific

Parents (1) — outgoing typed relations

• Kramers–Kronig relations is a kind of Causality Prime

  Causal temporal response entails analytic frequency structure and component linkage.

Hierarchy path (1) — routes to 1 parentless root

• Kramers–Kronig relations → is a kind of Causality → is a kind of Dependency

Neighborhood in Abstraction Space

Kramers–Kronig relations sits in a crowded region of the domain-specific corpus (34^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Response Functions & Signal Analysis (7 abstractions)

Nearest neighbors

• Dissipation factor — 0.89
• Hermitian function — 0.88
• Linear time-invariant system — 0.88
• Multidimensional system — 0.88
• Lorentz oscillator model — 0.87

Computed from structural-signature embeddings · 2026-10-25