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
130 views

Extremal problem for sequences

Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...
3
votes
1answer
115 views

Using wavelets to capture the $L^2$ norm of $f''$

I posted this question on MSE a couple of days ago. Someone gave some hints, which, besides the fact that I struggle to understand them, go in a numerical analysis direction, which I am not interested ...
3
votes
1answer
76 views

Urysohn type cut off function

I am looking for a cutoff function. The Urysohn's Lemma says Let $X$ be a $T_{4}$ space and $A,B \subset X$ be two closed and disjoint subsets of $X$. Then there exists a continuous function $f:X \...
3
votes
1answer
88 views

How to show monotonocity and the limit? [closed]

Let me reformulate my recent question. Let $n, N$ denote density and cdf of Gaussian distribution. Let us consider its modification, given by density: $$\phi(x) = C\left\{ \begin{array}{lcc} \sqrt{...
1
vote
3answers
146 views

Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]

Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
3
votes
1answer
53 views

Does there exist any subsequence $(u_{n_k})$ converging strongly in $L^q(\mathbb{R})$, for any $1 \le q \le \infty$? [closed]

Fix a function $\varphi \in C_c^\infty(\mathbb{R})$, $\varphi \not\equiv 0$, and set $u_n(x) = \varphi(x + n)$. Let $1 \le p \le \infty$. Does there exist any subsequence $(u_{n_k})$ converging ...
13
votes
1answer
420 views

Does there exist some $C$ independent of $n$ and $f$ such that $ \|f''\|_p \geq Cn^2 \| f \|_p$, where $1 \leq p\leq \infty$?

Let $f$ be a trigonometric polynomial on the circle $\mathbb{T}$ with $\hat{f}(j) = 0$ for all $j \in \mathbb{Z}$ with $\lvert j \rvert < n$. Does there exist some $C$ independent of $n$ and $f$ ...
2
votes
1answer
137 views

Using $H^2$ to find a cyclic vector in $\ell^2$

Let us consider $\ell^p(\mathbb{Z})$. We know that the vector $e_1=(\dots,0,0,1,0,0,\dots)$ is a cyclic vector in sense that given the right shift operator $S:(\dots,x_0,x_1,x_2,\dots)\mapsto (\dots,...
4
votes
2answers
114 views

existence of a special conformal mapping

Sorry I don't know how to give an appropriate title. In the complex plane, suppose there is a graph $x+if(x)$ separating the plane into two unbounded components, where $f(x)$ is smooth and bounded, ...
4
votes
1answer
128 views

Continuous non-constant function with infinite intersections with horizontal line on a compact interval?

The title might be misleading, but whether such a function exists is what boggles me about the following problem: Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a continuous function such that for all $...
0
votes
1answer
104 views

Generalized Lax-Milgram for Weak Formulation of 1D Linear Schrodinger

I am interested in the variational formulation of the 1D Schrodinger equation: $i u_t- \beta u_{xx} = 0 $ and $u(x,0)=u_0(x)$ which upon integration by parts yields: $i(u_t,v) + \beta (u_x,v_x) = 0$ ...
3
votes
1answer
223 views

Topology in space of test functions $\mathcal{D}(\Omega)$ and space of distributions $\mathcal{D}'(\Omega)$

We can concluded that $\mathcal{D}(\Omega):=\bigcup_{K \in \mathcal{K}(\Omega)} \mathcal{D}_K(\Omega)$ (where $\mathcal{K}(\Omega)$ denotes the union of all compacts set content in a open subset $\...
4
votes
2answers
159 views

Does the truncated Hausdorff moment problem admit absolutely continuous solutions?

Let $\mu$ be a (Borel) probability measure on $[0,1]$ and define $m_j(\mu) = \int x^j\,\mu(dx)$. Let $k$ be a positive integer and consider the set $\mathcal C_{\mu,k}$ of probability measures $\nu$ ...
3
votes
1answer
275 views

Convergence of a triple sum involving the imaginary part of the Riemann zeta function's non trivial zeros

Let $N>0$ an integer, $k>0$ a real parameter and let $\rho = \beta +i \gamma$ a non trivial zero of the Riemann zeta function. For a work I need to find the best possible $k$ such that $$I=\sum_{...
2
votes
0answers
69 views

Inverses of probability generating functions: positivity of derivatives

Let $\mathcal{G}$ be the set of probability generating functions of random variables taking positive integer values, considered as functions on $[0,1]$. So $G\in\mathcal{G}$ can be written $G(x)=\...
4
votes
3answers
197 views

Measure of intersections in probability spaces

Let $(X,\mu)$ be a probability space, and $0<\epsilon<1/2$. Let $\{A_i:i\in \mathbb{N}\}$ be a collection of measurable subsets of $X$ such that $\mu(A_i)\geq \epsilon$ for all $i\in\mathbb{N}$. ...
1
vote
1answer
114 views

A question about Borel sets on the unit interval

It is known that each non-decreasing continuous function $\phi$ induces a $\sigma$-additive measure $d\phi$ such that $\int_0^1 f(x) d\phi(x)$ exists for every bounded real-valued Baire function $f$. ...
3
votes
1answer
85 views

Is the variation of two BV functions the same in the set in which they coincide?

Given two real $BV$ functions $u$ and $v$ in an open interval $(a,b)$ consider the set $A=\{x: \text{both } u \text{ and } v \text{ are continuous at } x \text{ and } u(x)=v(x)\}$ is it true that $|...
2
votes
2answers
162 views

Pointwise convergence for continuous functions

Let $f_n:[0,1]\rightarrow \mathbb R$ be a sequence of continuous functions converging pointwise, i.e. such that $\forall x\in [0,1]$, the sequence $(f_n(x))_{n\in \mathbb N}$ converges. We set $f(x)=\...
-3
votes
1answer
175 views

Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)? If so, please show me how to construct it.
0
votes
0answers
53 views

Some problems about symmetric convolution semigroup on the unit circle

These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes". Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
2
votes
1answer
109 views

Existence of non-negative extensions of smooth functions on axes

I am struggling to solve an extension problem of smooth functions, and I would like someone to help me. The setting is as follows: Let $X_1$, $X_2$, and $T$ be either the real lines $\mathbb R$ or ...
1
vote
0answers
64 views

Inverse Laplace transform of a non-negative function

Consider an entire function $f$, which is real for real arguments and satisfies $f(s)\geq 0$ for all $s\in\mathbb{R}$. Furthermore, assume this function is a Laplace transform, $$ f(s)=\int_0^\infty e^...
2
votes
0answers
169 views

How to analytically evaluate this n-dimensional iterated integral?

I would very much appreciate any suggestions and/or pointers to references relevant for the analytic evaluation of the following n-dimensional iterated integral $$\int_{-\infty}^{+\infty}dx_1\int_{-\...
0
votes
0answers
49 views

Approx the jump point of a $BV$ function from both hand side

Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as $$ u(x)= \begin{cases} 0,&\text{ if }x\in(-1,0)\\ 1,&\text{ if }x\in(0,1) \end{cases} $$ Clearly, we have $u\in ...
2
votes
1answer
251 views

Is this a log-concave function?

Let $(a_k)$ be a log-concave positive decreasing sequence. Is $\sum\limits_{k=1}^n a_k(1-e^x)^{k-1}$ log-concave in $x<0$, for each natural $n$?
3
votes
0answers
130 views

Extreme derivatives in Baire class 1

In the 1994 volume of "Differentiation of Real Functions" A. Bruckner poses the following problem (p.41): "Find necessary and sufficient conditions on a continuous function $F$ that its Dini ...
2
votes
1answer
94 views

Do we have independence if we let the indices of the events increase?

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. Consider events indexed by $m, n \in \mathbb N$: $ \ \ \ \ \ \ \ \ \ \ \ A_{1,n}, A_{2,n}, A_{3,n} ...$ are n-wise independent. $A_{m,1}...
1
vote
0answers
74 views

The real method of interpolation and operator ideals,

Let $\overline{A} \mbox{ and } \overline{B}$ be n+1-tuples of Banach spaces and $T:\overline{A}\rightarrow \overline{B}$ be an interpolation operator; let $J(\overline{A})$ and (the corresponding) $K(\...
-2
votes
1answer
98 views

Is this intergral inequality valid? [closed]

Does the inequality $\int_2^{\infty} \dfrac{\sqrt x(\log x)^3 + (1+ \log x^2) x}{x(\log x)^2(x^2 - 1)} \,\mathrm {d}x > \ln \dfrac{17}{10}$ hold ?
2
votes
1answer
123 views

Approximation of the cumulative normal distribution

As is well known, there is no explicit formula for $\int_{-\infty}^\infty step(t−x)\cdot e^{−t^2/2}dt=\int_x^\infty e^{−t^2/2} dt$ for generic $x,$ where $step(z)$ is the step function, $step(z)=1$ ...
4
votes
1answer
634 views

When does this interesting sum diverge?

For $x \gt 0,$ what is the greatest $y$ such that $$\sum_ {1\le h^x \le k^y} \frac{1}{h^x k^y}= \infty ?$$ I don't know of any references or methods for this -- not even for $x=1$, for which the ...
14
votes
3answers
492 views

Infinitely many $k$ such that $[a_k,a_{k+1}]>ck^2$

Let $a_n\in \mathbf{N}$ be an infinite sequence such that $\forall i\neq j, a_i\neq a_j$. I have the following theorem: For $0<c<\frac{3}{2}$, there are infinitely many $k$ for which $[a_k,...
3
votes
1answer
56 views

Injectivity of vector functions: Numerical Verification

Problem Setup Let $f:A\rightarrow B$, be a continuous function, $A\subset\Re^{n}$,$B\subset\Re^{m}$, $m\geq n$ and $A, B$ compact. The function $f(\cdot)$ can only be evaluated numerically. ...
1
vote
1answer
157 views

Dense subspaces of $L^p(0,T;X)$

Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that $$\int_0^T\Vert f\Vert_{X}^pdt<\...
2
votes
1answer
85 views

Scaling of distributions

Suppose we have a sequence of $L^1(\mathbb{R})$ functions $p_\epsilon$ with $\|p_\epsilon\|_{L^1} \leq 1$ for all $n$. Suppose we know that $p_\epsilon \to 0$ in distributions. Is it obvious that $\...
2
votes
1answer
109 views

Does the Abel transform preserve analyticity?

Let $I=(0,1]$ and $T=\{(x,y)\in I^2;x\geq y\}$. If functions $f:I\to\mathbb R$ and $w:T\to\mathbb R$ are analytic, is the function $A_wf:I\to\mathbb R$, $$ A_wf(y)=\int_y^1\frac{f(x)w(x,y)}{\sqrt{x^2-...
1
vote
1answer
117 views

Question abouth Skorokhod representation of random variables (II)

This is a continuation of Question abouth Skorokhod representation of random variables Let $\mu$ and $\nu$ be two probability measures on $\mathbb R$ such that $$\int_{\mathbb R}|x|^pd\mu(x),~ \...
4
votes
1answer
109 views

Hellinger integral for the Student/Cauchy family

Let $p$ and $q$ be probability densities on $\mathbb R$, with respect to the Lebesgue measure $dx$. The corresponding Hellinger integral is $H(p,q):=\int_{\mathbb R}\sqrt{pq}\,dx$. Let now $p$ be ...
4
votes
1answer
138 views

Compact, not local uniform convergence of sequences of functions on the rationals

I stumbled upon the following elementary problem while trying to come up with a certain counterexample in category theory. (Basically, I am interested in the constant sheaf of $\mathbb F_2$-vector ...
2
votes
2answers
258 views

Are the closed and unbounded subsets of $\mathbb{R}$ known up to homeomorphism?

I am currently working on a problem for which this knowledge could greatly reduce the number of cases, but I have yet to find anything after searching online. Are the closed unbounded subsets of $\...
0
votes
1answer
71 views

A $W^{1,2}_{loc}$ function with uniformly bounded integrals on compact subsets $W^{1,2}$?

Let $M$ be a Riemannian manifold, $\Omega\subset M$ is an open subset, let $f\in W^{1,2}_{loc}(\Omega)$ with uniformly bounded integrals on compact subset, i.e. there exists a $C>0$, such that for ...
3
votes
0answers
104 views

Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that it seems simple but I can not solve it. Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
1
vote
0answers
82 views

monotonicity of a function

I want to know if the function below is monotonically decreasing for all $a,b >0, a\neq b $ \begin{equation} x\rightarrow \frac{\sinh^2((a-b)x)}{\sinh(2ax)\sinh(2bx)} \text{, $x >0. $} \end{...
1
vote
0answers
100 views

Interchange of integral and infimum

Can anyone please suggest how to justify widely used formula for interchange of integral and infimum: $ \inf_{u(t)\in U}\int_{t_0}^{t_1}g(t,u(t))dt=\int_{t_0}^{t_1}\inf_{u\in U}g(t,u)dt, $ where $ U\...
-1
votes
1answer
54 views

Idempotent solutions to the implict function theorem other than the identity?

I am interested in the following problem. Assume that an (anti)symmetric function $g:\mathbb{R}^2 \to \mathbb{R}$ satisfies the implicit function theorem. That is, $g(x,y) = \pm g(y,x)$ and $g(x,y)=0$ ...
3
votes
1answer
157 views

Question abouth Skorokhod representation of random variables

It is known that for any two probability measures $\mu$ and $\nu$ on $\mathbb R$ that are close in the Prokhorov metric $\rho$, i.e. $$\rho(\mu,\nu)<\varepsilon,$$ then there exist two random ...
6
votes
1answer
150 views

Can the potential of a complete Kahler metric be bounded?

Let $X$ be a complex manifold and $\omega$ a Kahler form on $X$. A smooth function $\rho$ is called a potential of $\omega$ if $i\partial\bar\partial\rho=\omega$. By intuition, it seems that $\rho$ ...
1
vote
0answers
100 views

Monotonicity of the Hellinger integral/distance

Let $p$ and $q$ be probability densities on $\mathbb R$, with respect to the Lebesgue measure $dx$. The corresponding Hellinger integral and distance are $H(p,q):=\int_{\mathbb R}\sqrt{pq}\,dx$ and $\...
2
votes
1answer
82 views

Majorization of cyclic products

Let $k,m,n\in\mathbb N$ such that $n>k$. For a partition $\alpha=(\alpha_1,\dots,\alpha_k)\vdash m$ with $\alpha_1\ge\dots\ge \alpha_k>0$ and nonnegative $ x_1,\dots,x_n$ define $x^\alpha :=\...