Questions tagged [integral-operators]
The integral-operators tag has no usage guidance.
139 questions
1
vote
0
answers
37
views
Range of (dual) Radon transform on the manifold of affine hyperplanes
Let $\overline{\mathbb{P}}^{n-1}$ denote the manifold of affine hyperplanes in $\mathbb{R}^n$. Let $S(\overline{\mathbb{P}}^{n-1})$ denote the space of Schwartz functions (infinitely smooth with rapid ...
- 21.8k
2
votes
0
answers
51
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
- 1,429
1
vote
1
answer
116
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
- 121
2
votes
0
answers
51
views
Is the Fourier Transform of $e^{i(zR\arctan(k/R))} \frac{1}{\sqrt{1 + k^2/R^2}}$ a nascent delta function?
Let $R > 0 $ and set $h = \frac{1}{R}$. Let $G \in C^\infty(\mathbb{R})\cap L^\infty(\mathbb{R})$. Further restrictions on $G$ are allowed.
Consider the (R-dependent) integral operator $K_R: L^2(\...
- 113
0
votes
0
answers
121
views
How to find the inverse of this linear integral operator?
Let $f(x): \mathbb{R}^d \rightarrow \mathbb{R}$ be a function that decays ``fastly enough'' at infinity.
We can define the following linear operator
$$L[f](x):= \int_{\mathbb{R}^d} d^d y \, \frac{f(y)}...
- 1
2
votes
1
answer
315
views
Where to find or how to establish a general formula for the improper integral $\int_{0}^{\infty}\frac{\sin t}{t}(\ln t)^k\operatorname{d\!} t$?
When I tried to establish the Maclaurin power series expansion of the reciprocal $\frac{1}{\Gamma(z)}$ of the Euler gamma function $\Gamma(z)$, I came across the improper integral $$
I_k=\int_{0}^{\...
- 1,091
3
votes
0
answers
69
views
Discrete Fresnel operator
In mathematical optics, the Fresnel propagator is defined as the transfer function
\begin{equation}
T( x, y) = \frac{1}{\sqrt{i\lambda d}}\exp\left(\frac{\pi i}{\lambda d}| x- y|^2\right)
\end{...
0
votes
0
answers
72
views
Regularity estimates of Double Layer potential
Let $\Omega$ is a bounded open subset of $\mathbb{R}^n,n\ge 2$ with $C^{\infty}$ boundary. Define $$I\left[ \phi \right](x) := -\frac{1}{\omega_n}\int_{\partial \Omega} \frac{(x-y)\cdot \nu_y}{|x-y|^n}...
- 69
1
vote
1
answer
130
views
Existence of solutions to a series of integral equations
I am trying to solve the following integral equation analytically:
$$
\sum_{n \geq 1} \left( \int_0^te^{-n^2(t-s)} f_n(s) \, ds \right) = g(t), \quad t \in [0, T],
$$
where $(f_n(t))_n$ is the unknown ...
- 617
1
vote
0
answers
46
views
Bernstein type representation with logarithmic kernel
Consider the integral operator $T$ which maps nonnegative measures $\mu$ on $\mathbb{R}_{\geq 0}^2$ such that $$\int_0^\infty\int_0^\infty\left|\ln(ux+vy)\right|\,d\mu(u,v)<+\infty$$ into functions ...
- 177
2
votes
0
answers
101
views
Majorization theory on $\sigma$-finite measure spaces
I want to learn about majorization and submajorization theory on $\sigma$-finite measure spaces. I know things get a bit more complicated compared with the case of a finite measure spaces but I'm ...
- 759
0
votes
0
answers
34
views
No jump of hypersingular integral near boundary under lower regularity
Let $\Gamma \subset \mathbb{R}^2 $ be a $C^2 $ smooth simple closed curve, the elasticity double layer potential on $\Gamma $ is defined as
$$
(Wu)(x):= \int_\Gamma (T(\partial_y,n(y))E(x,y))^T u(y) ...
- 269
2
votes
0
answers
54
views
Transform connecting powers of integration and differentiation operators
Just by a chance, I found the following power series identity, which holds for any analytic function $F(\cdot)$, nonnegative integer $m$, and constants $u,v$ not depending on indeterminates $z,t$:
$$\...
- 34.3k
0
votes
0
answers
14
views
Understanding relation of 2 dependent, integral equations which are nested in a Bayesian Expectation
I'm trying hard to try understand the recursive nature between two equations in a recent macroeconomics paper, but my question mainly relates to how mathematically such recursive equations can depend ...
2
votes
0
answers
70
views
About Fourier integral operators
Consider the operator
$$(A_\Delta\psi)(p) = \int_\Delta \int_{\mathbb{R}^n} e^{ix\cdot(p-k) + i\phi(x,p,k)} a(x,p,k) \psi(k) dk\: dx$$
where $\Delta$ is a Borel or Lebegue set in $\mathbb{R}^n$, in ...
- 205
1
vote
0
answers
45
views
Characterization of the Picard's condition for integral equation
Picard's condition (Thm. 15.18, Kress et al. 1989) is essential to study the existence of a solution of a Fredholm integral equation of the first kind. Specifically, consider (the univariate case) the ...
- 143
2
votes
0
answers
104
views
Existence of solutions to n-dimensional integral equation with solutions into [0,1]
I have a research problem I am working on where a step involves proving the existence of solutions to a certain kind of integral equation. A statement of this problem is as below. I would appreciate ...
- 21
2
votes
0
answers
73
views
Derivative of a functional involving integral and level set
Let $\Omega$ be a bounded smooth domain. For $u\colon \Omega \to \mathbb{R}$, define the functional
$$F(u) = \int_{\{u=0\}}g(x) \; \mathrm{d}x$$
where eg. $u \in H^2(\Omega) \cap C^0(\bar\Omega)$ and ...
- 29
3
votes
1
answer
293
views
How to find the inverse of a product of two integral equations
Problem
I am trying to invert an equation of the form:
$R(l_0)=(\int_{0}^{l_0} \rho(x) \, dx)(\int_{l_0}^{l} \rho(x) \, dx)$
where $0\leq l_0 \leq l$
I.e. I want to find $\rho(x)$ given $R(l_0)$ via ...
- 33
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
0
votes
1
answer
131
views
Solution or approximation to $\int x^{-a} \Gamma\left( b, c x^{-d} + e \right) dx$
I'm looking for a solution or approximation to the following indefinite integral $$\int x^{-a} \Gamma\left( b, c x^{-d} + e \right) dx.$$
I've tried Mathematica, but it does not converge to a solution....
3
votes
0
answers
151
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...
- 101
0
votes
1
answer
135
views
When integrating by part produces a singularity
I'm currently interesting in the following operator:
$$O[f](x):=f(x)-2xe^{x^2}\int_x^{+\infty}dt \, e^{-t^2} f(t)$$ for all $x\in\mathbb{R}$ and $f$ smooth and decaying at infinity fast enough with ...
- 41
0
votes
0
answers
77
views
$ \int_{\mathbb{R}^n} f R_1 f=0$ if $f\in L^2$ Riesz transform
How can I see that? It seems that it has to do with the adjoint of the Riesz transform $R_1^*=-R_1$, but here we do not have the complex $L^2$ scalar product.
- 1
1
vote
0
answers
121
views
When is the solution to a Fredholm integral equation a PDF?
I have two questions about inhomogenous Fredholm integral equations of the first kind:
$$f(x) = \int_a^b K(x,t) g(t) dt$$
where $f, K$ are known and $g$ is not.
If a unique solution for $g$ exists, ...
- 111
5
votes
1
answer
229
views
An inequality for polynomials
I have been thinking about the validity of the following inequality: if $P(z)=\sum_{k=0}^na_kz^k, a_n\neq 0$ and $P(z)$ is non-zero in $|z|<1, $ then for $\theta \in [0, 2\pi],$ and $p>0$
\...
- 559
3
votes
0
answers
143
views
Extrapolated Integral operator (compactness)
I am studying the compactness of some convolution operators. Let the convolution with extrapolation
$$ \Gamma: X\longrightarrow X; x\mapsto\int_0^t T_{-1}(t-s)B(s)x\mathrm{d}s. $$
Here $T(\cdot)$ is a ...
- 299
2
votes
0
answers
61
views
Translation request: Boundedness of Cauchy integral on Lipschitz boundary
The reference: "L'intégrale de Cauchy définit un opérateur borné sur $L^2$ pour les courbes lipschitziennes" (https://annals.math.princeton.edu/1982/116-2/p04) is written in French. Can we ...
- 269
4
votes
1
answer
259
views
Integral operator (compactness)
I am studying the compactness of some convolution operators. Let the convolution
$$ \Gamma: X\longrightarrow X; x\mapsto\int_0^t T(t-s)B(s)x\mathrm{d}s. $$
Here $T(\cdot)$ is a $C_0$-semigroup on some ...
- 299
0
votes
0
answers
83
views
Integral over $S^{n-1}$ [duplicate]
What is the values of the following integral:
$$\int_{w \in S^{n-1}} e^{i\lambda< x,w >} dw.$$
where $\lambda\in\Bbb R, i^2=-1,x\in\Bbb R^n;<,>$ the inner product scalar on $\Bbb R^n$ ...
- 501
4
votes
0
answers
156
views
Roots of smoothing operators
Suppose that $(M,g)$ is a smooth, compact Riemann manifold and $K:M\times M\to\mathbb{R}$ is a smooth, symmetric nonnegative function. We regard is as the Schwartz kernel of a smoothing operator. In ...
- 34.7k
4
votes
1
answer
404
views
Why is it difficult to define a direct integral of Banach spaces or Banach algebras?
In the relevant Wikipedia entry, I can read about how to define a direct integral on Hilbert spaces and Von-Neumann algebras.
Suppose that I want to define a direct integral on either Banach spaces or ...
- 1,054
1
vote
0
answers
73
views
Reference request: normal trace and the conormal derivative associated to the operator $Div (A \nabla)$ for a symmetric positive definite $A$
Let $A$ be a $3\times 3$ symmetric positive definite matrix. I am looking for a reference where I could find in which sense the normal trace $\gamma$ and conormal derivative $\gamma_n$ associated to ...
- 63
2
votes
1
answer
583
views
Structure of the inverse of a Fredholm integral operator of the second kind
NOTE: Cross-posted on Mathematics Stack Exchange
I am trying to solve an equation of the form
$$ (\mathbb{I} + K)\phi = f $$
where $(\mathbb{I} + K): L^2([0,1];\mathbb{R}) \rightarrow L^2([0,1];\...
- 21
1
vote
1
answer
103
views
How to prove that $\int (1-z)^{u} z^{v} dz$ is equal to $\frac{z^{v+1}}{v+1}_2F_1(-u, v+1; v+2; z)$?
How to prove that
$$\int (1-z)^{u} z^{v} dz = \frac{z^{v+1}}{v+1} \, _2F_1(-u, v+1; v+2; z)?$$
0
votes
1
answer
142
views
What are the steps involved in the solution to $\int{x^{-a} (b -cx^{-d})^e }dx$? [closed]
Mathematica gives me the following solution to $\int{x^{-a} (b -cx^{-d})^e }$:
$$\int{x^{-a} (b -cx^{-d})^e dx} = -\frac{b^{e}x^{1-a} \, _2F_1\left(\frac{a-1}{d},-e;\frac{a+d-1}{d};\frac{c x^{-d}}{b}\...
0
votes
1
answer
88
views
Solution or approximation to $\int x^{-a} \text{erf}\left( b - c x^{-d} \right) dx$?
I'm looking for a closed solution or an approximation to $$\int x^{-a} \text{erf}\left( b - c x^{-d} \right) dx,$$
where $a, b, c, d > 0$.
3
votes
0
answers
214
views
Extended adjoint of Volterra operator
Let $V$ be a Volterra operator on $L^2 [0,1]$.
Does there exist a nonzero operator $X $ satisfying the following system
$VX=XV^∗$, where $V^∗$ is the adjoint of the Volterra operator?
$$ V(f) (x) =\...
1
vote
1
answer
110
views
Solution to $\int x^{-a} \Gamma\left( b, c x^{-d} \right) dx$
I'm looking for a solution to $$\int x^{-a} \Gamma\left( b, c x^{-d} \right) dx.$$
Mathematica gives me the following solution, but I'd like to know/understand the steps involved in finding it.
$$\int ...
1
vote
1
answer
180
views
Is there a solution to $\int_{\theta-1}^{x} \left(\frac{y+1-\theta}{\theta} \right)^{-\frac{1}{\epsilon+3}} y^{-\frac{\epsilon+4}{\epsilon+3}}dy$?
I'm looking for a solution to the following integral. However, it seems it doesn't have a solution.
$$\int\limits_{\theta-1}^{x} \left(\frac{y+1-\theta}{\theta} \right)^{-\frac{\displaystyle1}{\...
1
vote
3
answers
215
views
Solution to $\int_{0}^{y} x^{-a} \exp \left[- \frac{(b - cx^{-d})^2}{2} \right] dx$
Is there a solution to this integral?
$$\int_{0}^{y} x^{-a} \exp \left[- \frac{(b - cx^{-d})^2}{2} \right] dx,$$
where $a > 0$ and $d > 0$.
3
votes
1
answer
497
views
Hilbert-Schmidt integral operator with missing eigenfunctions
I'm having some issues with the spectral decomposition of the integral operator
\begin{equation}
(Af)(x)=\int_0^1|x-y|f(y)dy,\text{ with $f\in L^2[0,1]$}.
\end{equation}
Since
\begin{equation}
...
- 33
3
votes
0
answers
121
views
Schatten norm estimate of spatially truncated resolvent of Laplacian
Consider the operator $-\Delta$ on $L^2(\mathbb R^d)$. In my studies I stumbled upon operators of the form
$$1_{\Gamma_n} (-\Delta -z)^{-1} 1_{\Gamma_m},$$
where $1_{\Gamma_m}$ denotes multiplication ...
- 91
2
votes
0
answers
141
views
Optimization of functionals with constraints
I have a minimization problem as follows:
$\min\left( \int_0^1\int_0^1\beta(t)\beta(s)G_1(t, s)dtds\right)^{1/2}+\left( \int_0^1\int_0^1\beta(t)\beta(s)G_2(t, s)dtds\right)^{1/2} $
$\texttt{s.t.}\;\;\;...
4
votes
1
answer
536
views
Calculation of an inverse Mellin transform
Let $z \in C$ and consider the following integral equation:
$$-\frac{\Gamma(a)}{\Gamma(b)}\frac{1}{ z \dfrac{\mathrm{d}}{\mathrm{d}z} {_{1}F_{1}}(b,b-a;z)}= \int_{0}^{+ \infty}x^{z-1}K(x) \mathrm{d}x$$...
- 159
1
vote
1
answer
181
views
Unique solution for 2$\times$2 Fredholm integral equations system
Consider the following system of Fredholm integral equations with constant kernel matrix
$$
f(x)=K(x)\int_{0}^{1}f(s)ds
$$
where $K(x)\in C([0,1];M_{2\times 2}(%
%TCIMACRO{\U{211d} }%
%BeginExpansion
\...
- 617
-1
votes
1
answer
60
views
Seek help to formalize an argument to positiveness of function defined inductively by integral [closed]
I have on domain $[0,\infty)$ a known and positive function $f(x)$ and two unknown functions $g(x), h(x)$ that start positive when $x=0$.
I also know that if $h(x)$ is positive, then $g(x)$ is also ...
- 123
2
votes
0
answers
126
views
Asking for results on critical points and similar properties of solutions of nonlinear Volterra integral equations - Physically coherent solutions
I have a system of nonlinear Volterra integral equations of form
$$x(t)=x_0+\int_0^t K(t,s)F(x(s))ds$$
and I am interested on the critical points of $x(t)$, I mean maximum, minimum, increasing and ...
- 123
0
votes
1
answer
323
views
Solution set of integral equation/ Kernel of linear operator
I am interested in understanding the solutions $\phi$ of the following integral equation: $$0=\int_0^1 \int_0^1 \phi(x,y)(x-y)\thinspace dx\thinspace dy.$$ Equivalently, I am interested in ...
- 143
4
votes
1
answer
242
views
Nonlinear system of integral equations
I have encountered a system of nonlinear integral equations in my work. They take the form
$$\int_{0}^{1} \frac{1}{g(y)}e^{f(x)/g(y)}(x+f(x)/g(y)-f(x))dy=0$$
$$\int_{0}^{1}\frac{f(x)}{g(y)^2} e^{f(x)/...
- 143