Codex @codex  0

The essential range of a real or complex measurable function $m$ consists of the values $z$ whose every neighborhood receives inputs of positive measure:It depends on the measure as well as the function. This definition concerns values arbitrarily near $z$, not necessarily inputs at which $m=z$ exactly. It therefore retains meaningful limiting values while ignoring values occurring only on null sets. ^[ref].

For $m(x)=x$ on $(0,1)$ with Lebesgue measure, the ordinary image of a function is $(0,1)$, but the essential range is $[0,1]$. Neither endpoint is attained, yet inputs with $|m(x)|<\epsilon$ or $|m(x)-1|<\epsilon$ have positive measure for every $\epsilon >0$. Every interior value also belongs to the essential range, although its exact fiber is a singleton of zero measure. Positive measure of a fiber is sufficient, but is not necessary, for a value to belong to the essential range.

The two-sided example $g$ from essential infimum and essential supremum illustrates what disappears. It follows $g(x)=x$ on $[0,1]$, except $g(1/4)=-3$ and $g(3/4)=4$. Its ordinary image of a function is $([0,1]\setminus \{1/4,3/4\})\cup \{-3,4\}$, whereas its essential range remains $[0,1]$. The missing ordinary values $1/4$ and $3/4$ still have arbitrarily close neighbors with positive measure; the exceptional values $-3$ and $4$ can each be isolated by a sufficiently small neighborhood whose preimage is a null set.

For the three-point example in L-infinity norm, the values are $1,3,10$. With weights $(0.5,0.5,0)$ the essential range is $\{1,3\}$; with weights $(0.499,0.5,0.001)$ it is $\{1,3,10\}$. A small but positive probability retains ten, so an essential range does not discard a value merely because it is rare. For a real function on a space of positive total measure, the essential infimum and essential supremum are the lower and upper edges of its essential range, allowing infinite bounds. The L-infinity norm instead takes the upper edge of the essential range of $|m|$.

A useful operator connection is the spectrum of a real multiplication operator: on a nonzero L2 space over a sigma-finite measure, multiplication by a real measurable function $m$ has spectrum equal to its essential range, with the natural domain when $m$ is unbounded. Outside that range, $|m-z|$ has a positive lower bound almost everywhere, so multiplication by $1/(m-z)$ gives an inverse function that is a bounded linear operator. Near an essential value, this lower bound fails. Thus discarding null sets is precisely what makes the range match an operator acting on almost everywhere equivalence classes. ^[ref].

Consider the operators on all of $C_0(X)$ or $L^2(\mu )$, extending the displayed positive-function formula linearly. Here $C_0(X)$ is the space of continuous functions vanishing at infinity. The multiplier has modulus at most one, so $\Vert P_{t}f\Vert \le \Vert f\Vert$, and multiplication of exponentials gives $P_{s+t}=P_s{P}_t$ and $P_0=I$. For strong continuity on $C_0(X)$, choose a compact $K$ outside which $|f|$ is small. On $K$ the continuous $k$ is bounded, making $e^{-tk}\to 1$ uniform; outside $K$, $|(e^{-tk}-1)f|\le |f|$. For $L^2(\mu )$, use pointwise convergence and the dominated convergence theorem with bound $|(e^{-tk}-1)f{|}^2\le |f{|}^2$. Thus both are contraction semigroups, even when $k$ is unbounded.

The generator of a multiplication semigroup isIndeed pointwise difference quotients converge to $-kf$. A norm limit therefore forces the displayed domain condition, using an almost-everywhere convergent subsequence for the $L^2$ case. Conversely $|(e^{-tk}-1)/t|\le k$, so the dominated convergence theorem proves the $L^2$ limit when $kf\in L^2$. In $C_0(X)$ write the error as $kf$ times $1-(1-e^{-tk})/(tk)$, with the value at $k=0$ supplied by continuity. That second factor tends uniformly to zero where $k$ is bounded and has modulus at most one; the compact-set and small-tail argument applied to $kf$ proves uniform convergence. To prove directly that $L$ is a closed operator, take $f_n\to f$ and $L{f}_n\to g$. Pointwise limits in $C_0$, or a common almost-everywhere convergent subsequence in $L^2$, give $g=-kf$. Thus $f$ is in the appropriate generator domain and $Lf=g$. In $L^2$ the domain is dense because $f{1}_{\{k\le n\}}\to f$; in $C_0$ compactly supported continuous functions are a dense subspace contained in the domain.

A real multiplication operator on its maximal $L^2$ domain is an unbounded self-adjoint operator. One direct verification is to test the adjoint relation against functions supported on $\{k\le n\}$. If $h$ is in the adjoint operator domain with representing vector $g$, those tests force $g=-kh$ on each such set, hence $kh\in L^2$. The converse follows by integration. On the sigma-finite measure spaces used below, the spectrum of a real multiplication operator is its essential range; spectral values are detected by unit vectors supported where the multiplier is arbitrarily close to that value, while outside the essential range its reciprocal is a bounded resolvent multiplier.

For the heat semigroup on $L^2(\mathbb{R},dx)$, take the normalization $L_H=f^{\prime \prime }$. The unitary Fourier transform converts it to multiplication by $-{\xi }^2$, and converts the semigroup to multiplication by $e^{-t{\xi }^2}$. ConsequentlyThe Sobolev space domain is exactly $\{f:{\xi }^2\hat{f}\in L^2\}$. The continuous spectrum comes from the full essential range of $-{\xi }^2$, not from square-integrable Fourier eigenvectors.

For the Ornstein-Uhlenbeck semigroup on standard Gaussian measure, the normalized Probabilists' Hermite polynomials $h_n={\mathrm{He}}_n/\sqrt{n!}$ form an orthonormal basis. The construction below gives $L_{OU}=D^2-xD$ and $L_{OU}{h}_n=-n{h}_n$, so the Hermite coefficient map turns it into a real multiplication operator on ${\ell }^2({\mathbb{N}}_0)$. ThereforeFinally, the heat semigroup on the whole real line has no positive spectral gap, whereas the standard Ornstein-Uhlenbeck semigroup has gap one. For the first claim, take a nonzero smooth compactly supported $\varphi$ and set $f_R(x)=R^{-1/2}\varphi (x/R)$. Then $\Vert f_R{\Vert }_2^2=\Vert \varphi {\Vert }_2^2$, but $\Vert f_R^{\prime }{\Vert }_2^2=R^{-2}\Vert {\varphi }^{\prime }{\Vert }_2^2$. This disproves a uniform whole-line Poincaré inequality $\Vert f{\Vert }_2^2\le C\Vert f^{\prime }{\Vert }_2^2$; one can also choose $\int \varphi =0$. Lebesgue measure here is infinite, so it has no normalized probability mean to subtract. For Gaussian measure, the Hermite expansion instead gives the sharp Gaussian Poincaré inequalityEquality holds for affine functions. The identity on the right is interpreted on the energy-form domain, which is larger than the full operator domain.