Questions tagged [integral-operators]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1 votes
0 answers
44 views

Compactness of an integral operator

We define the operator $K:H_{0}^{1}(0,\pi)\longrightarrow H_{0}^{1}(0,\pi)$ by: $$K(f)(x)=\int_{0}^{\pi}\beta(x,y)\sin(f^{\prime}(y))dy\quad \text{for}\ f\in H_{0}^{1}(0,\pi).$$ where $\beta$ is $C^{1}...
user avatar
  • 7
4 votes
0 answers
89 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 ...
user avatar
3 votes
1 answer
202 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 ...
user avatar
1 vote
0 answers
40 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 ...
user avatar
  • 31
2 votes
1 answer
112 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];\...
user avatar
  • 21
1 vote
1 answer
76 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)?$$
user avatar
0 votes
1 answer
135 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}\...
user avatar
0 votes
1 answer
80 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$.
user avatar
3 votes
0 answers
108 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) =\...
user avatar
1 vote
1 answer
69 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 ...
user avatar
1 vote
1 answer
172 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}{\...
user avatar
1 vote
3 answers
205 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$.
user avatar
3 votes
1 answer
222 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} ...
user avatar
3 votes
0 answers
86 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 ...
user avatar
2 votes
0 answers
113 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.}\;\;\;...
user avatar
4 votes
1 answer
263 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$$...
user avatar
1 vote
1 answer
97 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 \...
user avatar
  • 525
-1 votes
1 answer
49 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 ...
user avatar
2 votes
0 answers
115 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 ...
user avatar
0 votes
1 answer
142 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 ...
user avatar
  • 143
4 votes
1 answer
165 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)/...
user avatar
  • 143
2 votes
1 answer
306 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 ...
user avatar
  • 5,728
4 votes
1 answer
103 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})$,...
user avatar
  • 553
3 votes
0 answers
57 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 ...
user avatar
  • 553
2 votes
0 answers
44 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 ...
user avatar
  • 141
2 votes
2 answers
260 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 ...
user avatar
  • 4,997
1 vote
0 answers
89 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_\...
user avatar
  • 11
1 vote
0 answers
53 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$...
user avatar
  • 95
2 votes
0 answers
156 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 ...
user avatar
  • 4,997
1 vote
0 answers
146 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 ...
user avatar
  • 95
1 vote
0 answers
62 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 \...
user avatar
0 votes
1 answer
372 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....
user avatar
  • 525
1 vote
0 answers
117 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 ...
user avatar
0 votes
1 answer
215 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 ...
user avatar
  • 525
2 votes
1 answer
167 views

A numerical calculation for an integral

I am interested in the numerical calculation of $$ F(\eta)=\frac{2}{π}\int_0^{+\infty}\sin(t\eta-t^3)\frac{dt}{t}\quad\text{for $\eta\ge 0$}. $$ I believe that the function $F$ is bounded, but I do ...
user avatar
  • 13.2k
2 votes
0 answers
321 views

When the square root of integral operator becomes also integral operator (with continuous kernel)?

Let $X$ be a compact metric space and $\mu$ be strictly positive Borel measure on $X$. Let $T:L^2(X,\mu)\rightarrow L^2(X,\mu)$ be a self-adjoint, compact, and positive operator on the Hilbert space $...
user avatar
  • 439
1 vote
0 answers
90 views

Existence of continuous integral kernel

Let $(X_i,\mathcal{F}_i,\mu_i)$, $i\in \{1,2\}$, be a $\sigma$-finite measure space and $E_i$ an ideal of measurable functions on $X_i$ with full carrier (for example $E_i=L^p(X_i,\mu_i)$). A ...
user avatar
2 votes
0 answers
140 views

Run-away Volterra operator

For a continuous function $k:[0,1]^2\to \mathbb{R}$, let $A$ be the generalized Volterra integral operator on $C([0,1],\mathbb{R})$ defined by $$ A(f)(t)\triangleq \int_0^t k(s,t)f(s) ds, \quad t \in [...
user avatar
  • 4,997
3 votes
1 answer
447 views

Eigenfunctions and eigenvalues of an operator defined by a certain integral

Let $k :[0,1]^2 \rightarrow \bf{R} $ be a kernel function definded by $ k(x,y)= (1- max(x,y))^2 .$ Now, let $ L $ be a linear operator defined on $ L^2 [0,1] $ by $$ Lf(x):=\int_0^1 k(x,y)f(y)dy$$. ...
user avatar
  • 245
2 votes
0 answers
122 views

Limit involving singular kernel: $\lim_{s\to 1}(1-s)\int_{\Omega}\frac{(u(x)-u(y))}{|x-y|^{d+2s}} d y. $

Let $\Omega\subset \Bbb R^d$ be a bounded $C^1$ domain. Let $u:\Bbb R^d\to \Bbb R$ be a function in $C^2_b(\Bbb R^d)$. I would like to compute the following limit: for $x\in \partial \Omega$ $$L= \...
user avatar
  • 720
1 vote
0 answers
61 views

Angle between Fleming-Viot type 3-particle system

Consider $(X^1,X^2,X^3)\in (0,\infty)^3$ with each particle starting at $1$ and moving independently according to Brownian motion until random time $\tau_1:=\min \lbrace t>0: X_{t-}^1\wedge X_{t-}^...
user avatar
  • 264
-1 votes
1 answer
98 views

Compactness of a special kind of Integral operators

Let $(S(t))_{t>0}$ be a continuous operator from $L^2(0,1)$ to its self and Let $K$ be the operator $$\eqalign{ & K:{L^2}(0,1) \to {L^2}(0,1) \cr & f: \to (Kf)(x) = \int\limits_0^1 {k(...
user avatar
  • 525
2 votes
2 answers
190 views

A Fredholm equation with a particular kernel

How to solve this kind of Fredholm’s equation? $$ x(t)+\lambda \int\limits_{0}^{1}\! \big[ts - \min\{t,s\}\big]x(s)ds=t $$ Thanks for any help.
user avatar
  • 39
3 votes
1 answer
102 views

Coupled partial differential and integro-differential equation

I have derived two equations of the following type $$ \dfrac{\partial A}{\partial x}=a\dfrac{\partial B}{\partial t}-b\dfrac{\partial^3 B}{\partial x^2 \partial t}$$ and $$ \dfrac{\partial B}{\partial ...
user avatar
2 votes
0 answers
94 views

Solving Fredholm integral equation in Lp

I have a very simple integral equation $$ f(x) - \lambda \int_a^be^{x-y}f(y)dy=1 $$ which is Fredholm of the 2nd kind, with separable kernel. It is needed to find the values of $\lambda\in\mathbb R$, ...
user avatar
2 votes
1 answer
210 views

Numerical methods for IDE [closed]

I would like to read a popular literature on the topic "Numerical methods for integro-differential equations". Could you recommend me any articles or book with a brief overview of some methods (maybe ...
user avatar
4 votes
1 answer
324 views

Trace-class properties of integral operator

Let $k$ be a smooth, compactly supported function defined on $\mathbb{R}^{2}$ and let $Op(k)$ denote the integral operator on $L^{2}(\mathbb{R})$ defined as $$Op(k)f(\cdot)=\int_{\mathbb{R}}k(y,\cdot)...
user avatar
  • 43
1 vote
2 answers
164 views

Delta-distribution composed with a function from the Fourier representation

A well known representation of Dirac's delta-distribution is via the Fourier transform of distributions: \begin{equation} \delta[f]:=f(0)=\int_{\mathbb{R}}\int_{\mathbb{R}} e^{\mathrm{i}xk}f(k)\mathrm{...
user avatar
  • 417
2 votes
0 answers
49 views

Integral equation with kernel defined in a rectangle

Let us consider $$f(x) + \lambda \int_0^4 {K(s,x)f(s)ds=0} ,{\text{ x}} \in {\text{(0}}{\text{,1)}}$$ Observe that the kernel is not defined on a square. My question: Can I apply the classical ...
user avatar
  • 525
1 vote
0 answers
99 views

Uniqueness of solution of Volterra Integral Equation with deviating argument

In the context of a physics problem, I am looking at a linear integral equation 2nd kind Volterra equation with deviating (centrosymmetric) argument in the unknown $u(t) \in L^2[a,b]$: \begin{equation}...
user avatar