The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
343 views

Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...
0
votes
0answers
72 views

Do they have the same limit?

Suppose $a(\cdot)\in L^p$ and is symmetric and $b(\cdot)\in L^q$, where $1/p+2/q=2$, $p,q\ge 1$. Consider the quantity $Q_T=$ $$ ...
7
votes
0answers
330 views

Minkowski's Inequality for Integrals in Orlicz spaces

EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces. Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, ...
0
votes
0answers
65 views

Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds : $$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...
0
votes
1answer
45 views

Can the conservative form of the advection equation be re-written by replacing the velocity term with an integral over all other points in space?

Suppose I have a 1D advection equation in conservation (divergence) form $\partial_t u(x,t) = -\partial_x [v(x)u(x,t)],$ where $u$ is a conserved quantity in space, and $v$ gives the velocity of the ...
2
votes
3answers
228 views

Positivity of the Coulomb energy in two dimensions

In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{|\cdot|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...
0
votes
0answers
46 views

Integrate Faddeeva function

I came across this integration in my studies. $\int_{-\infty}^{\infty}|F((w_\textbf{_} - \hat{w_\textbf{_}})\tau) |^2 . d\tau$ It uses the Faddeeva function which is $F(z) = e^{-z^2}erfc(-iz)$. I ...
5
votes
2answers
291 views

Integration on Compact Semirings

I want to know if integration of functions $f:X\rightarrow G$ where $G$ is a compact semiring has been defined and if it is possible to ensure that all continuous functions are integrable. This is ...
1
vote
0answers
49 views

How naturally can functions defined by parametric integrals be interpolated from $\mathbb N$ to $\mathbb R^+$?

It is well known that several definite integrals $I_n$ containing a parameter $n\in\mathbb N$ can be expressed recursively (e.g. doing integration by parts) in terms of $I_{n-1} $ or $I_{n-2} $, and ...
9
votes
2answers
320 views

On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation ...
2
votes
2answers
233 views

How to calculate $P(\sum_{i=1}^{m}(A_i+S_i)\le L)$ with $A_i,L\sim\text{exp}(\lambda),S_i\sim\text{exp}(\mu)$ and positive integers $\lambda\neq\mu$?

Recently I was stumped by the calculation of the probability $$\mathbb{P} \big(\sum_{i=1}^{m} (A_i + S_i) \le L < \sum_{i=1}^{m+1} (A_i + S_i) \big)$$ where $A_i \sim \text{exp}(\lambda), S_i \sim ...
6
votes
1answer
131 views

Computing certain integrals over high-dimensional polyhedra

Let $\delta>0$ be a small real number and consider the $k$-dimensional region consisting of points for which $$\delta\leq x_1\leq x_2\leq\ldots \leq x_k$$ and $$x_1+\ldots+x_k\leq 1.$$ I am ...
0
votes
0answers
105 views

How to solve definite integral involving exponential function

I am trying to get a closed form for the following definite integral: $$f(\theta)= \int_\frac{\pi}{2}^\pi \frac{1}{\sqrt{1-\alpha^2 \cos^2\theta}}\exp\left(C_2\cos\theta-C_1\sqrt{1-\alpha^2 ...
3
votes
0answers
119 views

Computing local volumes : the case of Hecke p-adic subgroups

I am quite interested in knowing how to compute some volumes of groups defined on local fields $K$, mainly in order to evaluate the identity term in trace formulas. It is something well done in the ...
3
votes
0answers
146 views

An upper bound for a average of a function in $L_{p}([0,1))$

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j},~ 1\leq j \leq 2^{n} \} \right\} \right)_{n ...
-4
votes
0answers
127 views

Finding closed form of : $\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$

$ \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\dd}{{\rm d}}$ Finding closed form of the below: $$\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$$ This ...
0
votes
0answers
29 views

Saddle point method for asymptotic expansion [migrated]

Any idea on how to derive an asymptotic expansion of the following integral for $x$ around zero (using Saddle point method): $$\int_{0}^{x}\left(u+\alpha\right)^{-a - \left(b-a\right)e^{-\lambda ...
-1
votes
0answers
62 views

Integration of the reciprocal of sum exponential [migrated]

Any one know the method to do the integration as $$\int\frac{x^2\cdot \exp (-ax^2) \exp(-bx^2)}{\exp(-ax^2)+\exp(-bx^2)}dx$$ It can be simplified as $$\int\frac{x^2}{\exp(ax^2)+\exp(bx^2)}dx$$ ...
7
votes
4answers
202 views

Numerical integration of legendre polynomials

I hope that numerical questions are also permitted here. I want to expand a smooth functions $f \in C^{\infty}$in terms of Legendre polynomials. Thus I need to calculate integrals of the form ...
2
votes
0answers
80 views

Regularity of measures in the theorem of Riesz

There are two concurrent theories of measure/integration on a locally compact topological spaces: either as positive linear forms on the space of continuous functions with compact support, or as Borel ...
0
votes
1answer
509 views

computing an integral involving standard normal pdf and cdf

recently, i need to compute this kind of integral: $$ \int ^\infty _c \Phi(ax+b) \phi(x) dx$$ where a, b and c are all constants and $\Phi(x)$ denotes the CDF of standard normal distribution and ...
1
vote
1answer
69 views

Integrals involving trigonometric functions and polynomes

Let $P(x)$ be a real polynome. Specify all such $P(x)$ that one of the next integrals converge: $$ \int_0^{\infty} sin(P(x))dx, \int_0^{\infty} cos(P(x))dx ? $$ Among special cases are such ...
0
votes
0answers
154 views

Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...
2
votes
0answers
77 views

motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...
0
votes
0answers
104 views

How to evaluate the following integral related to exponential distribution

I would like to evaluate the following integral related to the exponential distribution. Let $\delta>1$, and $0<p<1$ and $0<\epsilon<1/\delta$ be reals. We have that $$ ...
0
votes
0answers
63 views

Equivalence of ensembles and $\sum_{N=0}^{\infty} \int_{-Bn}^{\infty} 1_{\text{{N>K or u>A}}}(u)e^{-\beta |\lambda_m|(\frac{u}{2}+n)}du $

I am thinking about a step in the proof of the equivalence of ensembles in StatMech on page 25. step from 3.19 to 3.20. It seems to be argued there that for $A$ and $K$ large enough, the term ...
5
votes
1answer
103 views

The Notion of Strong Measurability for Separable Banach Spaces

Let $ (X,\Sigma,\mu) $ be a measure space and $ B $ a Banach space. According to my understanding, a function $ f: X \to B $ is said to be strongly $ \mu $-measurable if and only if it is the ...
0
votes
0answers
80 views

Reference: Bochner Integral`

What would be an easily accessible book dealing with Bochner integration as applied to probability theory (I'm looking to understand random elements and their basic related concepts in a formal yet ...
1
vote
1answer
92 views

Inversion of incomplete elliptic integral of third kind

I would like to know whether there is any solution available on the inversion of elliptic integrals of the third kind (incomplete)? That means that given $\Pi(n,u,m) = f(x)$, I would like to obtain ...
6
votes
0answers
62 views

How to take this Grassmann integral?

I'm trying to reconstruct and understand what is explained in a paragraph of this paper. I am trying to check if the method they describe actually gives us the Laughlin state. The integral I'm facing ...
1
vote
1answer
78 views

What function is “$U_{\nu}(\cdot, \cdot)$”?

I was searching in the Prudnikov (vol. 2) how to solve an integral and I finally found it. However, I didn't recognized a function that appears in the answer. Integral 1.8.2.4: $$ \int_0^x x^{\nu+1} ...
2
votes
0answers
35 views

Mean and variance of a general multivariate skew normal distribution

I have a problem about a general multivariate skew normal distribution. There is a $p\times 1$ vector, $\mathbf{y}=(\mathbf{y}_1',\mathbf{y}_2',\ldots,\mathbf{y}_n')',p>n$, which has the density as ...
7
votes
3answers
282 views

Multiprecision numerical evaluation of integral: Sage vs. PARI/GP vs. mpmath

I am trying to compute thousands of integrals of the below type, that comes up in a conformal mapping problem, to as many accurate digits as possible (preferably 50+): $$ \int_{-1}^1\textrm{d}t ...
0
votes
0answers
35 views

A hyperbolic partial differential equation

How solve this equation (numeral or analytical)? $u(t,x)=\int_{t-x}^{t}{a \cdot e^{b \cdot s} \cdot \int_{0}^{s-(t-x)}{u(s,z)dz}ds}+\int_{t-x}^{t}{c \cdot e^{d \cdot s} \cdot ...
0
votes
0answers
77 views

Integration by parts for multidimensional Lebesgue-Stieltjes Integrals

I am concerned with the following problem: I am wondering if there exists any sort of integration by parts formula for a multidimensional Lebesgue-Stieltjes integral. In my case the integral is given ...
0
votes
0answers
217 views

Morphisms associated to measured spaces [duplicate]

In a previous discussion (von neumann algebras and measurable spaces), the connexion between von Neumann algebras and localized measured spaces was clarified. I would like to have a category theory ...
1
vote
0answers
57 views

L2 norm of a M-Whittaker function

Let $M_{\kappa,\mu}(z)$ be the Whittaker function, as defined here http://en.wikipedia.org/wiki/Whittaker_function. Does any one know the evaluation of the following integral? ...
0
votes
1answer
97 views

Behavior of the integral of products of probability densities

Assume $z \in \mathbb{R}^m$ and $x \in \mathbb{R}^n$. Assume we have proper density function $P(z)$ and proper conditional density function $P(x|z)$. We give the definition $$ T(x_1,\ldots,x_n) := ...
5
votes
3answers
3k views

Proof without words for surface area of a sphere [closed]

I love the book Proofs Without Words by Roger B. Nelsen. One of the proofs I liked the most was this: Area under one arch of a cycloid is 3 times the area of the wheel that traces it. You break the ...
0
votes
0answers
29 views

Integrating over the Intersection of Convex Regions

Is there a way to integrate over the intersection of a finite collection of convex regions, using only the definition of the regions (i.e. without actually calculating the intersections)? The ...
0
votes
0answers
31 views

Solution of ODE related to normal density

This question below is from mathse. I reqeustioned here because very limited respond there. Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, ...
3
votes
0answers
74 views

Non Borel Spaces: Gauge Integral

Question Is there a generalization of the gauge integral to measure spaces that do not necessarily arise out of some topology? I'm wondering since it seems as the gauge crucially uses ...
7
votes
3answers
746 views

Expectation of a simple function of multivariate gaussians iid rvs

I would like to compute analytically the following expected value: $$ E\left( \frac{X_i^2}{\sum_j \lambda_j^2 X_j^2}\right) $$ where the $X_i \approx N(0,1)$ are iid. It seems to be an elementary ...
1
vote
1answer
142 views

Contour integral around semi-circle

Can one use contour integration to evaluate $\int^{\pi}_{0} \frac{1}{1-\rho*sin(\theta)}d\theta$ for $0<\rho<1$? This would be trivial if the upper limit were $2\pi$ as we could let ...
7
votes
3answers
1k views

Rationale for Hadamard's finite part of a divergent integral

(Note: I asked this question a few days ago on math.stackexchange but didn't get any responses. I've therefore decided to post it here instead.) I have a problem justifying throwing away the ...
3
votes
1answer
200 views

An inequality concerning convexity and expectation

Assume $f$ and $g$ are nonnegative with $$\int_0^\infty f(x)dx=1=\int_0^\infty g(x)dx $$ and $$\int_0^\infty xf(x)dx<\infty > \int_0^\infty xg(x)dx $$ Is it true for nonnegative numbers $p$, $q$ ...
11
votes
4answers
6k views

Visualization of Riemann–Stieltjes Integrals

The Riemann–Stieltjes integral $\int_a^b f(x)\,dg(x)$ is a generalization of the Riemann integral. It is e.g. heavily used as a starting point for stochastic integration. The approximating ...
1
vote
3answers
2k views

“Riemann–Stieltjes derivative”?

Can you define a "derivative" operator such that its antiderivative F(x) of f(x) can be used in the sense of F(b)-F(a) to calculate the Riemann–Stieltjes integral of f(x)? Perhaps it would be related ...
0
votes
0answers
93 views

Question about a particular estimate in Riemannian geometry

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...
5
votes
1answer
276 views

Laurent expansion of a principal value integral

Let $f(t)$ be a nice Hölder continuous function. Also, suppose that $f$ is even. I'm interested in evaluating integrals of the form: $$\oint (1-z)^{k+1}\int_0^1 \frac{f(t)}{(1-zt)^{n+1}}dtdz,$$ ...