Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
0 answers
583 views

Cohomology of Real algebraic Varieities

I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology. ...
user avatar
2 votes
1 answer
182 views

represented as a series of periodic function

Is there any necessary and sufficient condition for function $f$ such that: $f(x)=\sum_{k=1}^{\infty} f_k(x)$ for all $x \in \mathbb{R}$,where $(f_n )_{n=1}^{\infty}$ is a sequence of periodic ...
Ben's user avatar
  • 407
2 votes
0 answers
104 views

Fourier multiplier with a singularity on a convex curve

Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
Dima Stolyarov's user avatar
1 vote
0 answers
615 views

Is there a Real valued function with image of every open interval the whole real line [duplicate]

Possible Duplicate: Function with range equal to whole reals on every open set Hello, My problem is the following "Is there a Real valued function with image of every open interval the whole ...
D G's user avatar
  • 201
0 votes
0 answers
193 views

Boundedness of Riemann-like sums on unbounded interval

Hi I am trying to find suitable conditions (integrability, growth...) on a function $f:\mathbb{R}\to \mathbb{R}$ such that: \begin{equation} \sum_{k\in\mathbb{Z}}f(kh)h= \mathcal{O}(1),\qquad h\to 0^+...
Francesco Mina's user avatar
-3 votes
1 answer
590 views

A problem regarding definition of p-norm [closed]

Let ${\bf x}=(x_1,...,x_n)$, the p-norm of x is $(|x_1|^p+...+|x_n|^p)^{1/p}$. If one of the components of x is 0, there will be exponential of the form $0^p$. If p is an irrational, $x^p$ is only ...
zzzhhh's user avatar
  • 764
0 votes
0 answers
100 views

Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$

Let ${\mathcal S}'$ be the set of all distributions. Denote by ${\mathcal P}$ the set of all polynomials, which is embedded into ${\mathcal S}'$ as a closed subspace. Equip ${\mathcal S'}/{\mathcal P}$...
Yoshihiro Sawano's user avatar
6 votes
1 answer
369 views

Denominators in the solution to Hilbert's XVII

Hilbert's seventeenth problem asks to prove that every positive semidefinite form can be written as the sum of squares of rational functions. Currently we don't seem to have a good understanding of ...
Gjergji Zaimi's user avatar
3 votes
1 answer
64 views

Complete classification of complexity classes / infinite approaching sequences

http://en.wikipedia.org/wiki/Time_complexity#Table_of_common_time_complexities For complexity as seen in the above link, complexity classes can be log, polynomial, exp, or composition of any of these ...
Zalla's user avatar
  • 31
0 votes
1 answer
138 views

question about the closed form of a function

Hi everyone! I have a question about how to find the closed form of a function defined by $$\phi(\theta)=\inf_{x\geq 2}f(x;\theta)\equiv\inf_{x\geq 2}\frac{(x+2)^2}{\frac{1}{\theta}\left(\frac{x-1}{2}...
Higgs88's user avatar
  • 69
1 vote
0 answers
346 views

Gauge integral of the derivative of a function except on a set of measure 0.

For the entire question, the interval I am integrating over is $[0,1]$. Background: In order to exhibit an isometry from $L^2[0,1]$ into $l^2$, I need to either assume absolute continuity over some ...
Hunter Spink's user avatar
0 votes
0 answers
176 views

search for a function satisfying some conditions

Hi everyone, I would like to find a function $$\Psi\in\mathcal{C}^2: z\in\mathbb{R}\rightarrow\Psi(z)\in\mathbb{R_+}$$ satisfying the following conditions: $$1-\frac{z\Psi'(z)}{\Psi(z)}+8s\Psi''(z)...
Higgs88's user avatar
  • 69
3 votes
1 answer
362 views

Cartesian product of test function spaces

Mini introduction Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
Kirill Shmakov's user avatar
-3 votes
2 answers
260 views

On \ell_3 norm in R^2

Let $v,w\in\mathbb{R}^{2}$ and $v\perp w$. Is it true that $\left\Vert v\right\Vert _{3}\leq\left\Vert v+w\right\Vert _{3}$, in which $\left\Vert \left(x,y\right)\right\Vert _{3}:=\sqrt[3]{\left|x\...
user4606's user avatar
1 vote
0 answers
133 views

Extension of a function

Hello, Given a $\mathcal{C}^\infty$ function $\varphi$ defined on a portion of a surface $\Sigma^-$ and let $\Sigma$ be a closed surface or union of surfaces bounding a compact volume $\Omega \...
user avatar
1 vote
1 answer
275 views

Shift operator that generates separable orbit

Suppose, that $f$ is bounded measurable function, $T_h(f)(x) = f(x+h)$ is the shift operator. How to prove, that if the whole orbit $T_h(f):\, h\in\mathbb{R}$ has a dense, countable subset $T_{n_k}(f)$...
Maciej Skorski's user avatar
3 votes
1 answer
121 views

Second difference

Is there an elementary example of a function f, such that $|f(x+t)+f(x-t)-2f(x)|/|t|^a\le C$, where $a>1$, such that $f$ is not $C^1$?
Marijan's user avatar
  • 95
4 votes
0 answers
213 views

The ring generated by measures

Suppose $X$ is a space equipped with a $\sigma$-algebra $\mathcal{M}_X$. Then the set of measures on $X$ is closed under addition and scalar multiplication by elements of ${\mathbb R}$. Formally ...
David Spivak's user avatar
  • 8,659
1 vote
1 answer
224 views

Can symmetrizing a contraction increase the speed of convergence?

Dear community, I have a problem which is very simple to state but seems to be hard to answer. Statement of the problem Let $f$ and $g$ be two symmetric, real functions in $n$ and $m$ variables, ...
herrsimon's user avatar
  • 199
4 votes
1 answer
222 views

a closed-form for mean/integral, but weighting positive differences between values and "mean" differently from negative differences?

Given a curve $f(x)$ (for $x \in [0,1]$), and a line $y=a$, let $U$ be the total area below $f$ and above $a$, and let $L$ be the total area above $f$ and below $a$. If $L=U$, this means that $a =\...
matt j's user avatar
  • 41
1 vote
0 answers
57 views

Looking for CDFs that I can integrate a particular transformation of

I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate $$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
Liam's user avatar
  • 11
4 votes
1 answer
346 views

approximately linear functions -- more

Suppose $f,g$ are continuous functions from $\mathbb R$ to $\mathbb R$, with the property that $$f(x)+f(y)=g(x+y)$$ for all $x,y$. Taking $x=y=z/2$ implies that $g(x)=2f(x/2)$ so that the above ...
Yiannis's user avatar
  • 123
2 votes
0 answers
470 views

Can any antidifference (indefinite sum) of a function be expressed in elementary functions and generalized polygamma function if its integral can be expressed in elementary functions?

If the integral or multiplicative integral of a function can be expressed with elementary functions, does it mean its indefinite sum (antidifference) or indefinite product respectively can be ...
Anixx's user avatar
  • 10.1k
5 votes
0 answers
369 views

Independent Events Inducing Probability Measures

Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...
Alex R.'s user avatar
  • 4,952
0 votes
0 answers
94 views

Extending coverings over dense subsets

Let $X$ be a metric space with $D⊆X$ a dense subset. If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$? For a ...
Michael's user avatar
0 votes
0 answers
67 views

Proof that Newton expansion over derivatives has the properties of an integral [duplicate]

Let's consider a Newton expansion over consecutive derivatives of a function: $$F(x)=\sum_{m=0}^{\infty} \binom {-1}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$ Can it be proven that such ...
Anixx's user avatar
  • 10.1k
2 votes
2 answers
317 views

Bibliography for topologies defined by a family of seminorms

Hello I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource. Thank you very much.
Learner's user avatar
  • 143
3 votes
0 answers
181 views

Example showing that area is discontinuous in the 2-variation seminorm

The $p$-variation seminorm (where $p \ge 1$) of a continuous curve $\alpha: [0,1] \to \mathbb{R}^2$ is defined as the supremum over all partitions $t_0 = 0 \le t_1 \le \cdots \le t_n = 1$ of: $\left(\...
Pablo Lessa's user avatar
  • 4,304
5 votes
0 answers
558 views

continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
gondolier's user avatar
  • 1,839
3 votes
0 answers
211 views

Elementary analysis: reference request

Given the continuous maps $[0,\infty) \to \mathbb R$ define the following "truncation at level $K$ operator", $T$: $T(f)(t) = f(\min(t, S_f))$, where $S_f = \inf \{ s : f(s) \ge K \}$ So essentially ...
Tom Ellis's user avatar
  • 2,895
1 vote
0 answers
115 views

A question about smoothness

$f$ is a smooth function on $[0,+\infty)$ and $f(x)>0$ for all $x>0$. Then does the following equivalence hold : $\phi(x,y)=f(\sqrt{x^2+y^2})$ is smooth if and only if $f^{(k)}(0)=0$ for all ...
Adterram's user avatar
  • 1,441
1 vote
0 answers
163 views

On explicit eigenfunctions

Given an algebraic surface $S$ defined by an algebraic equation such as $x^{4}+2y^{4}+3z^{4}=1$, how would one find the third smallest eigenvalue $\mu_{3}$ for the differential equation $\Delta f\left(...
user21990's user avatar
3 votes
0 answers
302 views

functions on intervals with endpoints

Would most analysts say that $(2/3) x^{3/2}$ is an antiderivative of $x^{1/2}$ on $[0,\infty)$, or just on $(0,\infty)$? More generally, is there a standard interpretation of the assertion "$F$ is an ...
James Propp's user avatar
  • 19.7k
3 votes
0 answers
237 views

Monotonicity of a certain parametric integral

I would like to ask for some help (hints, ideas) in solving the following problem: Given integer $n>0$ and real $\alpha>0,\beta>1$ we want to show, that if we define for any $x\in\mathbb{R}...
Maciej Skorski's user avatar
0 votes
0 answers
92 views

Class of integrable 0/1-functions "with no null sets."

I am looking for (the name of) a class of functions from $\mathbf{R}^2$ $(\mathbf{R}^n)$ to {0, 1} that are integrable. Let $f$ be in this class and $E$ be the set of all points where $f$ is equal to ...
Ben's user avatar
  • 567
2 votes
0 answers
517 views

When deRham curve is bijection?

Motivation: Suppose we have deRham curve. From wikipedia: Consider some metric space $(M,d)$ (generally $R^2$ with the usual euclidean distance), and a pair of contraction mappings on M: $d_0:\ M \...
kakaz's user avatar
  • 1,626
0 votes
1 answer
116 views

Root and sign of a complicated bivariate function

Given two natural numbers $p$ and $i$, such that $0 < i \leqslant 2^p$, let $$ \Phi(p,i) := \frac{1}{2^p+1} + \frac{1}{(i+1)^2} - \frac{1}{2^p}\lg\left(\frac{2^p}{i}+1\right), $$ where $\lg x$ is ...
Christian Rinderknecht's user avatar
2 votes
0 answers
131 views

Bounding an integral with a small parameter by log

I have been working through Erdos & Yau's `Linear Boltzmann equation as the weak coupling limit of a random Schrodinger Equation,' (arXiv link: http://arxiv.org/abs/math-ph/9901020), and for an ...
logbounded's user avatar
0 votes
0 answers
165 views

minimizing the integral of a function over square sets.

Hi! I'm interested in some problems, but to be honest i'm not sure of the field they belong to. Let $h(x,y)$ be a bivariate function on $X^2$, where $X$ is some nice topological space (for instance $...
kaleidoscop's user avatar
  • 1,352
1 vote
1 answer
149 views

Question on a relation between minors of a particular kind of matrix

Hi! Perhaps it is an easy question but i don't figure out how to prove it. Let $a_1,...,a_{2m+2}\in\mathbb{C}$ and for $1\leq i\leq 2m+2$ and $j\leq [\frac{2m+2-i}{2}]$ (with $[a]$ i mean the integer ...
Italo's user avatar
  • 1,727
0 votes
0 answers
60 views

Relative homology of interlevel set

Let us consider a function $f:\mathbb{R}^3→\mathbb{R}$, $f(x,y,z)=x^3+y^3+z^3-5yz$. Can anybody drop a hint how to compute relative homology of interlevel sets with coefficients in $\mathbb{R}: H_{\...
quantum's user avatar
  • 181
10 votes
0 answers
439 views

Evaluating Shintani cone zeta functions

Hi everyone I am trying the evaluate sums of the form $$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$ ...
user3628's user avatar
  • 265
2 votes
0 answers
354 views

What is this effect in Fourier/additive synthesis called?

Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were $n*f_{...
cheater's user avatar
  • 165
2 votes
0 answers
114 views

Searching for inequalities relating a convolution-type integral of functions of modulus less than but close to one.

Suppose $f(x,y)$ and $g(x,y)$ are both measurable functions from $[0,1]\times[0,1]\to \mathbb{C}$ with $|f|,|g|<1$, and let $h(x,y)=\int_{0}^1 f(x,z)g(z,y) \ dz$. (So $|h(x,y)|<1$ also.) ...
Joe's user avatar
  • 88
0 votes
0 answers
45 views

compactness related to some distance defined on the space of increasing functions2

Let $I=[0,1]$ and denote by $C^{+}(I)$ the space of continuous increasing functions. Can we find a distance $d$ for $C^+(I)$ such that the set of the form $$d(f,g)\rightarrow 0\Longrightarrow f(1)\...
CodeGolf's user avatar
  • 1,835
3 votes
1 answer
263 views

Asymptotically multiplicative functions and matrices

Hi, Let $\mathbb{N}_{cop}^2$ denote the set of all pairs of coprime natural numbers. A function $f:\mathbb{C}\rightarrow\mathbb{C}$ is called asymptotically multiplicative, iff $\epsilon_{m,n}:=f(mn)...
M.G.'s user avatar
  • 7,127
4 votes
0 answers
109 views

rank of a C^1 map

I saw this three star problem in Hirsch .. If we have open sets $U \subset R^3$ ,$V \subset R^2$ and $f:U \to V$ is $C^1$ and onto...Prove there is at least one point in $U$ where $f$ has full rank ...
Marcus's user avatar
  • 153
0 votes
0 answers
92 views

Lower bound for double sums with power law decay terms.

This question is related to a work in progress about Ballistic-Diffusive phase transition for some random polymers with long range self-repulsion. The motivation to ask here if the inequality below ...
Leandro's user avatar
  • 2,044
4 votes
0 answers
162 views

Symmetric functions and regularity (II)

My previous question (where $n=2$) was a bit too naive. I think that this one, which is the one being of genuine interest to me, is more involved. Let $f=\mathbb R^n\rightarrow\mathbb R$ be a ...
Denis Serre's user avatar
  • 52.3k
1 vote
0 answers
174 views

Eigenvalues of a Parametrized Family of Linear Functions

Suppose that we have a family of linear functions $L(\alpha) : \mathbb{R}^n \rightarrow \mathbb{R}^n$, where $\alpha$ is a positive real number. For each $\alpha$, it is given that $L(\alpha)$ is a ...
Eric Haengel's user avatar