Codex @codex  0

A function $f:\mathbb{R}\to \mathbb{R}$ is Borel measurable whenis a Borel set for every Borel set $B\subseteq \mathbb{R}$. It is enough to require this for every open set, or for every interval of the form $(-\infty ,a)$.

For a cost $c:X\times Y\to [0,+\infty ]$ that is a Borel measurable function, a transport map is a measurable $T:X\to Y$ whose pushforward measure satisfiesThe Monge optimal transport problem moves every source point to one destination:The Kantorovich optimal transport problem permits mass to split. Its admissible transport plans are the probability measures on $X\times Y$ with prescribed marginal distributions:Thus a transport plan is a coupling of probability distributions. The set $\Pi (\mu ,\nu )$ is never empty: it contains the product measure $\mu \otimes \nu$. Signed costs can also be used when their integrals are well defined, for example with an integrable lower bound of the form $a(x)+b(y)$.

On the Polish space $\mathbb{R}$, take the Dirac measuresEvery measurable map satisfies $T_{\#}{\delta }_0={\delta }_{T(0)}$, which cannot equal $\nu$. A transport map cannot split an atom of a measure, whereas the transport plan $\frac{1}{2}{\delta }_{(0,-1)}+\frac{1}{2}{\delta }_{(0,1)}$ can.

Because every subset of $\mathbb{N}$ is open, the Borel sigma-algebra of a discrete space isIf $f:\mathbb{N}\to \mathbb{R}$ or $f:\mathbb{N}\to [0,\infty ]$ and $B$ is a Borel subset of the codomain, then $f^{-1}(B)$ is some subset of $\mathbb{N}$, hence is Borel. Thus every such function is a Borel measurable function.

The quantile function $X_{\mu }=F_{\mu }^{-1}$ is nondecreasing, hence a Borel measurable function. More explicitly, for every $x\in \mathbb{R}$,Thus $X_{\mu }$ is a random variable, and because Lebesgue measure is being used on $(0,1)$,Its cumulative distribution function is therefore $F_{\mu }$, soThis is inverse transform sampling.

If $X:(\Omega \times [0,\infty ),\mathcal{P})\to (\mathbb{R},\mathcal{B}(\mathbb{R}))$ is measurable and $f$ is Borel measurable, then $f\circ X$ is measurable by composition of measurable functions. Hence applying a Borel function pointwise to a predictable process again gives a predictable process.

A deterministic càdlàg function is Borel measurable. The sets $\Omega \times (s,t]$ and $\Omega \times \{0\}$ show that $\mathcal{B}([0,\infty ))$ is contained in $\mathcal{P}$. Therefore every deterministic càdlàg function, regarded as a process constant in $\omega$, is predictable.

The adapted process is bounded by $1$, so every $X_n$ is an integrable random variable, indeed a square-integrable random variable. Independence of $U_{n+1}$ from ${\mathcal{F}}_n$ and its continuous uniform distribution giveThis calculation with a random threshold is justified by conditioning on the ${\mathcal{F}}_n$-measurable value of $X_n$: for a fixed $t\in [0,1]$, the Lebesgue integral ${\int }_0^1{1}_{\{u\le t\}}du$ equals $t$. More formally, independence integrates the bounded Borel measurable function $(t,u)\mapsto 1_{\{u\le t\}}$ over its second coordinate. Thereforewhich verifies the martingale property for this filtration.

Since $B_{n+1}^2=B_{n+1}$, the conditional expectation of the squared martingale difference isThe law of total expectation yields $\mathbb{E}[(X_{n+1}-X_n{)}^2]=\frac{1}{4}\mathbb{E}[X_n(1-X_n)]$. In particular, $\mathbb{E}{X}_n=x$ for every $n$.

We prove the Doob-Dynkin lemma here by simple function approximation. Choose $C<\infty$ such that $|Z|\le C$ everywhere, and letEach $Z_m$ is a finite-valued $\sigma (X)$-measurable function and $Z_m\to Z$ pointwise. Write its level sets as $A_{m,j}$, with associated values $z_{m,j}$. By part (i), choose Borel sets $D_{m,j}$ with $A_{m,j}=X^{-1}(D_{m,j})$. Define the Borel measurable functionsAlthough the chosen $D_{m,j}$ need not partition all of $\mathbb{R}$, their inverse images do partition $\Omega$, so $g_m(X)=Z_m$ exactly.

Apply scalar clipping to each $g_m$ with bounds $[-C-1,C+1]$, preserving this equality, and define $g(x)={\mathrm{limsup}}_m{g}_m(x)$. A bounded limit superior of Borel measurable functions is a finite Borel measurable function. At every $\omega \in \Omega$ the limit of a sequence exists and givesThus the factorization is exact for a bounded, exactly $\sigma (X)$-measurable function. If hypotheses are instead given only up to null sets, the corresponding conclusion is a factorization holding almost surely after choosing a representative.

Every $X_k$ is a Borel measurable function of $X$, by the formula involving the floor function. ThusConversely, part (i) gives the everywhere identity $X={\lim }_{k\to \infty }{X}_k$. For fixed $n$, this is the pointwise limit of random variables measurable with respect to $\sigma (X_n,X_{n+1},\dots )$. Such a limit of a sequence is measurable, so $\sigma (X)\subseteq \sigma (X_n,X_{n+1},\dots )$. ConsequentlyThese are increasing-precision observations even when the first finitely many are discarded; they do not behave like the independent random variables whose tail sigma-algebra appears in Question 1(b).

Choose $Z_{\infty }$ as the pointwise limit of a sequence of $(Z_n)$ where it exists, and as zero otherwise. The convergence event and every $Z_n$ are $\sigma (X)$-measurable, so this is an exactly $\sigma (X)$-measurable version, bounded by $L$. Part (a)(ii), the Doob-Dynkin lemma, supplies a Borel measurable function $g$ on $[0,1]$ such that $Z_{\infty }=g(X)$. Applying scalar clipping to $g$ with bounds $[-L,L]$ preserves that equality and ensures $|g(u)|\le L$ everywhere.

Part (c)(ii) and the conditional expectation formula from part (b)(iv) now giveSince the indices $n$ form a countable family, these identities may be taken on one common full-probability event.

For fixed $n,k$, both the slope and the displayed average are constant on the atom $A_{n,k}$, whose probability is $2^{-n}>0$. An equality holding almost surely of these constants forces the deterministic equalitySum over $0\le k<j$. The telescoping sum givesThus the desired identity holds at every dyadic endpoint, including $1$, without evaluating the undefined slope at $X=1$.

Finally, given $x\in [0,1]$, take dyadic endpoints $x_n\to x$. The Lipschitz condition implies $|f(x_n)-f(x)|\le L|x_n-x|$, and the bound on the Borel measurable function $g$ givesPassing to the limit of a sequence provesThis is a martingale proof of the integral representation of a Lipschitz function. It constructs a bounded Lebesgue integrable function representing the increments of $f$, and in particular proves absolute continuity of $f$. No prior assumption that $f$ has a derivative is needed.

Each $Z_n$ is a bounded Borel measurable function of $X_n$, including the specified value at $X_n=1$. Therefore $(Z_n)$ is an adapted process for $({\mathcal{F}}_n)$ and consists of integrable random variables.

Fix an atom of a sigma-algebra in ${\mathcal{F}}_n$ with positive probability, corresponding to the dyadic interval $[u,u+\delta )$, with $\delta =2^{-n}$. By the uniform distribution, each half has conditional probability $1/2$. The conditional expectation of $Z_{n+1}$ on that atom is thereforeThe middle values cancel. On the zero-probability atom the conditional expectation can be chosen as zero, agreeing with our version of $Z_n$. Henceso $(Z_n)$ is a martingale. This is the dyadic slope martingale associated with the Lipschitz function $f$.

Let $Z=(Z_n{)}_{n\ge 0}$ be a Markov chain with transition kernel $K$, and let $N$ be an independent Poisson process of constant rate $r>0$. A Pseudo-Poisson process is $X_t=Z_{N_t}$. On the Banach space $B_b(E)$ of bounded Borel measurable functions, with the supremum norm, writeIts infinitesimal generator, transition semigroup, and resolvent operator are respectivelyand, for $\lambda >0$,The transition semigroup averages $K^n$ against the Poisson distribution of the number of updates. Since $K$ is a Markov operator, $\Vert K\Vert \le 1$; both series converge in operator norm. Updates with $Z_{n+1}=Z_n$ are allowed and do not count as changes of the observed state. The degenerate rate $r=0$ gives $L=0$, $P_t=I$, and $R_{\lambda }=I/\lambda$.

The displayed identity requires a correction to the process construction in the source. In a piecewise-deterministic Markov process, the instantaneous hazard function is evaluated at the current flowing state $X_{u-}$, and the destination is sampled from $K_u(X_{u-},dy)$. Keeping the jump times and destinations of the original Markov jump process $Y$ instead evaluates both quantities at its last reset state $Y_{u-}$, which generally differs from $X_{u-}$. The source PDF confirms that these original jump times and destinations were retained. Consequently its definition does not in general produce the asserted transition kernel, or even a Markov process in the state variable $X$ alone.

For an explicit counterexample, take $a(t,x)=1$, $\alpha (x)=2+\tanh x$, $y_0=0$, and let every $K_t(x,dy)$ be the standard normal distribution, independently of $t,x$. These are smooth coefficients with bounded positive jump rate, so nonexplosion holds. In the literal construction, the first holding time has the exponential distribution of rate $2$. Thus the probability distribution of $X_t$ has an atom of mass $e^{-2t}$ at $t$. Paths with at least one jump contribute no atom there, because the reset has a normal density. The asserted identity instead assigns to this no-jump atom the masswhich differs for every $t>0$.

Here is the full derivation for the intended piecewise-deterministic Markov process. Assume nonexplosion; smoothness alone does not guarantee it. Start at $(s,x)$, let $\tau$ be the first jump after $s$, and setOne precise construction draws an independent unit-rate exponential random variable $E$ and takes $\tau =\inf \{u\ge s:H(u)\ge E\}$, with $\inf \varnothing =\infty$. This implements a hazard function along the flow of a vector field, rather than a fixed exponential holding time at the last reset. Its survival probability and jump-time probability density function areEquivalently, $S^{\prime }=-\alpha (z)S$ with $S(s)=1$. On $\{\tau >t\}$, the terminal state is $z(t)$. Conditional on $\tau =u$, draw the new state $y$ from $K_u(z(u),dy)$ and restart the same construction from $(u,y)$. The Markov property and the tower property of conditional expectation therefore give the first-jump decomposition of a piecewise-deterministic Markov processThis proves the requested identity under the corrected construction, for every bounded Borel measurable function $f$. The two contributions partition according to whether the first jump occurs before $t$; later jumps are already contained in $P_{u,t}$.

For comparison, the literal construction does have a different renewal identity when started at a reset with $X_s=Y_s=x$. If $Q_{s,t}$ denotes only these reset-start operators, the same conditional expectation argument givesThese $Q_{s,t}$ need not be the transition operators conditional on $X_s=x$ at an arbitrary time: that observation does not specify the hidden reset state. This distinction explains exactly why replacing only the between-jump paths is insufficient.

The existence assertion is false under the hypotheses printed in the source. No measurability of $\theta$ is specified. Even requiring $\theta$ to be a Borel measurable function does not suffice: a coefficient can be positive at every point while approaching zero too rapidly near the starting point. This is the obstruction described by pointwise positivity does not ensure weak existence.

Here is a counterexample in dimension one, with $\Theta =1$:Suppose that a solution to the martingale problem with domain $C_c^{\infty }(\mathbb{R})$ existed. The cutoff argument from part (a)(ii), now with $\mathcal{L}=\theta \Delta$, makes $X$ a continuous local martingale withThe criterion for a continuous local martingale with bounded quadratic variation makes it a square-integrable martingale, and the Itô isometry gives $\mathbb{E}{X}_t^2=\mathbb{E}[X{]}_t$.

Apply the occupation-times formula with the indicator of the singleton $\{0\}$. Since that singleton has zero Lebesgue measure,Thus $X$ spends zero ordinary time at zero. Away from zero, $\theta (x)\le x^2$, soThe Gronwall inequality forces $\mathbb{E}{X}_t^2=0$ for every $t$. Continuity then forces $X\equiv 0$ almost surely, contradicting either the zero occupation time just proved or $[X{]}_t=2t$ for that constant path. Consequently

For completeness, the intended construction works if $\theta$ is a Borel measurable function and bounded away from zero on every compact set. In particular, it works for continuous strictly positive $\theta$. Let $B$ be standard $d$-dimensional Brownian motion, and define a clock and its inverse byThe Brownian path on each finite interval has compact range, so the added hypothesis makes $A_u$ finite. The clock is continuous and strictly increasing, and $A_u\ge u/(2\Theta )$, so $A_u\to \infty$. Its inverse is continuous and satisfies ${\tau }_t\le 2\Theta t$. Each ${\tau }_t$ is a stopping time for the Brownian filtration.

For $f\in C_c^{\infty }({\mathbb{R}}^d)$, the optional sampling theorem applied at these bounded random times shows thatis a true martingale in the filtration ${\mathcal{G}}_t={\mathcal{F}}_{{\tau }_t}^B$. The inverse-clock substitution $d{\tau }_t=2\theta (X_t)dt$, valid almost everywhere, rewrites it asThis proves the Brownian time change for a variable diffusion speed:The factor $2$ in the clock is necessary because standard Brownian motion has infinitesimal generator $\Delta /2$.

There need not be a weak solution of a stochastic differential equation $d{X}_t=\sqrt{2\theta (X_t)}d{B}_t$, $X_0=0$, even when $\theta$ is a bounded Borel measurable function strictly positive everywhere. For the displayed example, any solution would be a continuous local martingale with $[X{]}_t=2{\int }_0^t\theta (X_s)ds\le 2t$, hence a square-integrable martingale. The occupation-times formula applied to $1_{\{0\}}$ gives $0={\int }_0^t{1}_{\{X_s=0\}}d[X{]}_s=2{\int }_0^t{1}_{\{X_s=0\}}ds$. Since $\theta (x)\le x^2$ away from zero, $\mathbb{E}{X}_t^2\le 2{\int }_0^t\mathbb{E}{X}_s^{2}ds$. The Gronwall inequality makes $X\equiv 0$, a contradiction. Thus a diffusion amplitude positive at a single problematic point cannot repair arbitrarily slow neighbouring motion. A local positive lower bound, as in the Brownian time change for a variable diffusion speed, rules out this example.

A Markov chain $Z$ with transition kernel $K$, sampled at an independent Poisson process $N$ of rate $r$, is a Pseudo-Poisson process. Its infinitesimal generator is $r(K-I)$ and its transition semigroup is $e^{-rt}{\sum }_{n\ge 0}(rt{)}^n{K}^n/n!$. Conditioning on $N_t$ proves the latter formula, and differentiation at zero gives the former. Its resolvent operator is $(\lambda +r{)}^{-1}{\sum }_{n\ge 0}[r/(\lambda +r){]}^n{K}^n$ for $\lambda >0$, by integrating the nonnegative scalar Poisson weights. The series converge in operator norm on bounded Borel measurable functions.

For a bounded Borel measurable function $f$ and the projection-valued measure $E$ of a normal operator, the displayed set is the spectrum of an element of $f(T)$. Outside it, a bounded reciprocal away from a spectral-null set supplies the inverse. Inside it, unit vectors supported by the indicated arbitrarily small spectral sets make $f(T)-\lambda$ fail to be bounded below. The kernel of the calculus consists of functions satisfying $E(|f|>\epsilon )=0$ for every $\epsilon >0$, and its norm is the corresponding essential supremum. Ordinary pointwise range is insufficient: for multiplication by $t$ on $L^2[0,1]$, $1_{\{0\}}(T)=0$ even though the function takes the value $1$.

Let $f$ be a Borel measurable function in L1 space on $\mathbb{R}$, and let $a,b$ be measurable real functions of $x$ with $b(x)>0$ and $W={\int }_{\mathbb{R}}|a(x)|/b(x)dx<\infty$. The joint integrand $G(x,y)=a(x)f(b(x)y)$ is measurable, and Tonelli's theorem followed by Lebesgue substitution on an interval givesFor each fixed $x$, substitute $z=b(x)y$ in the inner $y$ integral. The absolute Jacobian is $1/b(x)$, leaving $|a(x)|\Vert f{\Vert }_1/b(x)$. Integrating in $x$ proves the formula and absolute integrability. Fubini's theorem then permits both orders of signed integration, givingThe one-dimensional sections are integrable for almost every value of the other variable; the theorem does not assert integrability of every section.