Do these integrals have a simple expression in terms of local function properties?












0












$begingroup$


Recall the following identity, assuming continuity of $f$:



$$lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}f(x)}{Delta x}=f(x_0)$$



Can similar expressions in terms of $f(x_0)$ or its derivatives be derived for the following generalization $I_n$ assuming continuity and infinite differentiability of $f$?



$$I_n = lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}(x-x_0)^nf(x)}{(Delta x)^{n+1}}$$



COMMENT: I highly suspect that $I_n$ is proportional to $n$-th order derivatives of $f$ evaluated at $x_0$, but haven't been able to get this using typical integration by parts.










share|cite|improve this question











$endgroup$












  • $begingroup$
    For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:00










  • $begingroup$
    The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
    $endgroup$
    – Julián Aguirre
    Jan 27 at 22:02










  • $begingroup$
    @EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:05










  • $begingroup$
    That’s correct @JuliánAguirre, will make the correction promptly.
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:07










  • $begingroup$
    Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:09
















0












$begingroup$


Recall the following identity, assuming continuity of $f$:



$$lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}f(x)}{Delta x}=f(x_0)$$



Can similar expressions in terms of $f(x_0)$ or its derivatives be derived for the following generalization $I_n$ assuming continuity and infinite differentiability of $f$?



$$I_n = lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}(x-x_0)^nf(x)}{(Delta x)^{n+1}}$$



COMMENT: I highly suspect that $I_n$ is proportional to $n$-th order derivatives of $f$ evaluated at $x_0$, but haven't been able to get this using typical integration by parts.










share|cite|improve this question











$endgroup$












  • $begingroup$
    For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:00










  • $begingroup$
    The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
    $endgroup$
    – Julián Aguirre
    Jan 27 at 22:02










  • $begingroup$
    @EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:05










  • $begingroup$
    That’s correct @JuliánAguirre, will make the correction promptly.
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:07










  • $begingroup$
    Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:09














0












0








0





$begingroup$


Recall the following identity, assuming continuity of $f$:



$$lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}f(x)}{Delta x}=f(x_0)$$



Can similar expressions in terms of $f(x_0)$ or its derivatives be derived for the following generalization $I_n$ assuming continuity and infinite differentiability of $f$?



$$I_n = lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}(x-x_0)^nf(x)}{(Delta x)^{n+1}}$$



COMMENT: I highly suspect that $I_n$ is proportional to $n$-th order derivatives of $f$ evaluated at $x_0$, but haven't been able to get this using typical integration by parts.










share|cite|improve this question











$endgroup$




Recall the following identity, assuming continuity of $f$:



$$lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}f(x)}{Delta x}=f(x_0)$$



Can similar expressions in terms of $f(x_0)$ or its derivatives be derived for the following generalization $I_n$ assuming continuity and infinite differentiability of $f$?



$$I_n = lim_{Delta xto0} frac{int_{x_0}^{x_0+Delta x}(x-x_0)^nf(x)}{(Delta x)^{n+1}}$$



COMMENT: I highly suspect that $I_n$ is proportional to $n$-th order derivatives of $f$ evaluated at $x_0$, but haven't been able to get this using typical integration by parts.







integration definite-integrals taylor-expansion






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 27 at 22:11







aghostinthefigures

















asked Jan 27 at 21:53









aghostinthefiguresaghostinthefigures

1,2641217




1,2641217












  • $begingroup$
    For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:00










  • $begingroup$
    The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
    $endgroup$
    – Julián Aguirre
    Jan 27 at 22:02










  • $begingroup$
    @EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:05










  • $begingroup$
    That’s correct @JuliánAguirre, will make the correction promptly.
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:07










  • $begingroup$
    Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:09


















  • $begingroup$
    For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:00










  • $begingroup$
    The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
    $endgroup$
    – Julián Aguirre
    Jan 27 at 22:02










  • $begingroup$
    @EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:05










  • $begingroup$
    That’s correct @JuliánAguirre, will make the correction promptly.
    $endgroup$
    – aghostinthefigures
    Jan 27 at 22:07










  • $begingroup$
    Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
    $endgroup$
    – Eclipse Sun
    Jan 27 at 22:09
















$begingroup$
For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
$endgroup$
– Eclipse Sun
Jan 27 at 22:00




$begingroup$
For $nge 1$, isn't $I_n$ zero by applying the identity you mentioned?
$endgroup$
– Eclipse Sun
Jan 27 at 22:00












$begingroup$
The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
$endgroup$
– Julián Aguirre
Jan 27 at 22:02




$begingroup$
The first equality is wrong. There should be a $frac{1}{Delta x}$ in front of the integral (plus continuity of $f$ at $x_0$.)
$endgroup$
– Julián Aguirre
Jan 27 at 22:02












$begingroup$
@EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
$endgroup$
– aghostinthefigures
Jan 27 at 22:05




$begingroup$
@EclipseSun The identity doesn’t apply (at least not directly) because you always have at least an extra power of $x^n$ multiplying $f(x)$ in the integrand, no?
$endgroup$
– aghostinthefigures
Jan 27 at 22:05












$begingroup$
That’s correct @JuliánAguirre, will make the correction promptly.
$endgroup$
– aghostinthefigures
Jan 27 at 22:07




$begingroup$
That’s correct @JuliánAguirre, will make the correction promptly.
$endgroup$
– aghostinthefigures
Jan 27 at 22:07












$begingroup$
Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
$endgroup$
– Eclipse Sun
Jan 27 at 22:09




$begingroup$
Since $x_0,n$ are constant, why can't we read $(x-x_0)^nf(x)$ as a single $f$?
$endgroup$
– Eclipse Sun
Jan 27 at 22:09










0






active

oldest

votes











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


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090164%2fdo-these-integrals-have-a-simple-expression-in-terms-of-local-function-propertie%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090164%2fdo-these-integrals-have-a-simple-expression-in-terms-of-local-function-propertie%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

SQL update select statement

'app-layout' is not a known element: how to share Component with different Modules