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

0
votes
0answers
16 views

Inverse transformation of continous transformation is bounded

I am having a continous transformation: $f: \mathbb C \to \mathbb C $ with $B \subseteq \mathbb C $ bounded. Now I want to proove that $ A = f^{-1} (B)$ is bounded! How can I proove that this ...
2
votes
1answer
42 views

Calculating explicitly the total variation of $x^2 \sin\left(\frac{\pi}{2x}\right)$ on $[0,1]$.

I am attempting to calculate the total variation of the function $f$ on [0,1] defined as $$f(x) = \begin{cases} x^2 \sin\left(\frac{\pi}{2x}\right) \text{ if } x\neq 0 \\ 0 \qquad \qquad \text{ if } ...
0
votes
1answer
56 views

Is $x^{3/2}\sin(\frac{1}{x})$ of bounded variation?

I'm trying to show that $f(x)$ is of bounded variation where $f(x)=x^{3/2}\sin(\frac{1}{x})$ on $[0,1]$. I think that it is but I can't show it explicitly. Any help will be appreciated.
1
vote
1answer
30 views

Bounded variation of function $(f-M)^+$ and the measure of the set where it is concentrated

I read this statement in the book by Evans & Gariepy, page 215, last two lines. Here $f\in BV(R^n)$ and for fixed $\epsilon>0$ and $N>0$, we define $$A_\epsilon^N :=\{x\in \mathbb ...
2
votes
1answer
29 views

The space $BPV(0,1)$ is a separable metric space under certain metric.

This is exercise 2.42 from Leoni's book A First Course in Sobolev Spaces. The BPV is defined as the space contain the function $u$ such that $$ \text{Var}[u]:=\sup\left\{ ...
1
vote
1answer
25 views

Total variation of a sequence of functions

I have this problem, Let $\{f_n\}$ be a sequence of real valued functions on $[a,b]$ that converges at each point of $[a,b]$ to a function $f$. Then $T_a^b(f)≤\liminf T_a^b(f_n)$. It is solved in, ...
2
votes
1answer
84 views

The derivative of total variation

Define function $u$ on $[0,1]$ such that $$ u(x)= \begin{cases} x^2\cos\frac{1}{x} &0<x\leq 1\\ 0 & x=0 \end{cases} $$ and by $V(x):= \text{Var}_{[0,x]}u$, i.e., the total variation of ...
1
vote
0answers
13 views

Question regrading to approximate continuity

Given $u\in BV(R^N)$, we say $u$ is approximate continuos at $x$ and the approximation limit is $l\in R$ if $$ \lim_{r\to 0}\frac{\mathcal{L}^N(B(x,r)\cap \{|u-l|>\epsilon\})}{r^N} =0 $$ for all ...
1
vote
0answers
23 views

Bound of a fourier series when coefficients are bounded

Let $f(x)$ be a finite fourier series with $$f(x)=a_0+\sum_{n=1}^N\left(a_n\sin{\left(2\pi nx/P\right)}+b_n\cos{\left(2\pi nx/P\right)}\right)$$ and bounded coefficients ...
0
votes
1answer
24 views

If $\alpha,\beta \in BV[a,b]$, prove that $|a| \in BV[a,b]$ and $\min(\alpha,\beta),\max(\alpha,\beta) \in BV[a,b]$.

Question: If $\alpha,\beta \in BV[a,b]$, prove that $|a| \in BV[a,b]$ and $\min(\alpha,\beta),\max(\alpha,\beta) \in BV[a,b]$. Attempt: Since $\alpha \in BV[a,b]$, $$ \sum_{i=1}^n \left| ...
0
votes
1answer
52 views

Lebesgue decomposition of an increasing function

This problem asserts that any increasing function $f$ on $[a,b]$ can be decomposed as $$F=F_A+F_C+F_J,$$ with $F_A$ is absolutely continuous, $F_J$ is a jump function, and $F_C$ is a singular ...
0
votes
1answer
23 views

The algebraical properties of $BV(\Omega)$

We know in one dimension that $BV(I)$ is an algebra, for both $I$ is bounded or unbounded. Now suppose $\Omega\subset R^N$ is open bounded with Lipschitz boundary. My question is: is it $BV(\Omega)$ ...
2
votes
1answer
23 views

Question about finite preimeter in $BV$ space

Given $\Omega\subset R^N$ is open bounded, we say $E\subset \Omega$ has finite perimeter in $\Omega$ if $\chi_E\in BV(\Omega)$. Follows from Evans & Gapriep's book, we write for any $\varphi\in ...
1
vote
0answers
20 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
votes
1answer
29 views

Find $K$ such that $|(x, y)| > K$ implies $(x - 1)^2 + (y + 2)^2 > C+ 4$.

For any 𝐶 ∈ ℝ, find 𝐾 such that |(𝑥, 𝑦)| > 𝐾 ⇒ 𝑥2 + 𝑦2 - 2𝑥 + 4𝑦 + 1 > 𝐶 i.e. (𝑥 - 1)² + (𝑦 + 2)² > 𝐶 + 4 whenever |(𝑥, 𝑦)| > 𝐾 NOTE: 𝐾 is a function of 𝐶 only, and does NOT depend ...
6
votes
3answers
197 views

If $f$ is bounded and twice differentiable in $\mathbb{R}$, show that there exists $\xi\in\mathbb{R}$, s.t. $f''(\xi)=0$.

My idea: If $f$ has maximum and minimum, then $f'=0$ at these two points, and the conclusion is further derived using Mean Value Theorem. But what if $f$ has no maximum/minimum, like ...
0
votes
2answers
70 views

Which of the following is true about $f(x)$?

If $f(x)=x+\sin x$, then which of the following is true about $f(x)$? $1.f(x)$ is uniformly continuous on $\mathbb{R}$. $2.f(x)$ has bounded variation on $\mathbb{R}$. $3.f(x)$ does not have ...
0
votes
1answer
16 views

First Order Variation Example

I am in a introductory stochastic calculus class and came across and example from that asks for the first order variation and the quadratic variation of a continuous function. For example: $f(x) = ...
3
votes
1answer
69 views

The question regrading to density argument in analysis.

I know the density argument in $L^p$ space, in Sobolev spaces, and even in BV are really sweet in many many cases. However, some times author just work on nice functions and comment by "the rest can ...
0
votes
1answer
29 views

Prove that the sum of a trigonometric series has bounded variation

Let $u$: $(0,1)\to \mathbb R$ be defined as $$ u(x):=\sum_{n=1}^\infty \frac{1}{2^n} \cos(2^n\pi x)$$ I am trying to prove that $\operatorname{Var}(u)<\infty$ It is clear that ...
0
votes
1answer
81 views

The Relation between Holder continuous, absolutely continuous, $W^{1,1}$, and $BV$ functions

I am trying to find out the relation between those spaces. Take $I\subset R$ on the real line. $I$ can be unbounded. Then I have: We first assume $I$ is bounded. If $u\in C^{0,\alpha}(I)$, for ...
0
votes
0answers
13 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
23 views

Bounded/Unbounded sets. [Mandelbrot set]

This is the last question from my assignment. For Part a I have: $z_{n+1}=z_n^2+c$ $\Rightarrow c =z_{n+1}-z_n^2$ $\Rightarrow |c|=|z_{n+1}-z_n^2|=|z_{n+1}-z_n^2||-1|=|z_n^2-z_{n+1}|$ ...
0
votes
1answer
36 views

Big Omega Proof for $5^n = \Omega(6^n)$

I got the Big-O ($\mathcal{O}$) proof but I am having troubles with the Big Omega ($\Omega$) proof. I am trying to prove $6^n$ is not the tightest bound for $5^n$. Is this logic true: $7^n$, $8^n$ ...
0
votes
1answer
41 views

The approximation of BV functions

From Evans & Gariepy 's book, I learned that generally for any $u\in BV(R^n)$, we can find $u_n\in BV(R^n)\cap C^\infty (R^n)$ such that $$ \lim_{n\to\infty} \|u_n-u\|_{L^1(R^n)} = 0$$ and ...
0
votes
1answer
41 views

How to show a given path is NOT rectifiable

We've been given a function and asked to find whether it is a rectifiable path or not. Let $\gamma : [0,1]\to \mathbb{C} $ defined as $\gamma (t)= t + \iota t \sin(\frac{1}{t})$ and $\gamma (0)=0$ ...
0
votes
1answer
26 views

The convergence in Bounded Variation functions

Given a sequence $u_n\in BV(\Omega)$ and $u\in BV(\Omega)$, where $\Omega\in R^n$ is open. We assume $u_n\to u$in $L^1_{loc}(\Omega)$ and we also assume that $$ \lim_{n\to\infty}|D ...
1
vote
1answer
26 views

About the definition of variation.

If $f$ is a function of bounded variable on $[a,b]$.Then: $$V_a^b(f)=\sup_{\pi}\sum_{i=0}^n|f(x_{i+1})-f(x_i)|$$ where $\pi$ is a partition of $[a,b]$. I wonder if$$V_a^b(f)=\lim_{\|\pi\|\to ...
0
votes
1answer
102 views

Proving budget constraint is compact.

Given the prices $p \in \mathbb{R}_{+}^{k}$ and income $y \geq 0$, define the consumer's budget set as the set of feasible consumption bundles: $\beta(p,y) = \{x \in \mathbb{R}_{+}^{k}: ...
1
vote
1answer
40 views

Total variation as surface area smooth functions of two variables.

I learnt we have different definitions for the total variation for functions of the form $f:\mathbb{R}^2\to\mathbb{R}$ which are in some way analogous to the total variation of functions of one ...
1
vote
0answers
21 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
1answer
54 views

Books with exercises or problems on the space of functions of bounded variation

I am studying BV space (the space of functions of bounded variation) by using Evans & Gariepy's book. However, there are no exercises for BV space, and I have no idea where I can find some. ...
0
votes
1answer
31 views

Ways to represent functions of bounded variation as the difference of two monotone functions

I learnt (it is called Jordan's representation theorem) that every function $f : [a,b] \to \mathbb R$ with bounded variation could be represented as the difference $f = g - h$ of two monotone ...
0
votes
0answers
16 views

Why is the weakest bound only possible at these specified mins

Given the following: $$0 < g_0 \leq g_1$$ $$0 \leq B_0 \leq B_1$$ $$D_0 \leq D_1$$ (note: these are the only two variables that could be negative) $$0 \leq c_0$$ $$0 \leq c_1$$ $$0 < f_0$$ ...
1
vote
2answers
44 views

Property of the variation of a function

I need help with the following: given $ f:[a,b]\rightarrow \mathbb{R}$, show that $$V_f (a;b)=V_f(a;c)+V_f (c;b)$$ with $a< c <b$. We know that $$V_f(a;b) \geq \sum_i |f(x_i)-f(x_{i-1})|$$ for ...
1
vote
1answer
90 views

Maximizing a particular integral / functional

I have a (probably simple) question whose answer seems obvious but I cannot prove it. It relates to the calculus of variations. Let scalar $A = \Re[\int_a^bB(x)C(x)dx$], where $B$ and $C$ map ...
1
vote
0answers
27 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 ...
4
votes
1answer
111 views

Unbounded variation but differentiable everywhere

A function with bounded variation is differentiable almost everywhere. There are also functions with unbounded variation that are differentiable almost everywhere (e.g. take ...
0
votes
1answer
31 views

Definition of the total variation of a function $g:\mathbb{R}\to\mathbb{R}$

if the total variation of a a real function $f:[a,b]\to \mathbb{R}$ over $\textbf{P}=\{a=t_0<t_1<...<t_m=b\}$ is $$ V^{a}_{b}(f)=\sup_{\textbf{P}}V(f,\textbf{P}) $$ where $$ ...
1
vote
0answers
24 views

Evaluate the bound of the following complex integral

Let $q$ be a complex analytic function such that $\left|q\right|\neq0$ everywhere in the domain, except at the boundaries ($\left|q\right|\rightarrow0$ as $z\rightarrow\pm\infty$). Is it possible ...
1
vote
1answer
71 views

A problem involving Stieltjes Integral and bounded variation

I found this problem in a book I'm using to study (Curso de Análise - Vol 2, Elon Lages Lima). "Let $\alpha:[a,b] \to \mathbb{R}$ be a bounded function. If $\displaystyle \int_{a}^{b}f(t)d\alpha$ ...
1
vote
0answers
40 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
1answer
52 views

Question on Functions of Bounded Variation

We say that $f$ is of bounded variation over $[a,b]$ or $f\in BV[a,b]$ if $V_f[a,b] = \sup \sum_{k=1}^n |f(x_k) - f(x_{k-1})| < \infty, $ where the supremum is taken over all possible partitions ...
1
vote
1answer
98 views

Does bounded and continuous implies Lipschitz?

If a function $f : \mathbb{R} \rightarrow \mathbb{R}$ is integrable, bounded and continuous, is it also Lipschitz continuous?
1
vote
0answers
64 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. ...
3
votes
0answers
43 views

Understanding the duals of $L^{\infty}(K)$ and $C(K)$ and weak-* compactness

Let $(K\subset \mathbb{R}^n,\mathcal{B}(K),\lambda)$ be a measure space, where $\lambda$ is the Lebesgue measure and $K$ is compact. According to Wikipedia (with adapted notation), The dual ...
1
vote
1answer
41 views

Does bounded variation and continuous means total variation continuous

$F$ is of bounded variation and continuous. Is it true that total variation is continuous ? In case, $F$ is absolutely continuous it is trivial to see. But for the above case how to proceed ?
2
votes
2answers
57 views

Continuity and Inverse Preservation of Boundedness Implies Preservation of Closed Sets

Sorry about the rather long title - wasn't sure what else to call it! Here is my question: Let $f : \Bbb R^n \rightarrow \Bbb R^m$ be continuous and such that $f^{-1}(F)$ is bounded whenever $F$ ...
1
vote
1answer
52 views

One inequality involving Total variation function

If $F$ is of bounded variation in $[a,b]$, then I need to prove that $$ \int_{a}^{b}|F'(x)| dx \leq T_F(a,b)$$ If $F'$ were Riemann integrable then it was easy to prove (in fact we can prove ...
1
vote
1answer
62 views

Does bounded variation imply boundedness

Using the standard definition $$||f||_{TV} := \sup_{x_0<\cdots<x_n}\sum_{i=1}^{n} |f(x_i) - f(x_{i-1})|.$$ 1.When the domain is a bounded interval $[a,b]$, the statement holds. 2.When the ...