Etydhv

Are there any limitations on attacking while grappling?

What expression will give age in years in QGIS?

Why do professional authors make "consistency" mistakes? And how to avoid them?

Why do we use the plural of movies in this phrase "We went to the movies last night."?

How to start emacs in "nothing" mode (`fundamental-mode`)

Is it my responsibility to learn a new technology in my own time my employer wants to implement?

Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?

Indicator light circuit

Between two walls

Should I tutor a student who I know has cheated on their homework?

Received an invoice from my ex-employer billing me for training; how to handle?

Is it ever safe to open a suspicious html file (e.g. email attachment)?

How to transpose the 1st and -1th levels of arbitrarily nested array?

calculus parametric curve length

Why do remote companies require working in the US?

If a black hole is created from light, can this black hole then move at speed of light?

Help understanding this unsettling image of Titan, Epimetheus, and Saturn's rings?

multiple labels for a single equation

Solving Integral Equation by Converting to Differential Equations

How to avoid supervisors with prejudiced views?

MessageLevel in QGIS3

Make solar eclipses exceedingly rare, but still have new moons

Sending manuscript to multiple publishers

What connection does MS Office have to Netscape Navigator?

Solving Integral Equation by Converting to Differential Equations

2

$begingroup$

Consider the problem

$$phi(x) = x - int_0^x(x-s)phi(s),ds$$

How can we solve this by converting to a differential equation?

ordinary-differential-equations integral-equations integro-differential-equations

share|cite|improve this question

asked 5 hours ago

LightningStrikeLightningStrike

555

$endgroup$

add a comment | 

2

$begingroup$

Consider the problem

$$phi(x) = x - int_0^x(x-s)phi(s),ds$$

How can we solve this by converting to a differential equation?

ordinary-differential-equations integral-equations integro-differential-equations

share|cite|improve this question

asked 5 hours ago

LightningStrikeLightningStrike

555

$endgroup$

add a comment | 

$begingroup$

Consider the problem

$$phi(x) = x - int_0^x(x-s)phi(s),ds$$

How can we solve this by converting to a differential equation?

ordinary-differential-equations integral-equations integro-differential-equations

share|cite|improve this question

asked 5 hours ago

LightningStrikeLightningStrike

555

$endgroup$

share|cite|improve this question

asked 5 hours ago

LightningStrikeLightningStrike

555

share|cite|improve this question

asked 5 hours ago

LightningStrikeLightningStrike

555

asked 5 hours ago

LightningStrikeLightningStrike

555

asked 5 hours ago

LightningStrikeLightningStrike

555

2 Answers
2

active

oldest

votes

4

$begingroup$

We have that
$$phi(x)=x-xint_0^x phi(s) mathrmd s + int_0^x s phi(s)mathrmds$$
From this, we can see that $phi(0)=0$.
We can differentiate both sides and use the product rule and the FTC1 to get:
$$phi'(x)=1-int_0^x phi(s) mathrmds -x phi(x)+xphi(x)$$
$$phi'(x)=1-int_0^x phi(s) mathrmd s$$
From this, we can see that $phi'(0)=1$. We can differentiate it again:
$$phi''(x)=-phi(x)$$
Which is an alternative definition of the $sin$ function.

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

BotondBotond

6,49331034

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  In fact, the only valid solution for $phi(x)$ is $sin(x)$ because of the original equation.
  $endgroup$
  – Peter Foreman
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @PeterForemann Yes. I calculated $phi(0)$ and $phi'(0)$ from the integral equation to avoid the lengthy substitution and integration.
  $endgroup$
  – Botond
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for your answer! Do you mind if I ask how you got $phi ''(x) = -phi (x)$ by differentiating $phi ' (x)$? I don't understand the steps taken.
  $endgroup$
  – LightningStrike
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @LightningStrike Do you see how did I get $phi'(x)=1-int_0^x phi(s) mathrmds$?
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  

add a comment | 

1

$begingroup$

Differentiating both sides using Leibniz rule :

$$phi '(x)=1-int_0^xphi (s)ds$$

Differentiate again:

$$phi ''(x)=-phi (x)$$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

logologo

1048

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Your answer is great, but Leibniz's rule is an overkill here, because it requires partial derivatives and the proof is based on measure theory.
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  may be you are right...but this is a common technique in an introductory course of integral equations.
  $endgroup$
  – logo
  4 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I didn't take any course in integral equations, but we used Leibniz's rule during a physics course (without a proof), and it's a really useful tool to have. And we don't really know which is the appropriate solution to the questioner.
  $endgroup$
  – Botond
  4 hours ago
  
  

  
  
  
  

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
);



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167442%2fsolving-integral-equation-by-converting-to-differential-equations%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

We have that
$$phi(x)=x-xint_0^x phi(s) mathrmd s + int_0^x s phi(s)mathrmds$$
From this, we can see that $phi(0)=0$.
We can differentiate both sides and use the product rule and the FTC1 to get:
$$phi'(x)=1-int_0^x phi(s) mathrmds -x phi(x)+xphi(x)$$
$$phi'(x)=1-int_0^x phi(s) mathrmd s$$
From this, we can see that $phi'(0)=1$. We can differentiate it again:
$$phi''(x)=-phi(x)$$
Which is an alternative definition of the $sin$ function.

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

BotondBotond

6,49331034

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  In fact, the only valid solution for $phi(x)$ is $sin(x)$ because of the original equation.
  $endgroup$
  – Peter Foreman
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @PeterForemann Yes. I calculated $phi(0)$ and $phi'(0)$ from the integral equation to avoid the lengthy substitution and integration.
  $endgroup$
  – Botond
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for your answer! Do you mind if I ask how you got $phi ''(x) = -phi (x)$ by differentiating $phi ' (x)$? I don't understand the steps taken.
  $endgroup$
  – LightningStrike
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @LightningStrike Do you see how did I get $phi'(x)=1-int_0^x phi(s) mathrmds$?
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  

add a comment | 

4

$begingroup$

We have that
$$phi(x)=x-xint_0^x phi(s) mathrmd s + int_0^x s phi(s)mathrmds$$
From this, we can see that $phi(0)=0$.
We can differentiate both sides and use the product rule and the FTC1 to get:
$$phi'(x)=1-int_0^x phi(s) mathrmds -x phi(x)+xphi(x)$$
$$phi'(x)=1-int_0^x phi(s) mathrmd s$$
From this, we can see that $phi'(0)=1$. We can differentiate it again:
$$phi''(x)=-phi(x)$$
Which is an alternative definition of the $sin$ function.

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

BotondBotond

6,49331034

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  In fact, the only valid solution for $phi(x)$ is $sin(x)$ because of the original equation.
  $endgroup$
  – Peter Foreman
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @PeterForemann Yes. I calculated $phi(0)$ and $phi'(0)$ from the integral equation to avoid the lengthy substitution and integration.
  $endgroup$
  – Botond
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for your answer! Do you mind if I ask how you got $phi ''(x) = -phi (x)$ by differentiating $phi ' (x)$? I don't understand the steps taken.
  $endgroup$
  – LightningStrike
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @LightningStrike Do you see how did I get $phi'(x)=1-int_0^x phi(s) mathrmds$?
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

We have that
$$phi(x)=x-xint_0^x phi(s) mathrmd s + int_0^x s phi(s)mathrmds$$
From this, we can see that $phi(0)=0$.
We can differentiate both sides and use the product rule and the FTC1 to get:
$$phi'(x)=1-int_0^x phi(s) mathrmds -x phi(x)+xphi(x)$$
$$phi'(x)=1-int_0^x phi(s) mathrmd s$$
From this, we can see that $phi'(0)=1$. We can differentiate it again:
$$phi''(x)=-phi(x)$$
Which is an alternative definition of the $sin$ function.

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

BotondBotond

6,49331034

$endgroup$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

BotondBotond

6,49331034

answered 5 hours ago

BotondBotond

6,49331034

answered 5 hours ago

BotondBotond

6,49331034

1

$begingroup$

Differentiating both sides using Leibniz rule :

$$phi '(x)=1-int_0^xphi (s)ds$$

Differentiate again:

$$phi ''(x)=-phi (x)$$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

logologo

1048

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Your answer is great, but Leibniz's rule is an overkill here, because it requires partial derivatives and the proof is based on measure theory.
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  may be you are right...but this is a common technique in an introductory course of integral equations.
  $endgroup$
  – logo
  4 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I didn't take any course in integral equations, but we used Leibniz's rule during a physics course (without a proof), and it's a really useful tool to have. And we don't really know which is the appropriate solution to the questioner.
  $endgroup$
  – Botond
  4 hours ago
  
  

  
  
  
  

add a comment | 

1

$begingroup$

Differentiating both sides using Leibniz rule :

$$phi '(x)=1-int_0^xphi (s)ds$$

Differentiate again:

$$phi ''(x)=-phi (x)$$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

logologo

1048

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Your answer is great, but Leibniz's rule is an overkill here, because it requires partial derivatives and the proof is based on measure theory.
  $endgroup$
  – Botond
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  may be you are right...but this is a common technique in an introductory course of integral equations.
  $endgroup$
  – logo
  4 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I didn't take any course in integral equations, but we used Leibniz's rule during a physics course (without a proof), and it's a really useful tool to have. And we don't really know which is the appropriate solution to the questioner.
  $endgroup$
  – Botond
  4 hours ago
  
  

  
  
  
  

add a comment | 

$begingroup$

Differentiating both sides using Leibniz rule :

$$phi '(x)=1-int_0^xphi (s)ds$$

Differentiate again:

$$phi ''(x)=-phi (x)$$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

logologo

1048

$endgroup$

share|cite|improve this answer

edited 5 hours ago

answered 5 hours ago

logologo

1048

answered 5 hours ago

logologo

1048

answered 5 hours ago

logologo

1048