The integral-operators tag has no usage guidance.

**2**

votes

**1**answer

53 views

### Post composition of integral

Setup:
If $\langle \Omega, \mathfrak{F},\mu \rangle$ is a measure space, $f:\Omega \rightarrow E$ is a weakly-measurable function to a Banach space $E$, $g: E \rightarrow E'$ is a diffeomorphism and ...

**2**

votes

**1**answer

81 views

### Minimizing a convex integral function

Consider the following constrained optimization with the integral objective function
$$
\min_{x_i\in D} \int_{t_1}^{t_2} \frac 1 {t - \sum\limits_{i = 1}^N x_i f_i (t)} \, dt
$$
where $t - ...

**0**

votes

**0**answers

51 views

### $L^2$-boundedness of integral operator

Let $a:{\bf R}^d\to M^{d\times d}$ semi-definite matrix consisted of smooth functions i.e.
$$
\langle a(x) \xi,\xi \rangle=\sum\limits_{k,j=1}^d a_{kj}(x)\xi_j \xi_k \geq 0, \ \ x\in {\bf R}^d, \ \ ...

**6**

votes

**1**answer

255 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**0**

votes

**0**answers

44 views

### The property reservation conditions in the functional iteration process

Given a integral equation:
$$K(y,p)=\int_{a}^{b}f(x,y)K(x,p)dx$$
Using the iteration method,choosing an arbitrary inition function $K^{0}(x,p)$:
$$K^{1}(y,p)=\int_{a}^{b}f(x,y)K^{0}(x,p)dx$$
...

**1**

vote

**0**answers

42 views

### Convergence of the solution of Volterra integral equation with convergent kernel (reposted, need help!)

Consider the following Volterra integral equation
$g(t)=∫_0^tK_n(t,s)w_n(s)ds$
where $g(t)$ and $K_n(t,s)$ are continuous and $K_n(t,s)≥K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ converges to ...

**1**

vote

**0**answers

40 views

### Regarding a result of I.Vekua on integral equations of first kind

Suppose $k\in L^2([0,1]\times[0,1])$ is a symmetric kernel. Presumably the following is true(under the assumption that $k$ is weakly singular):
Either
$$\displaystyle\int_0^1f(y)k(x,y)dy=0$$or
...

**0**

votes

**1**answer

122 views

### solution uniqueness of non-linear Fredholm equations

the equation is
$F(x)=G(\int k(x,y)f(y)dy)$ $(*)$
where $f(x)=dF(x)/dx$ is the unknown and it's required to be non-negative. With integral by parts we'll have the form of a non-linear Fredholm ...

**2**

votes

**1**answer

235 views

### Interpolation between weighted $L^p$ spaces

Let $K:\mathbb{R}^3\backslash\{0\}\times\mathbb{R}^3\backslash\{0\}\rightarrow\mathbb{C}$, such that $K(x,y)=K(y,x)$ and $K(x,y)=|x|^{-1}|y|^{-1}H(x,y)$, with $H$ locally bounded.
Let $T$ be the ...

**0**

votes

**0**answers

41 views

### A source for integral operators in the context of Arthur-Selberg trace formula

Could you suggest a textbook for integral operators
(in the context of Arthur-Selberg trace formula)?

**4**

votes

**1**answer

151 views

### Hardy-Littlewood-Sobolev inequality using fractional sobolev norm on the RHS

Using Hardy-Littlewood-Sobolev inequality, we can prove that:
$$\left| \int_0^1\int_0^1 |x-y|^{-\frac{1}{2}} f(x)f(y) \mathrm{d}x \mathrm{d}y \right| \leq C \left\| f \right\|_{L^{4/3}(0,1)}^2 \leq C ...

**2**

votes

**1**answer

151 views

### Kernel of the Radon transform

Consider the following generalized version of the Radon transform. Let $X,Y,Z$ be compact smooth manifolds. Let $p\colon Z\to X$, $q\colon Z\to Y$ be smooth maps. Let $m$ be a fixed smooth density ...

**0**

votes

**0**answers

27 views

### Uniqueness of homogeneous second kind Fredholm equation

I have the following equation:
$-\frac{1}{2}\phi + W\phi - V(f\phi) = 0 $
and I intend to prove uniqueness of the solution in a appropriate Sobolev space. V and W denote the direct values of the ...

**0**

votes

**0**answers

53 views

### volterra equation of the first kind with K(0,t)=0

A standard assumption both in theory and numerical methods
for the Volterra equation of the first kind
$$ g(t) = \int_0^t K(s,t) f(s) ds$$
is that $K(s,t) \neq 0$. One can show existence of the ...

**2**

votes

**1**answer

118 views

### Nuclearity properties of Integral operators with Schwartz type kernels

Consider an integral operator $$T:L^2({\mathbb R}^n)\to L^2({\mathbb R}^n),\qquad (Tf)(x)=\int_{\mathbb R^n} dy\,K(x,y)f(y),$$ with Schwartz type kernel $K\in{\mathscr S}({\mathbb R}^{2n})$ (smooth ...

**1**

vote

**0**answers

72 views

### Convergence of solutions of the volterra integral equation with convergent kernels

Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...

**0**

votes

**0**answers

32 views

### Multiple integral of the resolvent kernel

I am trying to implent Volterra equations using resolvent kernel.To do this, the iterative kernel
$$K_i(x,y) = \int\limits_x^y K_1(y,t)K_{i-1}(t, x)dt. $$
should be calculated. However, it is not ...

**0**

votes

**0**answers

97 views

### Existence and Uniqueness of Volterra integral equations of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...

**3**

votes

**0**answers

95 views

### Estimating singular values of integral operators

I would like to estimate the singular values of certain trace class integral operators. For the sake of concreteness, consider on $L^2({\mathbb R},dx)$ the integral operator $$(Tf)(x)=\int_{\mathbb ...

**2**

votes

**0**answers

119 views

### Discrete versus Continuous Hilbert Transform

Let me define the Fourier transform of a function $u$, say in the Schwartz space $\mathscr S(\mathbb R)$ as
$
\hat u(\xi)=\int_{\mathbb R} e^{-2iπ x\cdot \xi} u(x) dx.
$
The Hilbert transform ...

**0**

votes

**0**answers

104 views

### can we generalize the cauchy principal value and hadamard's finite part for multiple integrals $ n>1 $

I have seen in wikipedia, that how the Cauchy's pricnipal value and Hadamard's finite part work in dimension one
My question is when can we (or if negative answer why can not ) generalize the ...

**2**

votes

**1**answer

139 views

### Solvability of a Fredholm system in $L^2$

Suppose $\lambda\not=0\in\mathbb{C}$. Does the following system have a non trivial solution in $L^2 [0,1]$?
\begin{array} {lcl} \int_0 ^1 f(y)\log|x-y|dy=\lambda f(x) \\\int_0 ^1f(x)dx=0& ...

**6**

votes

**1**answer

682 views

### Proving that a specific kernel is positive definite

Most theoretical papers concerning kernels assume that they are given a positive definite kernel. In this question, we want to show that a specific kernel is positive definite.
We are interested in ...

**0**

votes

**1**answer

116 views

### Solvability of an integral equation

Is it possible to find $f,g\in L^2[(0,1)\times(0,1)]$ such that $$\log|x-y|=\int_0^1f(x,t)g(t,y)dt\:\:\:\forall x,y\in(0,1).$$

**1**

vote

**0**answers

183 views

### A fractional calculus eigenvalue problem

One set of eigenfunction for the following fractional integral operator is $f(z)=e^{-bz}$ for any constant Re$b>0$, with eigenvalue $\lambda=\frac{\Gamma(\alpha)}{b^\alpha}$,
$$\int_z^\infty ...

**2**

votes

**0**answers

182 views

### Schwartz kernel of a pseudodifferential operator with singular symbols

If we have a smooth symbol $r(x,\xi)$ of order $d$ the corresponding pseudodifferential operator $P$ is integral operator with kernel given by
$$K(x,y)=\int_{\mathbb{R}^n}e^{i(x-y)\cdot \xi} ...

**6**

votes

**0**answers

165 views

### Density of odd and even eigenstates of an integral operator

Consider an integral operator $(Kf)(x)=\int_{-1}^{1}K(x-y)f(y)dy$, where the kernel $K(-x)=K(x)$ is an even function.
Let $\lambda_n$ be the ordered eigenvalues of $K$ and $f_n(x)$ the ...

**1**

vote

**2**answers

175 views

### Double Integral of plane wave squared over a circular domain

Hello everyone! I need to calculate the following integral:
$\int\int_{\sqrt{x^2+y^2}\leq a}\cos^2(v_x x+v_y y)dxdy$
First step, I convert to polar coordinates:
$\int_0^a\int_0^{2\pi}\cos^2(v_x ...

**0**

votes

**0**answers

304 views

### Notation for a functional L2 matrix norm

Hi,
Let $v(z)$ be a 2x2 matrix depending on a complex variable z, defined on an oriented contour $\Sigma$ in the complex plane. Can anyone tell me the meaning of the notation:
...

**0**

votes

**2**answers

652 views

### Inequality of Lebesgue integral with $L^p$-norm

Let $X_t(\omega)$ be a continuous function $t\rightarrow L^p(\omega)$ (i.e., if we fixed the variable $t$ we obtain a function which belongs to $L^p$), with $t\in[0,T]$ and $\omega\in\mathbb{R}$.
I ...

**8**

votes

**2**answers

581 views

### Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by
$$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$
Is it possible to decompose this into two separate ...

**12**

votes

**4**answers

4k views

### Can an integral equation always be rewritten as a differential equation?

Given an integral equation is there always a differential equation which has the same (say smooth) solutions?
It seems like not but can one prove this in some example?
Edit: Naively I'm hoping for ...