A Standard Integral Equation
$begingroup$
Consider the integral equation
$$phi(x) = x + lambdaint_0^1 phi(s),ds$$
Integrating with respect to $x$ from $x=0$ to $x=1$:
$$int_0^1 phi(x),dx = int_0^1x,dx + lambda int_0^1Big[int_0^1phi(s),dsBig],dx$$
which is equivalent to
$$int_0^1 phi(x),dx = frac{1}{2} + lambda int_0^1phi(s),ds$$
How can I go from here in order to solve the problem for the homogeneous case and find the corresponding characteristic values and associated rank?
linear-algebra integration matrix-equations
asked yesterday
LightningStrikeLightningStrike
455
$endgroup$
add a comment |
$begingroup$
Consider the integral equation
$$phi(x) = x + lambdaint_0^1 phi(s),ds$$
Integrating with respect to $x$ from $x=0$ to $x=1$:
$$int_0^1 phi(x),dx = int_0^1x,dx + lambda int_0^1Big[int_0^1phi(s),dsBig],dx$$
which is equivalent to
$$int_0^1 phi(x),dx = frac{1}{2} + lambda int_0^1phi(s),ds$$
How can I go from here in order to solve the problem for the homogeneous case and find the corresponding characteristic values and associated rank?
linear-algebra integration matrix-equations
asked yesterday
LightningStrikeLightningStrike
455
$endgroup$
1
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday
add a comment |
$begingroup$
Consider the integral equation
$$phi(x) = x + lambdaint_0^1 phi(s),ds$$
Integrating with respect to $x$ from $x=0$ to $x=1$:
$$int_0^1 phi(x),dx = int_0^1x,dx + lambda int_0^1Big[int_0^1phi(s),dsBig],dx$$
which is equivalent to
$$int_0^1 phi(x),dx = frac{1}{2} + lambda int_0^1phi(s),ds$$
How can I go from here in order to solve the problem for the homogeneous case and find the corresponding characteristic values and associated rank?
linear-algebra integration matrix-equations
asked yesterday
LightningStrikeLightningStrike
455
$endgroup$
Consider the integral equation
$$phi(x) = x + lambdaint_0^1 phi(s),ds$$
Integrating with respect to $x$ from $x=0$ to $x=1$:
$$int_0^1 phi(x),dx = int_0^1x,dx + lambda int_0^1Big[int_0^1phi(s),dsBig],dx$$
which is equivalent to
$$int_0^1 phi(x),dx = frac{1}{2} + lambda int_0^1phi(s),ds$$
How can I go from here in order to solve the problem for the homogeneous case and find the corresponding characteristic values and associated rank?
linear-algebra integration matrix-equations
linear-algebra integration matrix-equations
asked yesterday
LightningStrikeLightningStrike
455
asked yesterday
LightningStrikeLightningStrike
455
edited yesterday
LightningStrike
asked yesterday
LightningStrikeLightningStrike
455
asked yesterday
LightningStrikeLightningStrike
455
asked yesterday
LightningStrikeLightningStrike
455
455
1
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday
add a comment |
1
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday
1
1
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Relabelling the dummy variable $xmapsto s$ on the LHS of your final equation, $$int_0^1phi(s),ds-lambdaint_0^1phi(s),ds=frac12\implies int_0^1phi(s),ds=frac1{2(1-lambda)}$$
Thus $$phi(x)=x+fraclambda{2(1-lambda)}$$
answered yesterday
John DoeJohn Doe
11.3k11239
$endgroup$
add a comment |
$begingroup$
Note $int_{0}^{1}{phi(s)ds}$ is a constant say $a$. Your functional equation (FE) can be rewritten as: $$phi(x)=x+alambda$$
Putting into FE yields:
$$x+alambda=x+lambdaint_{0}^{1}{(s+alambda )ds }iff alambda=lambdabig(frac{1}{2}+lambda abig)$$
If $lambda=0$ then $phi(x)=x$
if $lambdane 1$ $a=frac{1}{2}+lambda aiff ( 1-lambda)a=frac{1}{2}iff a=frac{1}{2-2lambda}$ and then $phi(x)=x+frac{lambda}{2-2lambda}$
If $lambda=1$ there won’t besuch $phi$.
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
$endgroup$
add a comment |
$begingroup$
If you are after finding $phi(x)$, one approach that comes to mind is to assume it is smooth enough to have a normally convergent (so we can interchange series summation and integration) Taylor expansion on $[0, 1]$:
$$
phi(x) = sum_{n geq 0} a_{n} x^{n}.
$$
Substituting it into your equation, we get:
$$
sum_{n geq 0} a_{n} x^{n} = x + lambda sum_{n geq 0}{a_{n} over n+1}.
$$
Matching up the coefficients of the difference powers of $x$, we get:
$$
a_{n} = 0 quad mbox{ for } n geq 2,
$$
$$
a_{1} = 1,
$$
and
$$
a_{0} = lambda left(a_{0} + {a_{1} over 2}right).
$$
This gives a relationship between $a_{0}$ and $lambda$.
answered yesterday
avsavs
3,764514
$endgroup$
add a comment |
$begingroup$
Note that since $lambdaint_0^1 phi(s),ds$ is a constant (with respect to $x$), then we can write$$phi(x)=x+a$$and by substitution we conclude that $$x+a=x+lambdaint _{0}^{1}x+adximplies\a=lambda({1over 2}+a)implies\a={lambdaover 2-2lambda}$$ and we obtain$$phi(x)=x+{lambdaover 2-2lambda}quad,quad lambdane 1$$The case $lambda=1$ leads to no solution.
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162106%2fa-standard-integral-equation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Relabelling the dummy variable $xmapsto s$ on the LHS of your final equation, $$int_0^1phi(s),ds-lambdaint_0^1phi(s),ds=frac12\implies int_0^1phi(s),ds=frac1{2(1-lambda)}$$
Thus $$phi(x)=x+fraclambda{2(1-lambda)}$$
answered yesterday
John DoeJohn Doe
11.3k11239
$endgroup$
add a comment |
$begingroup$
Relabelling the dummy variable $xmapsto s$ on the LHS of your final equation, $$int_0^1phi(s),ds-lambdaint_0^1phi(s),ds=frac12\implies int_0^1phi(s),ds=frac1{2(1-lambda)}$$
Thus $$phi(x)=x+fraclambda{2(1-lambda)}$$
answered yesterday
John DoeJohn Doe
11.3k11239
$endgroup$
add a comment |
$begingroup$
Relabelling the dummy variable $xmapsto s$ on the LHS of your final equation, $$int_0^1phi(s),ds-lambdaint_0^1phi(s),ds=frac12\implies int_0^1phi(s),ds=frac1{2(1-lambda)}$$
Thus $$phi(x)=x+fraclambda{2(1-lambda)}$$
answered yesterday
John DoeJohn Doe
11.3k11239
$endgroup$
Relabelling the dummy variable $xmapsto s$ on the LHS of your final equation, $$int_0^1phi(s),ds-lambdaint_0^1phi(s),ds=frac12\implies int_0^1phi(s),ds=frac1{2(1-lambda)}$$
Thus $$phi(x)=x+fraclambda{2(1-lambda)}$$
answered yesterday
John DoeJohn Doe
11.3k11239
answered yesterday
John DoeJohn Doe
11.3k11239
answered yesterday
John DoeJohn Doe
11.3k11239
answered yesterday
John DoeJohn Doe
11.3k11239
11.3k11239
add a comment |
add a comment |
$begingroup$
Note $int_{0}^{1}{phi(s)ds}$ is a constant say $a$. Your functional equation (FE) can be rewritten as: $$phi(x)=x+alambda$$
Putting into FE yields:
$$x+alambda=x+lambdaint_{0}^{1}{(s+alambda )ds }iff alambda=lambdabig(frac{1}{2}+lambda abig)$$
If $lambda=0$ then $phi(x)=x$
if $lambdane 1$ $a=frac{1}{2}+lambda aiff ( 1-lambda)a=frac{1}{2}iff a=frac{1}{2-2lambda}$ and then $phi(x)=x+frac{lambda}{2-2lambda}$
If $lambda=1$ there won’t besuch $phi$.
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
$endgroup$
add a comment |
$begingroup$
Note $int_{0}^{1}{phi(s)ds}$ is a constant say $a$. Your functional equation (FE) can be rewritten as: $$phi(x)=x+alambda$$
Putting into FE yields:
$$x+alambda=x+lambdaint_{0}^{1}{(s+alambda )ds }iff alambda=lambdabig(frac{1}{2}+lambda abig)$$
If $lambda=0$ then $phi(x)=x$
if $lambdane 1$ $a=frac{1}{2}+lambda aiff ( 1-lambda)a=frac{1}{2}iff a=frac{1}{2-2lambda}$ and then $phi(x)=x+frac{lambda}{2-2lambda}$
If $lambda=1$ there won’t besuch $phi$.
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
$endgroup$
add a comment |
$begingroup$
Note $int_{0}^{1}{phi(s)ds}$ is a constant say $a$. Your functional equation (FE) can be rewritten as: $$phi(x)=x+alambda$$
Putting into FE yields:
$$x+alambda=x+lambdaint_{0}^{1}{(s+alambda )ds }iff alambda=lambdabig(frac{1}{2}+lambda abig)$$
If $lambda=0$ then $phi(x)=x$
if $lambdane 1$ $a=frac{1}{2}+lambda aiff ( 1-lambda)a=frac{1}{2}iff a=frac{1}{2-2lambda}$ and then $phi(x)=x+frac{lambda}{2-2lambda}$
If $lambda=1$ there won’t besuch $phi$.
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
$endgroup$
Note $int_{0}^{1}{phi(s)ds}$ is a constant say $a$. Your functional equation (FE) can be rewritten as: $$phi(x)=x+alambda$$
Putting into FE yields:
$$x+alambda=x+lambdaint_{0}^{1}{(s+alambda )ds }iff alambda=lambdabig(frac{1}{2}+lambda abig)$$
If $lambda=0$ then $phi(x)=x$
if $lambdane 1$ $a=frac{1}{2}+lambda aiff ( 1-lambda)a=frac{1}{2}iff a=frac{1}{2-2lambda}$ and then $phi(x)=x+frac{lambda}{2-2lambda}$
If $lambda=1$ there won’t besuch $phi$.
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
answered yesterday
HAMIDINE SOUMAREHAMIDINE SOUMARE
1
1
add a comment |
add a comment |
$begingroup$
If you are after finding $phi(x)$, one approach that comes to mind is to assume it is smooth enough to have a normally convergent (so we can interchange series summation and integration) Taylor expansion on $[0, 1]$:
$$
phi(x) = sum_{n geq 0} a_{n} x^{n}.
$$
Substituting it into your equation, we get:
$$
sum_{n geq 0} a_{n} x^{n} = x + lambda sum_{n geq 0}{a_{n} over n+1}.
$$
Matching up the coefficients of the difference powers of $x$, we get:
$$
a_{n} = 0 quad mbox{ for } n geq 2,
$$
$$
a_{1} = 1,
$$
and
$$
a_{0} = lambda left(a_{0} + {a_{1} over 2}right).
$$
This gives a relationship between $a_{0}$ and $lambda$.
answered yesterday
avsavs
3,764514
$endgroup$
add a comment |
$begingroup$
If you are after finding $phi(x)$, one approach that comes to mind is to assume it is smooth enough to have a normally convergent (so we can interchange series summation and integration) Taylor expansion on $[0, 1]$:
$$
phi(x) = sum_{n geq 0} a_{n} x^{n}.
$$
Substituting it into your equation, we get:
$$
sum_{n geq 0} a_{n} x^{n} = x + lambda sum_{n geq 0}{a_{n} over n+1}.
$$
Matching up the coefficients of the difference powers of $x$, we get:
$$
a_{n} = 0 quad mbox{ for } n geq 2,
$$
$$
a_{1} = 1,
$$
and
$$
a_{0} = lambda left(a_{0} + {a_{1} over 2}right).
$$
This gives a relationship between $a_{0}$ and $lambda$.
answered yesterday
avsavs
3,764514
$endgroup$
add a comment |
$begingroup$
If you are after finding $phi(x)$, one approach that comes to mind is to assume it is smooth enough to have a normally convergent (so we can interchange series summation and integration) Taylor expansion on $[0, 1]$:
$$
phi(x) = sum_{n geq 0} a_{n} x^{n}.
$$
Substituting it into your equation, we get:
$$
sum_{n geq 0} a_{n} x^{n} = x + lambda sum_{n geq 0}{a_{n} over n+1}.
$$
Matching up the coefficients of the difference powers of $x$, we get:
$$
a_{n} = 0 quad mbox{ for } n geq 2,
$$
$$
a_{1} = 1,
$$
and
$$
a_{0} = lambda left(a_{0} + {a_{1} over 2}right).
$$
This gives a relationship between $a_{0}$ and $lambda$.
answered yesterday
avsavs
3,764514
$endgroup$
If you are after finding $phi(x)$, one approach that comes to mind is to assume it is smooth enough to have a normally convergent (so we can interchange series summation and integration) Taylor expansion on $[0, 1]$:
$$
phi(x) = sum_{n geq 0} a_{n} x^{n}.
$$
Substituting it into your equation, we get:
$$
sum_{n geq 0} a_{n} x^{n} = x + lambda sum_{n geq 0}{a_{n} over n+1}.
$$
Matching up the coefficients of the difference powers of $x$, we get:
$$
a_{n} = 0 quad mbox{ for } n geq 2,
$$
$$
a_{1} = 1,
$$
and
$$
a_{0} = lambda left(a_{0} + {a_{1} over 2}right).
$$
This gives a relationship between $a_{0}$ and $lambda$.
answered yesterday
avsavs
3,764514
answered yesterday
avsavs
3,764514
answered yesterday
avsavs
3,764514
answered yesterday
avsavs
3,764514
3,764514
add a comment |
add a comment |
$begingroup$
Note that since $lambdaint_0^1 phi(s),ds$ is a constant (with respect to $x$), then we can write$$phi(x)=x+a$$and by substitution we conclude that $$x+a=x+lambdaint _{0}^{1}x+adximplies\a=lambda({1over 2}+a)implies\a={lambdaover 2-2lambda}$$ and we obtain$$phi(x)=x+{lambdaover 2-2lambda}quad,quad lambdane 1$$The case $lambda=1$ leads to no solution.
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
$endgroup$
add a comment |
$begingroup$
Note that since $lambdaint_0^1 phi(s),ds$ is a constant (with respect to $x$), then we can write$$phi(x)=x+a$$and by substitution we conclude that $$x+a=x+lambdaint _{0}^{1}x+adximplies\a=lambda({1over 2}+a)implies\a={lambdaover 2-2lambda}$$ and we obtain$$phi(x)=x+{lambdaover 2-2lambda}quad,quad lambdane 1$$The case $lambda=1$ leads to no solution.
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
$endgroup$
add a comment |
$begingroup$
Note that since $lambdaint_0^1 phi(s),ds$ is a constant (with respect to $x$), then we can write$$phi(x)=x+a$$and by substitution we conclude that $$x+a=x+lambdaint _{0}^{1}x+adximplies\a=lambda({1over 2}+a)implies\a={lambdaover 2-2lambda}$$ and we obtain$$phi(x)=x+{lambdaover 2-2lambda}quad,quad lambdane 1$$The case $lambda=1$ leads to no solution.
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
$endgroup$
Note that since $lambdaint_0^1 phi(s),ds$ is a constant (with respect to $x$), then we can write$$phi(x)=x+a$$and by substitution we conclude that $$x+a=x+lambdaint _{0}^{1}x+adximplies\a=lambda({1over 2}+a)implies\a={lambdaover 2-2lambda}$$ and we obtain$$phi(x)=x+{lambdaover 2-2lambda}quad,quad lambdane 1$$The case $lambda=1$ leads to no solution.
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
answered yesterday
Mostafa AyazMostafa Ayaz
17.8k31039
17.8k31039
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162106%2fa-standard-integral-equation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
What is $lambda$? What do you mean by "solve the problem"? I don't see what "the problem" is supposed to mean. Of which object do you want to find the characteristic values and ranks? Have you checked your definition of $phi$?
$endgroup$
– James
yesterday
$begingroup$
My apologies, $lambda$ is an arbitrary constant. In essence I want to obtain an expression of $phi(x)$ which does not contain a function of $s$, which the initial integral equation has.
$endgroup$
– LightningStrike
yesterday