Questions tagged [integral-operators]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
12 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 ...
Justin Lee's user avatar
1 vote
0 answers
48 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 ...
V. Moretti's user avatar
1 vote
0 answers
23 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 ...
Mingzhou Liu's user avatar
2 votes
0 answers
103 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 ...
anshad's user avatar
  • 21
2 votes
0 answers
60 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 ...
Blah000's user avatar
  • 29
3 votes
1 answer
266 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 ...
Connor B's user avatar
0 votes
0 answers
143 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 $\...
Bobo's user avatar
  • 101
0 votes
1 answer
123 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....
Felipe Augusto de Figueiredo's user avatar
3 votes
0 answers
115 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 ...
Staki42's user avatar
  • 151
0 votes
1 answer
127 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 ...
BlueCharlie's user avatar
0 votes
0 answers
68 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.
johann's user avatar
  • 1
1 vote
0 answers
109 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, ...
Wilbur's user avatar
  • 111
5 votes
1 answer
218 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$ \...
user159888's user avatar
3 votes
0 answers
138 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 ...
Malik Amine's user avatar
2 votes
0 answers
58 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 ...
Yidong Luo's user avatar
4 votes
1 answer
215 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 ...
Malik Amine's user avatar
0 votes
0 answers
75 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$ ...
zoran  Vicovic's user avatar
4 votes
0 answers
149 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 ...
Liviu Nicolaescu's user avatar
4 votes
1 answer
307 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 ...
Frederik Ravn Klausen's user avatar
1 vote
0 answers
58 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 ...
SAKLY's user avatar
  • 63
2 votes
1 answer
415 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];\...
a1228d's user avatar
  • 21
1 vote
1 answer
89 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)?$$
Felipe Augusto de Figueiredo's user avatar
0 votes
1 answer
140 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}\...
Felipe Augusto de Figueiredo's user avatar
0 votes
1 answer
84 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$.
Felipe Augusto de Figueiredo's user avatar
3 votes
0 answers
196 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) =\...
Anas Abbas H.'s user avatar
1 vote
1 answer
107 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 ...
Felipe Augusto de Figueiredo's user avatar
1 vote
1 answer
177 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}{\...
Felipe Augusto de Figueiredo's user avatar
1 vote
3 answers
212 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$.
Felipe Augusto de Figueiredo's user avatar
3 votes
1 answer
412 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} ...
Evan Gorman's user avatar
3 votes
0 answers
113 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 ...
user271621's user avatar
2 votes
0 answers
130 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.}\;\;\;...
Shuoyang Wang's user avatar
4 votes
1 answer
458 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$$...
Adam Hammam's user avatar
1 vote
1 answer
166 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 \...
Gustave's user avatar
  • 545
-1 votes
1 answer
58 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 ...
Quiet_waters's user avatar
2 votes
0 answers
125 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 ...
Quiet_waters's user avatar
0 votes
1 answer
273 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 ...
mwalth's user avatar
  • 143
4 votes
1 answer
216 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)/...
mwalth's user avatar
  • 143
2 votes
1 answer
615 views

General strategy for studying the decay of eigenvalues of kernel integral operators

Disclaimer. Please, be patient, I'm here to learn functional analysis... Let $X$ be the unit sphere in $\mathbb R^n$ and let $\sigma$ be the uniform measure on $X$. Consider a positive definite ...
dohmatob's user avatar
  • 6,706
4 votes
1 answer
136 views

Boundedness of Riesz potential on Hardy space

I encounter the following claim in one paper: If $(-\Delta)^{\frac14}u\in L^{2,\infty}(\mathbb{R})$, then $u\in BMO(\mathbb{R})$. Equivalently in its dual version, if $u\in \mathcal{H}^1(\mathbb{R})$,...
Slm2004's user avatar
  • 593
3 votes
0 answers
95 views

Boundedness of Calderon-Zygmund type operator

I am trying to prove the following fact. Suppose $\varphi\in C_c^\infty(\mathbb{R}^1)$. Define $$T(u)(x):=P.V.\int_{\mathbb{R}^1}\frac{\varphi(x)-\varphi(y)}{|x-y|^{\frac32}}u(y)dy$$ where P.V. means ...
Slm2004's user avatar
  • 593
2 votes
0 answers
66 views

Unique continuation for integral operator

I accidentally met such question. Let's start from easy ones. Let $\Omega$ be an open convex domain in $\mathbb{R}^2$ and $u(x)$ satisfies that $$u(x) = \int_{\partial\Omega} \nabla_y G(|x-y|)\cdot ...
Yimin's user avatar
  • 143
2 votes
2 answers
562 views

Conditions for continuity of an integral functional

Let $X$ be a metric space, $\nu,\mu$ be Borel measures on $X$, $f:X\times \mathbb{R}\rightarrow [0,\infty)$ be a measurable function. Under what conditions is the integral functional $F_f$, defined ...
ABIM's user avatar
  • 4,989
1 vote
0 answers
120 views

A Fredholm equation with non-separable kernel [closed]

I'm trying to solve this form of Fredholm equation: $$ g(v)=f_1(v)+\int\limits_{0}^{v_\mathrm{th}} g(v_s)\frac{e^{-\tfrac{\big[(v-v_\mathrm{init})-(1-v_\mathrm{leak})(v_s-v_\mathrm{init})\big]^2}{2v_\...
ground's user avatar
  • 11
1 vote
0 answers
70 views

Convolution Integral Equation on a compact subset of the real line

I am dealing with the following equation: $$ f(x) = g(x) + \intop_{X} dt K(x-t)f(t) \;,\qquad \left\lbrace \begin{array}{c}f(x)>0\;,\;x\in X \\ f(x)<0\;,\;x\notin X \end{array}\right.$$ where $X$...
Stefano's user avatar
  • 105
2 votes
0 answers
255 views

Modified variational formulation of heat equation

The heat kernel $u:\mathbb{R}^n\times (0,\infty)$ is defined as the solution to $$ u_t = \Delta u, $$ subject to certain boundary conditions and can alternatively be described, in variational form, as ...
ABIM's user avatar
  • 4,989
1 vote
0 answers
154 views

Bifurcation points in parametric Hammerstein Integral equation

I am a theoretical physicist working on integrable systems, hence I preemptively ask forgiveness for the eventual lack of mathematical rigor. My question concerns the properties of a particular ...
Stefano's user avatar
  • 105
1 vote
0 answers
88 views

How does the constant bound on Hormander's $L^2$ estimate for non-degenerate phase depend on the cut-off function?

A classical estimate, due to Hormander, assets that the integral operator $$Tu = \int_{\mathbb{R}^{d}} e^{i\varphi(x,y)/h} a(x,y) u(x) dx, \ \ a \in \mathcal{C}_{c}(\mathbb{R}^{2d}), \ \ \varphi \in \...
Yilin Ma's user avatar
1 vote
1 answer
615 views

Injectivity of an integral operator

Consider the operator $$K:L^2(0,1)\rightarrow L^2(0,1) \\ u\rightarrow\int_0^1k(s,x)u(s)ds.$$ with $k\in L^2((0,1)\times(0,1)).$ I want to know under what assumption the kernel is reduced to zero. i....
Gustave's user avatar
  • 545
1 vote
0 answers
164 views

Polar decomposition of the Volterra integral operator

Repost of this Math.SE question due to a lack of answers (No one was able to help me find the closed form of $U_T$ and $|T|$ after two bounties). I also searched extensively online but couldn't find ...
ViktorStein's user avatar
0 votes
1 answer
320 views

Eigenvalues of an integral operator

Let $K\in L^2((0,1)\times(0,1))$ and consider the operator defined in $L^2(0,1)$ by $$Lu(x):=u(x)-\int_0^1K(s,x)u(s)ds.$$ What kind of assumption might I impose on $K$ such that $\lambda=1$ will be ...
Gustave's user avatar
  • 545