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

learn more… | top users | synonyms

2
votes
0answers
82 views

Error term for Euler-MacLaurin summation formula when applied to infinitely smooth functions?

A function $f(z,x)$ is tempered if all of the following are true: $f(z, x)$ is infinitely differentiable in $z$ $f(z,x)$ is defined for all $z,x \in \mathbb{R}$ Every derivative of $f(z,x)$ is ...
7
votes
1answer
253 views

An interesting integration

For any positive integer $n$, let $$A_n=\idotsint\limits_{\substack{x_1+\cdots+x_n+y_1+\cdots+y_n\leq1\\x_1,\cdots,x_n,y_1,\cdots,y_n\geq0}}\prod_{i,j=1}^n(x_i-y_j)dx_1\cdots dx_ndy_1\cdots dy_n.$$ It ...
12
votes
1answer
253 views

An interesting inequality

Let $\mathbb{R}$ be the real field. For any homogeneous polynomial $f(X_1,\cdots,X_n)$ in $\mathbb{R}[X_1,\cdots,X_n]$, we use $S_f(X_1,\cdots,X_n)$ to denote the following homogeneous symmetric ...
9
votes
2answers
419 views

When does $\nabla\times(\nabla\times F)=0$ imply $\nabla \times F=0$

On a (simply connected) domain $\Omega$ for a smooth vector field $F\colon \Omega \to \mathbb{R}^3$, when does $\nabla\times(\nabla\times F)=0$ imply $\nabla \times F=0$. I know that ...
3
votes
1answer
43 views

Determine a sign of the limitation of a certain integral

I can't determine a sign of an integral written below and it has hit a dead end. My setting is rather special. Let $a\in(0,1)$ be a given constant and ...
0
votes
1answer
183 views

the double dual of “little l one” sequence space

I remember a professor remarking a while back that the double dual of the sequence space $l_1^{\infty}(\mathbb{R})$ is a very complicated space. I understand it must contain a copy of the original ...
9
votes
3answers
290 views

Decay of real continuous algebraic functions at infinity

Let $f$ be a real valued continuous algebraic function on $\mathbb R^n$. Suppose the zero set of $f$ is bounded, i.e., if $|x|$ is large enough, $f(x)\neq 0$. Is there any estimate of the sort ...
0
votes
0answers
72 views

An analytic family of in fact non-existent improper Riemann integrals

Question: Are there any useful interpretations or "applications" of the formula $$\intop_0^\infty e^{-ax}\frac{\sin x}{x}\,dx=\frac{\pi}{2}-\arctan(a)\qquad \forall\;a\in \mathbb{R}, $$ in which the ...
1
vote
0answers
137 views

On the differentiability of a certain map from $ (0,\infty) $ to $ \Bbb{R} $

This problem arose from my study of energy-conservation for non-linear Schrödinger equations. Suppose that we have the following data: $ u \in C^{1} \! \left( (0,\infty),{L^{2}}(\Bbb{R}^{n}) \right) ...
1
vote
0answers
45 views

Derivatives of Minkowski function?

Let $A\subset \mathbb R^n$ and $M$ be the convex hull of the set $A$, e.g., $M:=Conv(A)$. The Minkowski function on $M$ is defined as follows \begin{align*} &f: \mathbb R^n \to \mathbb R\\ ...
2
votes
0answers
58 views

Minimal condition $\sum \rho_{ij} \Psi_{ij} s_i s_j < \sum s_i s_j $, $\mid \rho_{ij} \mid \leq 1$, $s_i \in \mathbb R$ and $\Psi_{ij} \in \{0,1\}$

Consider a sequence of real number $\{s_i\}_{i\leq n}$. Now consider the real numbers $F$, $G$ and $\alpha$ defined below $$F= \sqrt{ \left( \sum ~\rho_{ij} ~\Psi_{ij}~ s_i ~s_j \right)^+}, $$ $$G = ...
0
votes
3answers
82 views

Bounds on derivative of integrable, monotonically decreasing, differentiable functions on $\mathbb R_+$

The following three conditions have shown up as hypotheses in some recent work, and despite not having been able to find an example, we assume the third is not implied by the former two. We're hoping ...
2
votes
0answers
89 views

Distributive law

I was wondering whether there is any reference that deals with the distributive law for infinitely many elements, i.e. $$ \prod_{i\in \mathbb N} \sum_{k\in \mathbb N} \alpha_{i,k} = \sum_{(k_i)_{i\in ...
12
votes
3answers
289 views

Is a certain subset of the disc a convex set?

Some one asked me this question and I thought about it and I don't have any good idea to solve that. Can some one help me and give me an idea to start solve that? Draw a Cantor set $C$ on the circle ...
4
votes
1answer
380 views

A continuous path between two Sobolev functions

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in ...
-1
votes
1answer
139 views

separable BV space for PDE's, Whats stopping us? [closed]

Consider the metric space BV(0,1) with the following metric $$ d(u,v) = \|u-v\|_{L^1} + |TV(u)-TV(v)| $$. It is separable, compact, uniformly bounded and complete. So What is the really obvious thing ...
1
vote
2answers
237 views

Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]

In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...
-2
votes
1answer
58 views

Suppose a real differentiable function with its derivative not infinity, it is sure that its second symmetric derivative should exist? [closed]

Suppose a real differentiable function $h(x)$ with its derivative not infinity, it is sure that its second symmetric derivative ...
0
votes
0answers
67 views

Derivatives of Mollified functions

I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following: Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
7
votes
0answers
149 views

Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...
0
votes
1answer
79 views

Complement of a finite union of convex sets

Question. Let $V_1,\ldots,V_n$ be open, bounded and convex subsets of $\mathbb R^2$. Show that $F=\mathbb R^2\smallsetminus\bigcup_{i=1}^n V_i$ possesses only finitely many connected components. I ...
1
vote
0answers
96 views

Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function

Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: ...
0
votes
1answer
117 views

An increasing sequence of real numbers [closed]

This was first posted to SE, but now I think its better to be posted here. For what positive real numbers $\alpha$, the sequence $a_n = \frac{\lfloor n\alpha\rfloor}n $ is (not necessary strictly) ...
7
votes
1answer
201 views

Unusual isoperimetry and maximizing the measure of unions of translates of a set

Let me state a standard result first. Let a $A\subset \mathbb{R}^d$ be a set of fixed volume. Define $A_t$ to be the set of all points at distance at most $t$ from $A$. Then the volume of $A_t$ is ...
0
votes
1answer
103 views

Double Integral Equations

In my research I've come across a handful of double integral equations, and I'm nearly at a total loss for how to derive anything useful from such things. I've been lead to believe that even single ...
1
vote
1answer
115 views

A metric on the set of BV functions, is it mentioned/studied in literature?

I'd like to propose the following metric which operates on the set $M$ of all square integrable functions that are also of bounded variation, of the form $f : (0,1) \to \mathbb{R}$. Given any $x,y \in ...
4
votes
0answers
350 views

Properties of the solution of the heat equation

Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention. Note 2: This is my research problem, but the original problem ...
3
votes
0answers
135 views

Proof without distributions

I was wondering whether there is a way to show this identity $$\pi \int_{\mathbb{R}^3} \frac{f(x)}{|x|} dx = \int_{\mathbb{R}^3} \frac{\widehat{f(x)}}{|x|^2} dx $$ without using distributions for $f ...
5
votes
0answers
222 views

Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...
3
votes
0answers
111 views

Eigenvalues and eigenvectors of the q-Bernstein operator

The Bernstein operator maps $f\in C[0,1]$ to its Bernstein polynomial $B_n f.$ The eigenvalues and eigenfunctions of the Bernstein operator on $C[0,1]$ have been described in [1]. Similar description ...
7
votes
0answers
221 views

Proving Richardson's theorem for constants

(I asked this a little over 3 months ago on math.SE, and when I initially re-asked here, no one had responded there. $\:$ After I re-asked here, Eric Towers responded there, since I had forgotten to ...
2
votes
0answers
124 views

An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

The Euler--MacLaurin summation formula can be written as $$ \sum_{i=0}^{n-1} f(k)\approx \int^{n-1}_0f(x)\,dx + \frac{f(n-1) + f(0)}2 + \sum_{j=1}^m\frac{B_{2j}}{(2j)!}[f^{(2j - ...
6
votes
2answers
270 views

Intermediate value for a vector-valued function

Consider a vector-valued function $f: [0,1]^n\rightarrow[0,1]^n$. Write $f(x)=\{f_1(x), ..., f_n(x)\}$ with $x\in[0,1]^n$, where the $f_i: [0,1]^n\rightarrow[0,1]$ are continuous functions with the ...
1
vote
1answer
68 views

Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...
4
votes
1answer
143 views

An open mapping theorem for homogeneous functions?

I am researching different generalizations of the familiar open mapping theorem from functional analysis. Every "proof" I attempt while simply assuming positive-homogeneity, even in the finite-dim ...
0
votes
0answers
27 views

Numerical integration over a cube with non-product weight

Numerical integration over an interval with (well-behaved) weight functions is a research area that has received considerable attention in the past centuries. Any cubature formula over a interval ...
0
votes
0answers
34 views

Beurling density $D(X)$ of $X=\{x_j\in\mathbb R, \ |x_j-x_{i}|>\gamma>0: \ i,j\in\mathbb Z\}$

Beurling density of set $X$ is defined (see, for example "Nonuniform Sampling and Reconstruction in Shift-Invariant Spaces" by Aldroubi and Grochenig) as: $$D(X)=\lim_{r\rightarrow \infty} ...
2
votes
2answers
139 views

Asymptotics of the derivatives of analytic functions

Are there sources that treat questions like the following ones? Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as ...
3
votes
1answer
164 views

comparing norms of tensor product of two Hilbert spaces

Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$ consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...
0
votes
0answers
46 views

The properties of the solution pf minimizing problem with different parameters

I asked an similar problem before but received no respond. Here I modified the problem, add in more informations and assumptions, and with an extra question... Let $\Omega\subset \mathbb R^2$ be open ...
10
votes
2answers
223 views

Slight variation on law of the iterated logarithm

Let$$M_t = \max\{B_s : 0 \le s \le t\},\text{ }m_t = \min\{B_s : 0 \le s \le t\},$$where $B_t$ is a standard Brownian motion. My question is, does there exist $r$ such that with probability ...
1
vote
0answers
103 views

Laplace method with “bad” zero set

It is well-known that if $\phi:\mathbb{R}^n \longrightarrow \mathbb{R}$ is a function with $\phi(0) = 0$, $\phi(x)>0$ if $x \neq 0$ and $D^2\phi(0) \geq 0$, then the integral $$\int_{\mathbb{R}^n} ...
10
votes
1answer
294 views

Extension of Dynkin's formula, conclude that process is a martingale

This question was asked here, but it did not get enough attention, so I'm crossposting it to MO. Let $u: \mathbb{R}_+ \times \mathbb{R}^d$ be a bounded $C^2$ function whose first and second partial ...
3
votes
1answer
125 views

$M_Λ(A) → A ⊗ M_Λ(C)$

I saw this in here. Let $A$ be a Banach algebra, and let $\Lambda$ be a non-empty set. We denote by $M_\Lambda(A)$ be the set of $\Lambda\times\Lambda$ matrices $(a_{ij})_{i,j\in\Lambda}$ with entries ...
3
votes
1answer
380 views

On the embedding of a function space $X$ into $L^2\cap L^4$

It is well-known that if $\Omega\in \mathbb{R}^n$ is a bounded domain, then we have the embedding $$ L^4({\Omega})\subset L^2({\Omega}) $$ since $||f||_{L^2(\Omega)}\leq C(\Omega) ||f||_{L^4(\Omega)}$ ...
0
votes
1answer
115 views

growth of derivative

(Alexandre Eremenko gave the answer to the question I posted earlier. Then I realised the question didn't give what I wanted. Here is the updated question.) Suppose that $f:[a,\infty)\to \mathbb{R}$ ...
3
votes
1answer
138 views

Poisson kernel, expectation, an absolute value comes in

See here. Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. We see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, ...
16
votes
2answers
434 views

Hahn-Banach theorem with convex majorant

At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and ...
2
votes
1answer
119 views

Poisson kernel, $E^{(x, y)}\text{exp}\{i\theta X_t - \theta Y_t\} = e^{i\theta x - \theta y}$

Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. How do I see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, ...
6
votes
1answer
277 views

In the plane, does complement of Brownian path have infinitely many connected components?

Let $d = 2$. Do we have that with $P_x$—probability $1$, for every $T> 0$ the complement $W[0, T]^c$ of the Brownian path up to time $T$ has infinitely many connected components? I had seen this ...