Suppose that a sequence $(v_n)$ of ${\rm H}^2(0,1)$ functions satisfies: $v_n\rightarrow{}v_0$ weakly-star in ${\rm L}^{\infty}(0,1)$ as $n\rightarrow+\infty$, $v_n'\rightarrow u_0$ almost everywhere on $(0,1)$ as $n\rightarrow+\infty$, where $u_0\in {\rm BV}((0,1);\{-1,1\})$. Is it true that it follows that we have $v_0'=u_0$? Remark. If it were true that almost everywhere convergence of $(v_n)$ implies convergence in the sense of distributions (i.e. in ${\cal D}'(0,1)$), then the claim follows. But I do not if this is true. Still, I think my initial assertion is true, but I do not know how to prove it. The point here is that $u_0$ is BV-function which takes values $-1$ and $1$ only, so I guess $v_0$ can not be constant. How to proceed? Thanks.
2026-03-28 18:17:11.1774721831
On weak-star convergence of functions and almost everywhere convergence of derivatives
186 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in SOBOLEV-SPACES
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- $\mbox{Cap}_p$-measurability
- If $u\in W^{1,p}(\Omega )$ is s.t. $\nabla u=0$ then $u$ is constant a.e.
- Weak formulation of Robin boundary condition problem
- Variational Formulation - inhomogeneous Neumann boundary
- Why the Sobolev space $W^{1,2}(M,N)$ weak-sequencially closed in $W^{1,2}(\mathbb R^K)$?
- Sobolev space $H^s(Q)$ is Hilbert
- Duhamel's principle for heat equation.
- How to define discrete Sobolev dual norm so that it can be computed?
- Weakly sequentially continuous maps
Related Questions in WEAK-CONVERGENCE
- Convergence in distribution of a discretized random variable and generated sigma-algebras
- Find a sequence converging in distribution but not weakly
- Does $X_n\xrightarrow[n\to+\infty]{law} 0$ imply$\mathbb{E}\left(\log |1-X_n| \right)\xrightarrow[n\to +\infty]{} 0$?
- If $X_n\rightarrow X$ in distribution, how to show that $\mathbb{P}(X_n=x)\rightarrow 0$ if $F$ is continuous at $x$?
- Equivalence of weak convergences
- Weak convergence under linear operators
- Convergence of Probability Measures and Respective Distribution Functions
- Convergence in distribution of uniform
- Convergence of Maximum of Cauchy Random Variables
- Weak Convergence Confusion
Related Questions in BOUNDED-VARIATION
- Method for evaluating Darboux integrals by a sequence of partitions?
- Function of bounded variation which is differentiable except on countable set
- Variation with respect to the projective tensor norm of a matrix of bounded variation functions
- Associativity of an integral against a function with finite variation
- Suppose $f(x)$ is of bounded variation. Show $F(x) = \frac{1}{x} \int_0^x f(t) \, dt$ is also of bounded variation.
- Is there a sufficient condition for which derivative of $\sum_{n=0}^{\infty} a_n x^n$ is bounded for all $x \in \mathbb{R}$?
- Looking for the name of this property, if it has one.
- Bounded Variation Proof
- Rearranging a sequence of bounded variation
- If $f$ is $g$-Riemann-Stieltjes integrable on $[a,b]$, prove that it's $g$-RS-integrable on $[a,c] \subset [a,b]$
Related Questions in ALMOST-EVERYWHERE
- Normed bounded sequence of $L^2[0,1]$
- A function which is not equal almost everywhere (wrt Lebesgue measure) to a continuous function and not almost everywhere continuous function
- $f:\mathbb R \to \mathbb R$ measurable and $f(x)=f(x+1)$ almost everywhere
- Proof that if $f_n\to f$ a.e., $g_n \to g$ a.e. and $g_n = f_n$ a.e. implies $f=g$ a.e.
- Does the sum $\sum_{n=1}^{\infty}\frac{1}{2^k \cdot |x-r_k|^\frac{1}{2}}$ coverges a.e?
- Uniform convergence of finite sum of functions
- Almost surely convergence of a monotone stochastic process
- Does almost everywhere equality means equality on the quotient space?
- Extending continuous functions from almost everywhere to everywhere
- Sufficient conditions for $L^2$ convergence implying almost everywhere convergence.
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Take a functions $v_n' \in H^1(0,1)$, $n \ge 3$, with $v_n' = 1$ on $(0,1/2-1/n) \cup (1/2+1/n,1)$ and $\int_0^1 v_n' \, \mathrm{d}x = 0$. Then, we set $v_n(t) = \int_0^t v_n' \, \mathrm{d}x$.
Now, we can check that $v_n' \to u_0 = 1$ a.e. and $v_n \to v_0$ weak-* in $L^\infty(0,1)$ with $$v_0(t) = \begin{cases} t & \text{for } t < 1/2, \\ t - 1 & \text{for } t > 1/2.\end{cases}$$ Further, $v_0$ is not (weakly) differentiable.
(However, we still have that $v_0$ is differentiable a.e. and this derivative is $u_0 = 1$)