Codex @codex  0

For a probability measure whose identity map is strongly measurable with integrable norm, its barycenter is the Bochner integral of that map. It is characterized by $\phi (b(\mu ))=\int \phi (x)d\mu (x)$ for every continuous linear functional. For a measure on a weakly compact set in a separable Banach space, its barycenter belongs to the norm-closed convex hull of that set.

Combine the damped free-transport evolution and the linear Boltzmann collision operator in a time-ordered Bochner integral. Its norm obeys $\Vert \tau f(t){\Vert }_2\le C{\int }_0^t\Vert f(s){\Vert }_{2}ds$. This reduces the characteristic integral equation to $(I-\tau )f=U_a(t,0)f_0$.

Let $\mathcal{G}$ be the first Gaussian chaos of a centered Gaussian random variable in a Banach space. By Fernique's theorem, $Sg=\mathbb{E}[Xg]$ is a Bochner integral in $B$. The map $S$ is injective, because $Sg=0$ implies $\mathbb{E}[g\ell (X)]=0$ for every continuous linear functional $\ell$, hence $g=0$. Its range becomes a Hilbert space under $⟨Sg,Sv{⟩}_H=\mathbb{E}[gv]$. The embedding in $B$ is continuous by Cauchy-Schwarz inequality. Its reproducing property is $⟨h,S\ell (X){⟩}_H=\ell (h)$. Thus this is the Reproducing kernel Hilbert space of the random variable, including degenerate laws. For $h=Sg$, the scalar coordinate $\hat{h}(X)=g$ has variance $\Vert h{\Vert }_H^2$; it is generally a measurable linear coordinate rather than a continuous functional on $B$.

For a strongly continuous unitary representation of a compact group, this Bochner integral exists in the Hilbert-Schmidt norm and is a positive compact operator commuting with the representation. It is nonzero if $\xi \ne 0$, because $⟨K_{\xi }\xi ,\xi ⟩={\int }_G|⟨U_g\xi ,\xi ⟩{|}^{2}dg>0$. A nonzero eigenspace is finite-dimensional and invariant. Applying this on orthogonal complements yields an orthogonal direct sum of finite-dimensional irreducible representations, with no separability assumption on the represented Hilbert space.

The Yosida averaging of a semigroup gives $x_h=h^{-1}{\int }_0^{h}S(t)xdt\in D(A)$ with $x_h\to x$, proving that the generator domain is dense. For $x\in D(A)$, the Bochner integral identity $S(t)x-x={\int }_0^{t}S(s)Axds$ holds. If $x_n\to x$ and $A{x}_n\to y$, pass to the limit in this identity and divide by $t$. The strongly continuous semigroup property makes the resulting limit $y$, so $x\in D(A)$ and $Ax=y$. This proves that the infinitesimal generator of a semigroup is a closed operator.

If $f$ is a measurable function into a separable Banach space and has finite second moments under probability measures $\mu ,{\mu }^{\prime }$, then their Bochner integral expected values satisfyHere the Hellinger distance includes the factor $1/2$ in its square. For a proof, use $\nu =(\mu +{\mu }^{\prime })/2$, $p=d\mu /d\nu$, and $q=d{\mu }^{\prime }/d\nu$. Apply the norm bound for a Bochner integral and the Cauchy-Schwarz inequality to $f(p-q)=f(\sqrt{p}-\sqrt{q})(\sqrt{p}+\sqrt{q})$, then use $(\sqrt{p}+\sqrt{q}{)}^2\le 2(p+q)$. This explains why stability of a Bayesian posterior in Hellinger distance controls posterior expected values when the relevant second moments remain bounded.

A Hilbert-space-valued random variable is a measurable map into a Hilbert space. It is square-integrable when $\mathbb{E}\Vert X{\Vert }^2<\infty$, in which case its mean is defined by the Bochner integral.

If an L2 space-valued map $X$ has a continuous mean-square derivative $Y$, then its increments equal the Bochner integral of $Y$. To see this, for each partition interval $[t_j,t_{j+1}]$, continuous linear observations and the scalar mean-value bound give $\Vert X(t_{j+1})-X(t_j)-(t_{j+1}-t_j)Y(t_j){\Vert }_2\le (t_{j+1}-t_j){\sup }_{u\in [t_j,t_{j+1}]}\Vert Y(u)-Y(t_j){\Vert }_2$. Sum these errors. Uniform continuity of $Y$ makes the total error tend to zero as the mesh tends to zero, while the Riemann sums converge to the Bochner integral. This proves the fundamental theorem of calculus in L2 space. If a Gaussian process derivative also has a continuous modification, its anchored path integral $X(s)+{\int }_s^t\tilde{Y}(u)du$ therefore produces a differentiable modification of a stochastic process of the original Gaussian process.

An ordinary time integral of random variables taken in the L2 space of the underlying probability space. Under strong measurability and ${\int }_a^b(\mathbb{E}|X_t{|}^2{)}^{1/2}dt<\infty$, it exists as a Bochner integral; for a mean-square continuous process it is also the limit of Riemann sums in that space. If the process is centered and the covariance is integrable, Fubini's theorem givesFor a Gaussian process, the integral is a Gaussian random variable, by approximating it in mean square by finite linear combinations of jointly Gaussian random variables.

A strongly continuous semigroup on the complex Banach space $E$ is a family $T_t\in \mathcal{L}(E)$ with $T_0=I$, $T_{s+t}=T_s{T}_t$ and $\Vert T_{t}f-f\Vert \to 0$ as $t\downarrow 0$ for every $f\in E$. Its semigroup generator is the linear operatorFor $f\in D(Z)$, boundedness of $T_t$ and the semigroup identity giveThus semigroup commutation with its unbounded generator meansThere is no assertion that $Z$ is defined on every vector. The orbit is differentiable on this domain, with $\frac{d}{dt}{T}_{t}f=T_{t}Zf$.

A contraction semigroup additionally satisfies $\Vert T_t\Vert \le 1$ for every $t\ge 0$. For $\mathrm{Re}\lambda >0$, define the Bochner integralStrong continuity gives a continuous integrand, and its norm is bounded by $e^{-t\mathrm{Re}\lambda }\Vert f\Vert$, so the integral exists andChanging variables in $T_h{L}_{\lambda }f$ yieldsAfter subtracting $L_{\lambda }f$ and dividing by $h$, the limit is $\lambda L_{\lambda }f-f$. ConsequentlyFor $f\in D(Z)$, integrate the derivative of $e^{-\lambda t}{T}_{t}f$ over $[0,\infty )$. Its limit at infinity is zero by the contraction bound, and its value at zero is $f$. ThereforeThus this is also the Laplace-transform formula for a semigroup resolvent, with $L_{\lambda }=(\lambda I-Z{)}^{-1}$.

To prove that $Z$ is a closed operator, suppose $f_n\in D(Z)$, $f_n\to f$ and $Z{f}_n\to g$. Fix one $\lambda$ with positive real part. The identity just proved and boundedness of $L_{\lambda }$ giveIts range lies in $D(Z)$, and applying $\lambda I-Z$ shows $Zf=g$. Thus the graph is closed. Linearity follows directly from linearity of the defining difference quotient, so $Z$ is a closed linear operator.

The closedness conclusion also holds without the contraction assumption. For a general strongly continuous semigroup, the Uniform boundedness principle gives a uniform operator bound on each compact time interval. Integrating the generator-orbit identity gives $T_t{f}_n-f_n={\int }_0^t{T}_{s}Z{f}_{n}ds$. Under $f_n\to f$ and $Z{f}_n\to g$, pass to the limit to obtain $T_{t}f-f={\int }_0^t{T}_{s}gds$. Divide by $t$ and let $t\downarrow 0$; strong continuity makes the right side converge to $g$, so $f\in D(Z)$ and $Zf=g$.

For an orthonormal basis $(e_i)$, define the Hilbert-Schmidt norm by $\Vert T{\Vert }_2^2={\sum }_i\Vert T{e}_i{\Vert }^2$. For a possibly uncountable basis, the nonnegative sum means the supremum over finite subsets. Parseval's identity gives, for any other orthonormal basis $(f_j)$,Changing the domain basis in the last expression proves basis independence. Polarization gives a basis-independent inner productwith the same first-argument linear convention. The sums converge by the Cauchy-Schwarz inequality. The operator-norm bound $\Vert T\Vert \le \Vert T{\Vert }_2$ follows by applying Cauchy-Schwarz to the coordinates of a unit vector.

To prove completeness, let $(T_n)$ be Cauchy in this norm. The operator-norm bound gives a bounded-operator limit $T$. For a finite subset $F$ of the basis,For large $n$, the right side is uniformly small by the Cauchy property. Taking the supremum over $F$ shows $T_n-T$ is Hilbert-Schmidt and $\Vert T_n-T{\Vert }_2\to 0$; it also shows $T$ is Hilbert-Schmidt. Thus the Hilbert-Schmidt operators form a Hilbert space. Finite-rank operators are dense there: keeping finitely many basis columns makes the sum of omitted squared column norms tend to zero. The operator-norm bound then shows that every Hilbert-Schmidt operator is compact.

Now let $U$ be a strongly continuous unitary representation of the compact metric group $G$, as is standard for a representation of a topological group. Fix $\xi \ne 0$ and average the positive rank-one operator $R_{\xi ,\xi }$:The integrand is continuous in the Hilbert-Schmidt norm, so this Bochner integral exists in the complete space just proved. Normalized Haar measure and invariance show that $K$ is positive, compact and commutes with every $U_g$. Moreover,the integrand is positive near the identity and every nonempty open set has positive Haar measure. Thus $K\ne 0$. A nonzero eigenspace is finite-dimensional and invariant under $U$, by (a). Within it choose a nonzero invariant subspace of smallest dimension; it is irreducible. Its orthogonal complement is invariant because the representation is unitary, so the finite-dimensional space splits into irreducibles.

Take a maximal orthogonal family of such finite-dimensional irreducible invariant subspaces. If their closed span had a nonzero orthogonal complement, the same averaging argument on that complement would produce another member, contradicting maximality. ThereforeThis compact averaging of a rank-one operator argument does not require $H$ itself to be separable. Strong continuity is the topological representation hypothesis used in the averaging step.

Use additive notation and fix Haar measure $m$ on $G$. A continuous unitary character is a continuous homomorphism $\chi :G\to \mathbb{T}$. With the conventionthe Fubini theorem and the character identity imply $\widehat{f\ast g}(\chi )=\hat{f}(\chi )\hat{g}(\chi )$. Also $|\hat{f}(\chi )|\le \Vert f{\Vert }_1$, and choosing $f=\chi a$ for a nonzero nonnegative $a\in C_c(G)$ shows that evaluation at $\chi$ is a nonzero functional. Thus each character gives a character of an algebra on the L1 convolution algebra. Here a multiplicative linear functional means a nonzero multiplicative linear functional; the zero functional must be excluded for the claimed bijection.

Conversely, let $\phi$ be such a functional. It is automatically bounded with $|\phi (f)|\le \Vert f{\Vert }_1$: extend it to the unitization of an algebra by $\tilde{\phi }(f+z1)=\phi (f)+z$. If $|z|>\Vert f{\Vert }_1$, the Neumann series makes $z1-f$ invertible, so its image under the unital homomorphism cannot be zero. Hence $\phi (f)$ cannot lie outside the norm disc.

Choose $a\in L^1(G)$ with $\phi (a)\ne 0$, and let $T_{x}a(t)=a(t-x)$. The Abelian translation identities $(T_{x}a)\ast b=a\ast (T_{x}b)$ giveTherefore, defining $c(x)=\phi (T_{x}a)/\phi (a)$, one has $\phi (T_{x}b)=c(x)\phi (b)$ for every $b$. Applying this to two successive translations gives $c(x+y)=c(x)c(y)$ and $c(0)=1$. By translation continuity in Lp on a locally compact group, $c$ is continuous. It is uniformly bounded by $\Vert a{\Vert }_1/|\phi (a)|$; applying this bound to $c(nx)=c(x{)}^n$ for positive and negative integers forces $|c(x)|=1$. Thus $\chi (x)=\overline{c(x)}$ is a continuous unitary character.

The Bochner integral identity $a\ast b={\int }_{G}b(y)T_{y}adm(y)$ holds in $L^1$, since $\Vert T_{y}a{\Vert }_1=\Vert a{\Vert }_1$. Applying the bounded functional yieldsCancel $\phi (a)\ne 0$ to obtain the required correspondenceThe recovery formula $\overline{\chi (x)}=\phi (T_{x}a)/\phi (a)$ proves uniqueness. These functionals have norm exactly one, since $b=\chi a$ with $a\ge 0$ and $\int a=1$ has $\Vert b{\Vert }_1=\phi (b)=1$.

For the topology, identify the Pontryagin dual group with these functionals and give it the Gelfand topology, namely pointwise convergence of $\hat{f}(\chi )$ for every $f\in L^1$. If a net ${\chi }_{\lambda }$ converges to $\gamma$ uniformly on every compact subset of $G$, then for $f\in C_c(G)$,Density of $C_c$ in $L^1$ and the uniform functional norm bound one extend this convergence to every $f\in L^1$.

Conversely, suppose convergence in the Gelfand topology and choose $a$ with $\hat{a}(\gamma )\ne 0$. For compact $K\subseteq G$, the set $\{T_{x}a:x\in K\}$ is compact in $L^1$ by translation continuity in Lp on a locally compact group. Evaluation convergence is uniform on this compact set: a finite $\delta$-net reduces its supremum to finitely many convergent evaluations plus $2\delta$, using the common functional norm one. ThusNow $\widehat{T_{x}a}(\chi )=\overline{\chi (x)}\hat{a}(\chi )$, and $\hat{a}({\chi }_{\lambda })\to \hat{a}(\gamma )\ne 0$. Dividing this identity proves ${\sup }_{x\in K}|{\chi }_{\lambda }(x)-\gamma (x)|\to 0$. Hence the Gelfand topology is exactly the compact-open topology, with the requested neighbourhood basisFor compact $K$, the continuous difference attains its maximum, so this strict pointwise inequality on $K$ is equivalent to a strict uniform bound. Finite intersections contain another such set by taking the union of the compact sets and the minimum of the tolerances.

A sufficient set of assumptions is that $L$ is a densely defined closed operator on the Hilbert space $H$, generating an analytic semigroup $S(t)$, and that $f\in C^{0,\theta }([0,T],H)$ for some $0<\theta \le 1$. For an operator criterion, one may assume that $A=\omega I-L$ is a sectorial operator of angle less than $\pi /2$, with dense domain. The analytic semigroup then satisfies, on a fixed finite time interval,The Hölder continuity assumption means $\Vert f(t)-f(s){\Vert }_H\le K|t-s{|}^{\theta }$. It supplies time regularity of the forcing, not spatial membership of $f(t)$ in $D(L)$.

With initial datum $u_0\in H$, a classical solution of an abstract Cauchy problem meanswith the evolution identity holding in $H$ at positive times and $u(t)\to u_0$ in $H$. Equivalently, the positive-time domain continuity is in the graph norm. If the definition requires differentiability also at zero, assume additionally $u_0\in D(L)$; the proof below then gives $u\in C^1([0,T],H)\cap C([0,T],D(L))$.

The variation-of-constants formula gives the candidateThe integral is a Bochner integral. Boundedness of $S$ and continuity of $f$ make the expression continuous into $H$, and its integral term tends to zero with $t$. Thus it is a mild solution of an abstract Cauchy problem with the correct initial value. The issue is showing that its integral term lies in the domain of the unbounded linear operator $L$.

Write $v(t)={\int }_0^{t}S(r)f(t-r)dr$. For $\epsilon >0$, the truncated integral $v_{\epsilon }(t)={\int }_{\epsilon }^{t}S(r)f(t-r)dr$ lies in $D(L)$. Subtract the current forcing before applying $L$:Here the last term follows by integrating $LS(r)f(t)=\frac{d}{dr}S(r)f(t)$ away from zero; it does not assume that $f(t)\in D(L)$. The first integrand satisfiesSince $v_{\epsilon }(t)\to v(t)$ in $H$ and the displayed images also converge, the closed operator property givesThis is the reason for the Hölder continuity assumption: the unsplit estimate would have the nonintegrable factor $r^{-1}$. Merely knowing that $f$ is continuous does not provide the integrable bound needed here. More generally, a modulus of continuity $\eta$ satisfying ${\int }_0^1\eta (r)dr/r<\infty$ suffices for this argument; a positive Hölder exponent is a convenient sufficient hypothesis.

The formula also proves continuity of $Lv$ at positive times. On compact positive-time intervals, split the integral at a small $r=\epsilon$: its short part is uniformly bounded by $C{\epsilon }^{\theta }$, while the remaining part is continuous by the strongly continuous semigroup property and ordinary dominated convergence. Together with analytic smoothing of $S(t)u_0$, this makes $Lu$ continuous at positive times. The semigroup property givesBecause $u(t)\in D(L)$, division of this identity by $h$ after subtracting $u(t)$ gives the continuous right derivative $Lu(t)+f(t)$. The left derivative agrees by the same identity and continuity of $Lu+f$. Thus $u^{\prime }=Lu+f$, proving existence of the classical solution of an abstract Cauchy problem on the entire given finite interval, and in particular local existence.

For uniqueness, the difference $h$ of two such classical solutions of an abstract Cauchy problem satisfies $h^{\prime }=Lh$ and $h(0)=0$. For $0<\epsilon <t$, differentiation of $S(t-s)h(s)$ on $[\epsilon ,t]$ gives zero, so $h(t)=S(t-\epsilon )h(\epsilon )$. Letting $\epsilon \downarrow 0$ yields $h(t)=0$. Finally, if $u_0\in D(L)$, then $LS(t)u_0=S(t)L{u}_0\to L{u}_0$, and the expression for $Lv(t)$ tends to zero. Hence $u^{\prime }(t)\to L{u}_0+f(0)$ and the stronger time-zero regularity follows. The solution is unique; the forcing regularity controls the singularity in the differentiated integral.

Give $\mathcal{O}(U)$ the compact-open topology, that is, uniform convergence on compact subsets. Put $R(z)=(z1-x{)}^{-1}$. Choose a finite oriented contour $\Gamma$ in $U\setminus \sigma (x)$ with winding number one on $\sigma (x)$ and zero outside $U$; boundaries of a finite union of sufficiently small rectangles around the compact spectrum provide such a contour. Define the holomorphic functional calculus byThe integral is a Bochner integral along the piecewise smooth contour. It is independent of the admissible contour by the Cauchy integral theorem, since the resolvent is holomorphic off the spectrum. In particular, restricting $f$ to a smaller open spectral neighborhood leaves its value unchanged.

Linearity is immediate, andproves continuity for the compact-open topology. For the constant and coordinate functions, move the corresponding resolvent integrals to a large circle. The norm-convergent expansion $R(z)={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$ there gives ${\Theta }_x(1)=1$ and ${\Theta }_x(u)=x$.

To check multiplication, take two nested admissible contours, with $z$ on the outer one and $w$ on the inner one. The resolvent identity givesIn the double integral for ${\Theta }_x(f){\Theta }_x(g)$, the term with $R(w)$ integrates in $z$ to $f(w)R(w)g(w)$ by the Cauchy integral formula. The term with $R(z)$ integrates in $w$ to zero, because $z$ lies outside the inner region. Thus ${\Theta }_x(fg)={\Theta }_x(f){\Theta }_x(g)$. Nested regions can be chosen with closures inside $U$, so the argument also handles disconnected $U$ and contours with several boundary components.

For uniqueness, use the following form of the Runge theorem: rational functions whose poles lie outside an open set $U$ are dense in $\mathcal{O}(U)$ for uniform convergence on compact subsets; polynomials are included, with a pole at infinity allowed. This follows by a Runge exhaustion of $U$; no connectedness of $U$ is required. Any unital algebra homomorphism sending $u$ to $x$ must send $(u-a{)}^{-1}$ to $(x-a1{)}^{-1}$ for $a\notin U$. Consequently it agrees with the constructed map on every such rational function. Continuity and density give uniqueness. This is continuity and uniqueness of holomorphic functional calculus.

For the holomorphic spectral mapping theorem, first suppose $\mu \notin f(\sigma (x))$. The reciprocal $g=1/(f-\mu )$ is holomorphic on some smaller open neighborhood $V$ of $\sigma (x)$, even if it is not holomorphic on all of $U$. Restriction consistency and multiplicativity on $V$ show that ${\Theta }_x(g)$ is an inverse of ${\Theta }_x(f)-\mu 1$. Thus $\sigma ({\Theta }_x(f))\subseteq f(\sigma (x))$.

Conversely, if $\lambda \in \sigma (x)$, thenis holomorphic on $U$, with the singularity at $\lambda$ removed. HenceIn a commutative algebra, an invertible product has invertible factors. The displayed product cannot be invertible because $x-\lambda 1$ is not. Therefore

For the operator conclusion, work over complex scalars and let $\sigma (T)=K_1\cup K_2$ be a partition into disjoint nonempty compact sets. To apply the preceding commutative-algebra result precisely, take the closed unital subalgebra of $\mathcal{B}(X)$ generated by $T$ and all its resolvents $(zI-T{)}^{-1}$, $z\notin {\sigma }_{\mathcal{B}(X)}(T)$. The generators commute, so this is a resolvent-generated commutative algebra. Its spectrum of $T$ is exactly the operator spectrum: every resolvent outside the latter was included, and an inverse inside the subalgebra would also be an inverse in $\mathcal{B}(X)$.

Choose disjoint open neighborhoods $U_1,U_2$ of $K_1,K_2$, and let $f$ equal one on $U_1$ and zero on $U_2$. The corresponding Riesz projection $P=f(T)$ satisfiesThe last spectrum is computed in the chosen commutative algebra and already ensures $P\ne 0,I$. Its range $Y=PX=\ker (I-P)$ is closed, nonzero and proper. The commutation identity makes it invariant under $T$. This proves that a disconnected spectrum yields a nontrivial invariant subspace. Using all resolvents avoids inadvertently replacing the operator spectrum by the possibly larger spectrum in a polynomial-generated subalgebra.

The Fubini's theorem and integral triangle inequality giveDefine the normalized velocity-reset collision operator using the normalized velocity-reset projection $Pg(x,v)=\rho (g)(x)M(v)$ and $B=P-I$. Since $M\ge 0$ and $\int M=1$,Also $P^2=P$; the collision gain replaces the velocity distribution by $M$ while preserving the spatial mass. In Bochner integral notation the printed, undamped source operator isUsing the transport isometry and the integral triangle inequality provesThese estimates hold for measurable, locally time-bounded $E$-valued functions. If the displayed supremum is infinite, the numerical bound is interpreted in the extended sense; the construction below works in a space where it is finite.

On each finite interval use the Banach space $X_T=C([0,T];E)$ with the supremum norm. The free term $g(t)=U_t{f}_0$ belongs to $X_T$, and the time-integral operator $\tau$ maps $X_T$ to itself with norm at most $2T$. The strongly continuous semigroup property and boundedness of $B$ justify continuity of the Bochner integral.

DefineThe factorial bound for a Volterra iterate gives $\Vert {\tau }^{j}g{\Vert }_{X_T}\le (2T{)}^j\Vert f_0{\Vert }_1/j!$. The series therefore converges absolutely in $X_T$. Since $\tau$ is a bounded linear operator on $X_T$, it can be passed through the convergent sum, givingThus $f=g+\tau f$, the required integral formulation, and $f(0)=f_0$. Each term on a larger interval restricts to the identical term on a smaller interval, so these constructions define a single global solution without having to restart at successive times. This is an integrable Volterra solution for normalized velocity relaxation. It is a mild solution of an abstract Cauchy problem in $L^1$ and hence an $L^1$ weak solution in the paper's integral-formulation sense. No smallness condition such as $2T<1$ is needed.

Use the genuine planar Givens rotationIn the second component the cosine multiplies $v_j$: the repeated $v_i$ in the printed formula is an error. With that printed expression, at $\theta =0$ the pair becomes $(v_i,v_i)$, which does not preserve length or measure. The rotation-based claims require the corrected expression. Also take $N\ge 2$, since the normalization by $\left(\genfrac{}{}{0ex}{}{N}{2}\right)$ is undefined for $N=1$.

Let $C_N=\left(\genfrac{}{}{0ex}{}{N}{2}\right)$ and $U_{ij,\theta }F=F\circ R_{ij,\theta }$. The change of variables formula and determinant one give $\Vert U_{ij,\theta }F{\Vert }_2=\Vert F{\Vert }_2$. Thus each is a unitary operator, with adjoint $U_{ij,-\theta }$. The Kac collision operator is the averageThe Minkowski integral inequality gives $\Vert QF{\Vert }_2\le \Vert F{\Vert }_2$, so $Q$ is bounded. For the Hilbert space inner product, integration and the angular change $\theta \mapsto -\theta$ giveHence $Q=Q^{\ast }$ and $\Vert Q\Vert \le 1$. In fact a nonzero radial Gaussian function is fixed by every rotation, showing $\Vert Q\Vert =1$. Angular averages can be understood as strong Bochner integrals; continuity of rotations in $L^2$ follows first for smooth compactly supported functions, then by density.

Denote the damped free-transport evolution from time $s$ to time $t$ byBy the argument in (b), $\Vert U_a(t,s)g{\Vert }_2\le \Vert g{\Vert }_2$. The integral operator is the Boltzmann Volterra operatorThe Minkowski integral inequality and (a) give the useful stronger pointwise boundTherefore the requested estimate isFor strongly measurable bounded $L^2$-valued $f$, these are Bochner integrals; their finite norm bounds establish existence of the integrals.