For questions about functions $f$ defined on an interval $[a,b]$ such that there exists a constant $M>0$, such that if $a=x_0

learn more… | top users | synonyms

4
votes
1answer
124 views

Bounded variation problem

Let $x=0.a_1a_2\dots$ be the decimal expansion of a number $x$, $0<x<1$. If two decimal expansions of $x$ exist, the one that ends with $0$’s is taken. For what values of $q > 1$ is the ...
3
votes
1answer
79 views

A basic problem on bounded variation

If $a > 0$ let $$f(x) =\left\{\begin{array}{ll} x^{a} \sin (x^{-a})&\text{if } 0 < x \leq 1\\ 0&\text {if }x=0 \end{array}\right.$$ Is it true that for each $0 < \alpha < 1$ ...
3
votes
1answer
135 views

Definition of total variation

According to wikipedia, the total variation of the real-valued function $f$, defined on an interval $[a,b]\subset \mathbb{R}$, is the quantity $$V_b^a=\sup_{P\in\mathcal{P}}\sum_{i=0}^{n_P-1}\left | ...
2
votes
1answer
31 views

Necessary and sufficient condition for Integrability along bounded variation

Related: When is it that $\int f d(g+h) \neq \int f dg + \int f dh$? In this context, I write "integration" to mean the Riemann-Stieltjes integeation Let $g:[a,b]\rightarrow \mathbb{R}$ be of ...
2
votes
1answer
32 views

$\int_0^\pi g(x)\sin(nx) dx$ coverges to $0$ for any function $g$ is bounded variation

I have a homework as follows : Prove that $\int_0^\pi g(x)\sin(nx) dx$ coverges to $0$ for any function $g$ is bounded variation on $[0,1]$. my attempt: for any bounded variation function $g$, ...
3
votes
0answers
40 views

$\| f \|_{BV} = | f(a) | + V_{a}^{b} f$ defines a norm in the space $BV[a,b]$

I'm learning about functions of bounded variations and need to verify my work this problem: Show that $\| f \|_{BV} = | f(a) | + V_{a}^{b} f$ defines a norm in the space $BV[a,b]$. My attempt ...
3
votes
0answers
41 views

The best constant in Poincare-liked inequality in BV space

Let $\Omega\subset \mathbb R^N$ open bounded smooth boundary. Then we could prove that for any $u\in BV(\Omega)$ and $\omega\in \operatorname{ker}\mathcal E $, where $\mathcal E$ denotes the ...
3
votes
0answers
96 views

Discontinuous local martingales with finite variations

I would like to know if a discontinuous local martingale with paths of finite variations almost surely is a martingale. I feel that it should be the case but can't find a straightforward argument. As ...
2
votes
0answers
47 views

Is it possible to upper bound conditional expectation expression: $\mathbb E[X | X > c] - c$?

As the titles suggests, I am trying to see if we can upper bound $\mathbb{E}[X \text{ }| \text{ }X > c] - c$ For now, I am assuming bounded mean on both sides: $0 < m \leq \mathbb{E}[X] \leq ...
2
votes
0answers
42 views

Definition of a bounded complex function and how to apply Liouville's theorem?

The definition of a bounded function is: $$\exists M\in\mathbb{R} \quad st \quad |f(x)| \leq M \quad\forall x\in Domain $$ So consider the complex entire function $f(z)$ such that $Re(f(z))<0$ ...
2
votes
0answers
43 views

Approximation of Sets of Finite Perimeter

Fix an open set $\Omega \subset \mathbb{R}^n$. If $E$ is a measurable subset of $\Omega$, we may define the perimeter of $E$ in $\Omega$, denoted by $P(E;\Omega)$, to be $$P(E;\Omega) = ...
2
votes
0answers
75 views

Concerning the ring of all real valued functions of bounded variation on $[a,b]$

Let $B[a,b]$ the ring of all real valued functions of bounded variation on $[a,b]$ . What is the cardinality of $B[a,b]$ ? How does the maximal ideals of $B[a,b]$ look like ? How does the prime ideals ...
2
votes
0answers
225 views

The Co-area formula for $BV$ function V.S. the co-area formula for $C^\infty$ functions

I am working on the proof of the co-area formula for $BV$ functions. Suppose $u\in BV(\Omega)$ then the co-area formula states that $$ \|Du\|(\Omega)=\int_{-\infty}^\infty \|\partial ...
2
votes
0answers
194 views

Arzela Ascoli variation theorem

I am trying to prove the following variation of the Arzel-Ascoli theorem: Let $(f_n)n$ be a sequence of differentiable functions on $[a,b]$ whose derivatives are uniformly bounded and there is an ...
2
votes
0answers
233 views

Functions of bounded variation and continuity

Suppose that $f:[a, b] \to \mathbb{R}$ is a function of bounded variation. Define $g:[a, b] \to \mathbb{R}$ by $g(x) = V_a^x f$. Show that $f$ is continuous at $x \in [a, b]$ iff $g$ is continuous at ...
2
votes
0answers
630 views

Show that $f$ is of Bounded Variation by $f'$' being integrable.

For $\alpha$, $\beta$ > 0, define the function $f$ on $[0, 1]$ by $f(x) = x^{\alpha}\sin(1/x^{\beta})$ for $0 < x \leq 1$ and $f(x) = 0$ for $x=0$. Show that if $\alpha > \beta$, then $f$ is of ...
2
votes
0answers
230 views

Jordan decomposition measure and its distribution function

Let $f: \mathbb{R} \rightarrow \mathbb{R}$, and for $x \in \mathbb{R}$, let $T_f(x)=\sup \left\{\sum_{j=1}^N \left|f(x_j)-f(x_{j-1})\right|\right\}$, where the supremum is taken over all $N \in ...
2
votes
0answers
107 views

Showing uniqueness

I have a problem which asks to show that a function $f$ of bounded variation can be expressed uniquely except for addition of constants as the sum of an absolutely continuous function and a singular ...
2
votes
0answers
128 views

Perturbations of a function of bounded variation

Suppose $f,g:[0,1]\rightarrow[0,1]$, $g>0$, and $f/g$ is of bounded variation. If $f_n, f \in C^1[0,1]$ and $f_n \rightarrow f$ in $C^1$. Does it follow that $\exists N$ such that $f_n/g$ is of ...
1
vote
0answers
38 views

Wrong result: a continuous function has zero $p$-variation, for every $p$. Where's the error?

Let $\Pi_n$ be a sequence of partitions with $|\Pi_n| \to 0$. Then the $p$-variation of a continuous function $g$ along the partitions $\Pi_n$ is defined as $$V_T^p(g) = \lim_{n \to \infty} V_T^p(g, ...
1
vote
0answers
35 views

Relationship between functions of bounded variation and signed measures

Let $f$ be a left continuous function of bounded variation on $[a,b]$ s.t. $f(a)=0$. $f$ can be written as the difference $f=f_1-f_2$ of two non-decreasing functions on $[a,b]$. ...
1
vote
0answers
22 views

Guess quadratic variation of 2 processes, with same/different BM.

I have 2 processes with stochastic parts R, S. $$dR = \mu_1 dt + \sigma_1 dW_{t1}$$ $$dS = \mu_2 dt + \sigma_2 dW_{t2}$$ I am trying to show what precisely quadratic variation $[R,S]$ means for 2 ...
1
vote
0answers
10 views

RCLL (cadlag) But Not Bounded Variation

In probability theory, we often require that functions and/or processes be RCLL (i.e. cadlag) and of bounded variation (usually bounded on any finite interval). I'm having trouble coming up with an ...
1
vote
0answers
22 views

Bounding fluctuations on a random variable

I have some discrete random variable $w$ that has values (in decreasing order) $\underline{w}^\downarrow = \left( w_1, w_2, \dots , w_d \right)$ with corresponding probabilities $\underline{x}=(x_1, ...
1
vote
0answers
104 views

Absolutely continuous iff continuous of bounded variation

I have the following problem (taken from q1 p341 of Kolmogorov and Fomin's Introductory Real Analysis), which I am struggling to prove completely. I think I know how to show the only if part, but not ...
1
vote
0answers
57 views

p-variation of semimartingales

Does every (particularly continuous) semi-martingale have bounded 2+$\epsilon$-variation for all $\epsilon>0$? Note that I am not asking, whether they have finite quadratic variation - that is ...
1
vote
0answers
64 views

Counterexample for Trace operator in BV space.

Suppose $\Omega\subset R^N$ is open bounded with Lipschitz boundary. Then for $u\in W^{1,p}(\Omega)$, there exists a linear operator $T$: $W^{1,p}(\Omega)\to L^{p}(\partial\Omega)$ such that the ...
1
vote
0answers
45 views

Distributional Representation of Perimeter in Chan-Vese

While re-implementing the classic Chan-Vese Algorithm for image segmentation, I stumbled upon the following statement, which I have problems to understand: Let $H: \mathbb{R} \to \mathbb{R}$ be the ...
1
vote
0answers
56 views

Change of variables formula with integrator of bounded variation

Let $G$ be be continuous with bounded variation on finite intervals. If $f$ is continuous then it is well known that $\int_a^bf(G(s))dG(s)=\int_{G(a)}^{G(b)}f(x)dx$. How general can $f$ be so that ...
1
vote
0answers
64 views

Question on Bounded Variation involving partitions

If $f\colon[a,b]\rightarrow \mathbb{R}$ and $P=(a=x_0, x_1, ...,x_n=b)$ is any partition of $[a,b]$ let $v_f(P)$ be defined as $$v_f(P) = \sum_{k=1}^n |f(x_k) - f(x_{k-1})| $$ and the total variation ...
1
vote
0answers
150 views

Does the fundamental theorem of calculus hold for BV functions?

I am a bit confused and I hope you can help me in understanding a bit better these things. Let us start by considering one dimensional case. Let $f\colon \mathbb (a,b) \to \mathbb R$ be a function. ...
1
vote
0answers
268 views

Every polynomial bounded on [a,b] is of bounded variation.

Question: Prove that every polynomial bounded on the compact interval [a,b] is of bounded variationMy proof: Let $f(x)$ be a bounded polynomial of n degree. Then $f '(x)$ is also a polynomial bounded ...
1
vote
0answers
97 views

How to show that the first derivative is bounded in a function

\begin{equation} y=\arccos\left( -\frac{1}{2\left(Dr^{\dfrac {|\sin(2x+\theta)|}{M\sin x\sqrt{A+2B\cos(2x+\theta)}}}+1\right)} \right) \nonumber \end{equation} How to show in above function the ...
1
vote
0answers
271 views

Solving $\int_{0}^{2\pi} \cos (x) \cos (z(x)) \, dx$ with a bounded version of $z(x)=a \cos (x)+b$

I am trying to solve the following equation: $$\int_{0}^{2 \pi } \cos (x) \cos z(x) \, dx \hspace{20 mm} (1)$$ where $z(x)$ is a bounded version of $z(x)=a \cos (x)+b$ that reads as: ...
1
vote
0answers
98 views

What is Mountain Pass theorem?

The title says it all, what is mountain pass theorem, how does it work is variational problems with doubly differential constraint?
0
votes
0answers
31 views

Given $f(x) = x^{1/3}$, show that $f \in BV[0, 1]$

I'm learning about functions of bounded variations and need some help with this problem: Given $f(x) = x^{1/3}, x \in [0, 1]$ show that $f \in BV[0, 1]$. My work and thoughts: We know that ...
0
votes
0answers
24 views

Show that $V_{a}^{b}(X_\mathbb{Q}) = +\infty$ on any interval [a, b]

I'm self-studying the theory of functions of bounded variations from the book of Neal Carother (Real Analysis) and need some help with this problem: Show that $V_{a}^{b}(X_\mathbb{Q}) = +\infty$ ...
0
votes
0answers
70 views

Upper bound on successive difference inequalities

I would like to know tight upper bounds of the following equations perhaps some might have telescopic sum which can result in very tight bound.In the following equations assume $B\geq a_i \geq ...
0
votes
0answers
28 views

Total variation function

For a function $f : [a,b] \times [c,d] \rightarrow R$, we define $v_f : [a,b] \times [c,d] \rightarrow R$ as $(x,y) \rightarrow V_{f_{[a,x] \times [c,y]}}$. Here $V_f$ is the total variation of $f$ ...
0
votes
0answers
22 views

Under Given conditions, is f absolutely continuous on [0,1]?

1)Let $f : [0,1] \to R$ be a continuous function such that $\mid f(x)-f(y) \mid \le \mid \sqrt{x}-\sqrt{y} \mid $ for all $ x,y \in [0,1]$. Then is f absolutely continuous on [0,1]? 2) what about if ...
0
votes
0answers
19 views

Difference of increasing functions differentiable a.e.

I'm working through Royden & Fitzpatrick's Real Analysis, in the beginning of section 6.3 it reads and I quote: "Lebesgue's theorem tells us that a monotone function on an open interval is ...
0
votes
0answers
14 views

The normalization of gradient in weak convergence.

Given $\Omega\subset \mathbb R^2$ is open bounded, smooth boundary, $u_n\in BV(\Omega)$ is bounded in $BV$ norm and in addition we have $$0<\inf |u_n|_{TV}\leq \sup |u_n|_{TV}<+\infty$$ where ...
0
votes
0answers
30 views

Weak chain rule the other way round.

If $f: \mathbb{R} \to \mathbb{R}$ is weakly differentiable and $u: \Omega \to \mathbb{R}$ is smooth, where $\Omega \subset \mathbb{R}^n$, can we show that for any test function $\varphi \in ...
0
votes
0answers
24 views

Bounded variations on $U-\{0\}$ $\Longrightarrow$ bounded variations on $U$?

Given $U\in\mathbb{R}$ a non-empty neighbourhood of $0$ and $f$ a function of bounded variations (BV) on $U-\{0\}$. Can I deduce that $f$ is BV on $U$?
0
votes
0answers
18 views

The slicing argument for jump set

Given $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $\nu\in \mathbb S^{N-1}$ be a fixed direction. We define $$ \pi_\nu = \{x\in\mathbb R^N:<x,\nu>=0\},\,\Omega_x = ...
0
votes
0answers
12 views

$d \log f'$ is a compactly supported radon measure for $f\in C_c^{1}$ with bounded variation

In a note of John N. Mather, "Commutators of Diffeomorphisms, III: a group which is not perfect," he says that it is well known that if $f$ is a compactly supported $C^1$ diffeomorphism on ...
0
votes
0answers
90 views

How to prove $\int_{a}^{b} f dα$ = $\int_{a}^{b} f dβ$

I'm working on an exercise from Carothers' Real Analysis: where $BV[a,b]$ denotes the set of all functions on [a,b] with bounded variation and $C[a,b]$ is the set of all continuous functions on ...
0
votes
0answers
218 views

Absolute continuity implies bounded variation

Let $f$ be absolutely continuous on $[a,b]$. I want to prove that $f$ is of bounded variation. I am reading Royden and Fitzpatrick so they use the following notations: Let ...
0
votes
0answers
40 views

reference request about sobolev space and BV space

I am studying Sobolev Space and BV space by using Leoni's and Evans & Gariepy's book. I was wondering that where can I find some explicit example and some computational question of those space. A ...
0
votes
0answers
25 views

A question on a function of bounded semivariation(part 2)

Let $(X,\tau)$ be a Hausdorff locally convex topological vector space and let $P(X)$ be a family of continuous seminorms on $X$ that generates the topology $\tau$. I got the following definition from ...