Real-valued functions of real variable, analytic properties of functions and sequences, limits, continuity, smoothness of these.

learn more… | top users | synonyms

1
vote
1answer
11 views

Bounding the difference in the value of a strongly convex function at its integer minimum and other integer points

I am currently working on a problem where I have to minimize a $m$-strongly convex function $$f ~: ~\mathbb{R}^n \rightarrow \mathbb{R}^+$$ over a bounded integer lattice, $$L = \mathbb{Z}^n \cap ...
0
votes
1answer
21 views

floating point representation via the perspective of TTE/computable analysis

Floating point numbers are not compatible with the usual theory of type 2 theory of effectivity (TTE), and not even the real-RAM model; there are functions that are computable in one model but not ...
-3
votes
0answers
43 views

Solution manual of real mathematical analysis PUGH [on hold]

Is there anybody know that where I can find the solution manual of real mathematical analysis PUGH ? Thanks a lot.
0
votes
0answers
36 views

Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane

We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$. What is ...
12
votes
3answers
749 views

May integration spoil real-analyticity?

Is there an example of a function $f:(a,b)\times(c,d)\to\mathbb{R}$, which is real analytic in its domain, integrable in the second variable, and such that the function $$ g:(a,b)\to\mathbb{R},\qquad ...
4
votes
1answer
159 views

Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive

Is the following function real analytic in $t>0$: $$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$ where $-a$ and $b$ are positive, and $c\not=a$? ...
16
votes
0answers
500 views

A Linear Order from AP Calculus

In teaching my calculus students about limits and function domination, we ran into the class of functions $$\Theta=\{x^\alpha (\ln{x})^\beta\}_{(\alpha,\beta)\in\mathbb{R}^2}$$ Suppose we say that ...
-4
votes
0answers
46 views

Are all derivatives of sinc function bounded on real axis? [closed]

It seems that all derivatives of sinc function (sinc(x)=sin(x)/x) are bounded on real axis. Is it true or no? Thanks in advance.
2
votes
1answer
123 views

Hardy space, Lebesgue space for $p<1$,

We denote $\mathcal D'(\mathbb R^n)$ the space of distributions, and $\mathcal D(\mathbb R^n)$ the space of smooth, compactly supported functions. Let $\rho\in \mathcal D'(\mathbb R^n)$ such that ...
0
votes
1answer
42 views

For a given $n$, under what condition(s) there exists (at least) two different $c$ and $c′$ such that $X_n^c=X_n^{c'}$

Let $X_n^c=\{\cos\left((4k-c)\frac{\pi}{2n}+\frac{\pi}{4}\right): k=0, 1, \dots, n-1\}$ where $c\in\{0, 1, \ldots, \lfloor\frac{n}{2}\rfloor\}$ and $n$ is any positive integer greater than 3. I want ...
-3
votes
0answers
94 views

On the common zeros of $1-x\tan{x}$ and $1-1/x\arctan{1/x}$ [closed]

Let $f(x)=1-x\tan{x}$. Let $g(x)=1-1/x\arctan{1/x}$. Let $r=0.8603335890193797624838\ldots$ be a real root of $f(x)=0$. High precision numerical computations suggest $f(\pm r)=g(\pm r)=0$. $g(x)$ ...
3
votes
0answers
99 views

Involutions on $[0,1]$ given by power series (related to probability generating functions)

Let $A$ be a function from $[0,1]$ to $[0,1]$. $A$ is an involution if $A(A(x))=x$ for all $x\in[0,1]$. Which involutions $A$ exist such that $A(x)=\sum_{k=0}^\infty a_k x^k$ with $a_0=1$ and ...
2
votes
0answers
39 views

Can Mumford-Shah functional be adapted to lower $L^1$ space?

The well know Mumford-Shah functional functional $$ F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1 $$ where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...
3
votes
1answer
99 views

Scaling properties of the Hölder estimate for heat equation

Lately, I have been interested in scaling properties of parabolic equations, and this question is related to an earlier one I asked about Harnack constants. Let $Q(R) := Q(R^2,R) = B(0, R) \times ...
0
votes
0answers
24 views

Absolute continuity and the Luzin N-Property for functions of two variables

It is a well known fact that absolutely continuous functions of one real variable have the so-called Luzin N-property. That is, if $E\subset\operatorname{Domain}(f)$ has zero measure, then $f(E)$ has ...
10
votes
5answers
449 views

Identities and inequalities in analysis and probability

Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of ...
4
votes
1answer
185 views

Smoothening a measure, II

There is an almost invisible, but significant difference between the question below and that recently answered by Boris Bukh. Given a probability measure $\mu$ supported on a finite set ...
36
votes
3answers
996 views

Why does $d^n \exp(-x-x^{-1})/(dx)^n$ only have $n$ positive real zeroes?

Set $f(x) = \exp(-x-x^{-1})$. An easy induction shows that $$\frac{d^n}{(dx)^n} f(x) = \phi_n(x^{-1}) f(x)$$ for $\phi_n$ a polynomial of degree $2n$. Clearly, the roots of $\phi_n(x^{-1})$ are the ...
1
vote
0answers
47 views

Monotone version of one-dimensional Whitney extension theorem

Is there a version of the Whitney extension theorem that would extend a monotone $C^\infty$ function on a compact subset of $\mathbb R$ (satisfying the usual Whitney's compatibility conditions) to a ...
2
votes
1answer
120 views

Smoothening a probability measure

Given a probability measure $\mu$ supported on a finite set $S\subset{\mathbb R}^2$, define $$ f(z):=\max\left\{\frac{\mu(x)+\mu(y)}2\colon \frac{x+y}2=z,\ x,y\in S \right\}, \ z\in{\mathbb ...
2
votes
1answer
96 views

Heat equation: impact of the diffusion coefficient on the Harnack constant

Consider the heat equation $$ u_t - div[a(x,t) \nabla u] =0,\quad (x,t) \in B(r) \times [-r^2, 0] \subset \mathbb R^{d+1} $$ for a Hölder continuous coefficient $a(x,t)$ satisfying $$ 0<C_o \le ...
1
vote
0answers
171 views

Density of subspace with nonlocal/Wentzell boundary condition

Given the space $F$ defined by: $$F=\left\{f\in C^2(\mathbb{R}_+^2;\mathbb{R}):f(x,0)=\int_\mathbb{R} f(z,x)g(z)dz, x>0\right\},$$ I want to prove that the subspace $E$ of $F$ defined by ...
0
votes
0answers
46 views

The union of weighted compact supported continuous function

Let $\Omega\subset \mathbb R^N$ be open. Given a weight function $v\geq 1$ such that $v\in L^1_{\text{loc}}(\Omega)$ and $l.s.c$. Also supposethere exists a Lipschitz continuous sequence $v_n$ such ...
0
votes
0answers
25 views

The Best Korn's constant for bounded deformation

I am studying the following version of Korn's inequality. For $u\in BD(\Omega)$, $BD$ denotes the bounded deformation space, we have, there exists a $r(u)\in \operatorname{ker}\mathcal E$ such that ...
0
votes
1answer
96 views

Discussion for the sign of a specific sum

Given a modular form $f$ of an even weight $k$ for the full modular group. Let $\lambda_f(n)$ the $n$-th normalized Fourier coefficient of $f.$ For a fixed positive integers $a$ and $b,$ I want to ...
3
votes
1answer
111 views

Real analysis on vector-valued spaces, $L^{p}(\mathbb{R}^N,E)$ ,$H^{s}(\mathbb{R}^N,E)$

I am dealing with some vector-valued Sobolev spaces $H^{s}(\mathbb{R}^N,E)$ where $E$ is a Banach space. I am looking for references about results for the scalar case ...
2
votes
2answers
105 views

The convolution between weighted $L^1$ space and normal $L^1$ space

Let $\omega\in L^1_{\text{loc}}(\mathbb R^N$) be given. We assume that $\omega\geq 1$, l.s.c, and satisfies, for a constant $C>0$, $$ \frac{1}{|B(x,r)|}\int_{B(x,r)}\omega(y)dy\leq C\omega(x) $$ ...
2
votes
1answer
101 views

Convolution vanishes on an interval

Fix a "test" function $f(x)=x\exp(-x^2)$, which is nonzero except $x=0$. Suppose that $g$ is a function with some necessary regularity. Consider the convolution. $$ (f\ast g ...
0
votes
1answer
117 views

How can I show that “almost all function” have property P?

The following is cross-posted from http://math.stackexchange.com/questions/1391293/is-almost-all-function-a-well-defined-concept since I didn't (yet) get an answer there. (I hope that's okay?) ...
2
votes
0answers
12 views

Is this function $u\in SBV(\Omega)$ also belongs to $L^\infty(\Omega)$?

Some early discussion can be found here. My question: Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Also $\mathcal H^{N-1}(\partial\Omega))<\infty$. Let $u\in ...
5
votes
0answers
172 views

Version of Stone Weierstrass for functions not vanishing at infinity

I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...
0
votes
1answer
177 views

Is this set of function belongs to $L^\infty$?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write $$ Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal ...
0
votes
2answers
59 views

Smoothness of a power of smooth non-negative function [closed]

Let $f$ be a non-negative infinitely smooth function on the real line. Is it true that for any constant $\alpha$ the function $f^\alpha$ is infinitely smooth?
0
votes
0answers
33 views

Is the heat kernel satisfies the heat equation in viscosity sense?

Let us see the heat kernel \begin{equation} k(x,t)= \begin{cases} (4\pi t)^{-\frac{n}{2}}\exp\{-\frac{1}{4}t^{-1}|x|^{2}\},t>0\\ 0,t\leq0. \end{cases} \end{equation} It is easy to see that $k\in ...
1
vote
1answer
54 views

Image of a Jordan compact set under a degenerate map

This is crossposted from MSE, I hope this is suitable here, since there is no reaction there. I need this lemma for teaching, and I would appreciate any help. Briefly: Is the image of a Jordan ...
6
votes
1answer
132 views

Brownian motion, exists $c < \infty$?

Suppose $B_t$ is a standard Brownian motion. Does there exist $c < \infty$ such that with probability one$$\limsup_{t \to \infty} {{B_t}\over{\sqrt{t \log t}}} \le c?$$I need to know whether or not ...
0
votes
0answers
28 views

Uniform convergence problem of the iterative function series

A process $\{\theta_{t}\}_{t=1}^{\infty}$ with finitely continuous state space $\mathcal{S}=[\underline{\theta},\bar{\theta}]$.The transition density is $\phi(\theta_{t},\theta_{t+1})$.I have known ...
0
votes
0answers
42 views

The property reservation conditions in the functional iteration process

Given a integral equation: $$K(y,p)=\int_{a}^{b}f(x,y)K(x,p)dx$$ Using the iteration method,choosing an arbitrary inition function $K^{0}(x,p)$: $$K^{1}(y,p)=\int_{a}^{b}f(x,y)K^{0}(x,p)dx$$ ...
1
vote
0answers
73 views

Norm inequalities between difference operators

Assume $(v_i)$ to be a sequence in $\ell_\infty(\mathbb{R})$ for $i=1,\dotsc,N$. Define the difference operator as $\Delta v_i:=v_{i+1}-v_i$ and $\Delta^n v_i:=\Delta(\Delta^{n-1} v_i)$. Then, how can ...
0
votes
2answers
81 views

Expected summation of dropped intervals?

For each $n\in\mathbb{N}$, let $I_n$ be an interval of length $1/2^{n}$. We drop each $I_n$ onto the interval $[0,1]$ uniformly at random (so that there is "wraparound" if need be). What is the ...
1
vote
0answers
39 views

The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention. Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
2
votes
1answer
420 views

What is the rate of convergence? [closed]

How quickly does the series defined by $$x_0 = 0, \ x_{n+1} = \frac{x_n^2+1}{2}$$ converge to $1$?
1
vote
1answer
70 views

question about $TGV^2$ space

Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and $$ TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in ...
0
votes
0answers
111 views

Is this has anything to do with Riesz representation?

The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49. Here I come up with a question which has similar ...
1
vote
0answers
180 views

Existence of topology on the space of continuous functions

Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...
4
votes
1answer
207 views

What is the importance of convergence of variation of Fourier reconstruction to that of variation of the function?

Let $f$ be a periodic function of bounded variation which jumps at a point $x_0\in\mathbb{R}$. Let $S_{N}[f]$ denote the partial Fourier sum of $f$ and let $C_{N}[f]$ denote the Cesaro partial sum. It ...
0
votes
0answers
45 views

How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in ...
4
votes
0answers
121 views

Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$

Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...
4
votes
2answers
158 views

Is taking the product of signed measures weakly continuous?

For a Polish space $X$, let $C_b(X)$ denote the real Banach space of bounded continuous real-valued functions on $X$. Let $M(X)$ denote the space of all finite signed Borel measures on $X$, equipped ...
0
votes
1answer
96 views

Square Integrable Harmonic Functions in an Infinite Strip

Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space. Is it true that the only $L^2$ harmonic function in this strip is the ...