How can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?How can you prove that a function has no closed form integral?Can every definite integral be expressed as a combination of elementary functions?Showing that an integral can not be expressed in terms of elementary functionsRepresent an Integral by non-elementary functionsWhat does it mean when an integral cannot be solved in terms of elementary functions?Prove that primitives of $fracx^3rm e^x - 1$ have no closed form in terms of elementary functionsCan you add new functions to the set of elementary functions such that every function has an anti-derivative?Can a change of variable result in the evaluation of an integral in terms of elementary functions, whereas before the c.o.v. this was not possible?Can I create a set of new elementary functions such that their integral is an elementary function?How to prove $int frac1(xsin(x))^2,dx$ doesnt have an elementary closed form?
Detecting if an element is found inside a container
How to safely derail a train during transit?
Is `x >> pure y` equivalent to `liftM (const y) x`
I'm in charge of equipment buying but no one's ever happy with what I choose. How to fix this?
Tiptoe or tiphoof? Adjusting words to better fit fantasy races
Crossing the line between justified force and brutality
Is HostGator storing my password in plaintext?
Sequence of Tenses: Translating the subjunctive
Applicability of Single Responsibility Principle
Did the DC-9 ever use RATO in revenue service?
How do I find the solutions of the following equation?
How to run a prison with the smallest amount of guards?
How did Arya survive the stabbing?
Increase performance creating Mandelbrot set in python
Did Dumbledore lie to Harry about how long he had James Potter's invisibility cloak when he was examining it? If so, why?
Roman Numeral Treatment of Suspensions
How can a function with a hole (removable discontinuity) equal a function with no hole?
Is there a good way to store credentials outside of a password manager?
Short story about space worker geeks who zone out by 'listening' to radiation from stars
What does the word "Atten" mean?
Is expanding the research of a group into machine learning as a PhD student risky?
How can I get through very long and very dry, but also very useful technical documents when learning a new tool?
What does "I’d sit this one out, Cap," imply or mean in the context?
Is this apparent Class Action settlement a spam message?
How can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
How can you prove that a function has no closed form integral?Can every definite integral be expressed as a combination of elementary functions?Showing that an integral can not be expressed in terms of elementary functionsRepresent an Integral by non-elementary functionsWhat does it mean when an integral cannot be solved in terms of elementary functions?Prove that primitives of $fracx^3rm e^x - 1$ have no closed form in terms of elementary functionsCan you add new functions to the set of elementary functions such that every function has an anti-derivative?Can a change of variable result in the evaluation of an integral in terms of elementary functions, whereas before the c.o.v. this was not possible?Can I create a set of new elementary functions such that their integral is an elementary function?How to prove $int frac1(xsin(x))^2,dx$ doesnt have an elementary closed form?
$begingroup$
We know that the derivative of some non-elementary functions can be expressed in elementary functions. For example $ fracddx Si(x)= fracsin(x)x $
So similarly are there any non-elementary functions whose integrals can be expressed in elementary functions?
If not then how can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
calculus integration proof-theory
$endgroup$
add a comment |
$begingroup$
We know that the derivative of some non-elementary functions can be expressed in elementary functions. For example $ fracddx Si(x)= fracsin(x)x $
So similarly are there any non-elementary functions whose integrals can be expressed in elementary functions?
If not then how can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
calculus integration proof-theory
$endgroup$
2
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago
add a comment |
$begingroup$
We know that the derivative of some non-elementary functions can be expressed in elementary functions. For example $ fracddx Si(x)= fracsin(x)x $
So similarly are there any non-elementary functions whose integrals can be expressed in elementary functions?
If not then how can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
calculus integration proof-theory
$endgroup$
We know that the derivative of some non-elementary functions can be expressed in elementary functions. For example $ fracddx Si(x)= fracsin(x)x $
So similarly are there any non-elementary functions whose integrals can be expressed in elementary functions?
If not then how can we prove that any integral in the set of non-elementary integrals cannot be expressed in the form of elementary functions?
calculus integration proof-theory
calculus integration proof-theory
edited 8 hours ago
Bernard
123k741117
123k741117
asked 8 hours ago
Rithik KapoorRithik Kapoor
30210
30210
2
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago
add a comment |
2
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago
2
2
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
The derivative of an elementary function is an elementary function: the standard Calculus 1 differentiation methods can be used to find this derivative. So an antiderivative of a non-elementary function can't be elementary.
EDIT: More formally, by definition an elementary function is obtained from
complex constants and the variable $x$ by a finite number of steps of the following forms:
- If $f_1$ and $f_2$ are elementary functions, then $f_1 + f_2$, $f_1 f_2$ and (if $f_2 ne 0$) $f_1/f_2$ are elementary.
- If $P$ is a non-constant polynomial whose coefficients are elementary functions, then a function $f$ such that $P(f) = 0$ is an elementary function.
- If $g$ is an elementary function, then a function $f$ such that $f' = g' f$ or $f' = g'/g$ is elementary (this is how $e^g$ and $log g$ are elementary).
To prove that the derivative of an elementary function, you can use induction on the number of these steps. In the induction step, suppose
the result is true for elementary functions obtained in at most $n$ steps.
If $f$ can be obtained in $n+1$ steps, the last being $f = f_1 + f_2$ where $f_1$ and $f_2$ each require at most $n$ steps, then $f' = f_1' + f_2'$ where $f_1'$ and $f_2'$ are elementary, and therefore $f'$ is elementary. Similarly for the other possibilities for the last step.
$endgroup$
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
add a comment |
$begingroup$
No, the derivative of an elementary function is elementary; some integrals were defined specifically as the antiderivative of certain functions because that function otherwise would have no closed-form antiderivative.
An anti-derivative of a non-elementary function cannot be an elementary function.
$endgroup$
add a comment |
$begingroup$
Yes, and I can provide a simple counter-example.
Let $f(x)$ be piece-wise defined such that $f(x) = x^2$ for $x neq 0$ and such that $f(0) = 300$.
This is not an elementary function. However its integral is $F(x) = frac 13x^3 + c$ which is elementary.
For a slightly more "non-elementary" example just make $f(x) = -500$ whenever $x$ is an integer multiple of $n = 0.0001$. Feel free to keep decreasing $n$ to make the function messier and messier.
However, if you want a continuous non-elementary $f$ then no. If $f$ is continuous then by one of the fundamental theorems of calculus $F'(x) = f(x)$ and the derivative of an elementary function is an elementary function. Furthermore, if you want that $f$ is an integral of some other $h$ then it follows that $f$ is continuous as the integral of any real valued function defined everywhere is a continuous function. So this will only work with discontinuous $f$'s that are not integrals of other functions.
In short the set of derivatives of elementary functions $neq$ the set of anti-integrals of elementary functions.
$endgroup$
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
|
show 1 more 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%2f3164890%2fhow-can-we-prove-that-any-integral-in-the-set-of-non-elementary-integrals-cannot%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The derivative of an elementary function is an elementary function: the standard Calculus 1 differentiation methods can be used to find this derivative. So an antiderivative of a non-elementary function can't be elementary.
EDIT: More formally, by definition an elementary function is obtained from
complex constants and the variable $x$ by a finite number of steps of the following forms:
- If $f_1$ and $f_2$ are elementary functions, then $f_1 + f_2$, $f_1 f_2$ and (if $f_2 ne 0$) $f_1/f_2$ are elementary.
- If $P$ is a non-constant polynomial whose coefficients are elementary functions, then a function $f$ such that $P(f) = 0$ is an elementary function.
- If $g$ is an elementary function, then a function $f$ such that $f' = g' f$ or $f' = g'/g$ is elementary (this is how $e^g$ and $log g$ are elementary).
To prove that the derivative of an elementary function, you can use induction on the number of these steps. In the induction step, suppose
the result is true for elementary functions obtained in at most $n$ steps.
If $f$ can be obtained in $n+1$ steps, the last being $f = f_1 + f_2$ where $f_1$ and $f_2$ each require at most $n$ steps, then $f' = f_1' + f_2'$ where $f_1'$ and $f_2'$ are elementary, and therefore $f'$ is elementary. Similarly for the other possibilities for the last step.
$endgroup$
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
add a comment |
$begingroup$
The derivative of an elementary function is an elementary function: the standard Calculus 1 differentiation methods can be used to find this derivative. So an antiderivative of a non-elementary function can't be elementary.
EDIT: More formally, by definition an elementary function is obtained from
complex constants and the variable $x$ by a finite number of steps of the following forms:
- If $f_1$ and $f_2$ are elementary functions, then $f_1 + f_2$, $f_1 f_2$ and (if $f_2 ne 0$) $f_1/f_2$ are elementary.
- If $P$ is a non-constant polynomial whose coefficients are elementary functions, then a function $f$ such that $P(f) = 0$ is an elementary function.
- If $g$ is an elementary function, then a function $f$ such that $f' = g' f$ or $f' = g'/g$ is elementary (this is how $e^g$ and $log g$ are elementary).
To prove that the derivative of an elementary function, you can use induction on the number of these steps. In the induction step, suppose
the result is true for elementary functions obtained in at most $n$ steps.
If $f$ can be obtained in $n+1$ steps, the last being $f = f_1 + f_2$ where $f_1$ and $f_2$ each require at most $n$ steps, then $f' = f_1' + f_2'$ where $f_1'$ and $f_2'$ are elementary, and therefore $f'$ is elementary. Similarly for the other possibilities for the last step.
$endgroup$
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
add a comment |
$begingroup$
The derivative of an elementary function is an elementary function: the standard Calculus 1 differentiation methods can be used to find this derivative. So an antiderivative of a non-elementary function can't be elementary.
EDIT: More formally, by definition an elementary function is obtained from
complex constants and the variable $x$ by a finite number of steps of the following forms:
- If $f_1$ and $f_2$ are elementary functions, then $f_1 + f_2$, $f_1 f_2$ and (if $f_2 ne 0$) $f_1/f_2$ are elementary.
- If $P$ is a non-constant polynomial whose coefficients are elementary functions, then a function $f$ such that $P(f) = 0$ is an elementary function.
- If $g$ is an elementary function, then a function $f$ such that $f' = g' f$ or $f' = g'/g$ is elementary (this is how $e^g$ and $log g$ are elementary).
To prove that the derivative of an elementary function, you can use induction on the number of these steps. In the induction step, suppose
the result is true for elementary functions obtained in at most $n$ steps.
If $f$ can be obtained in $n+1$ steps, the last being $f = f_1 + f_2$ where $f_1$ and $f_2$ each require at most $n$ steps, then $f' = f_1' + f_2'$ where $f_1'$ and $f_2'$ are elementary, and therefore $f'$ is elementary. Similarly for the other possibilities for the last step.
$endgroup$
The derivative of an elementary function is an elementary function: the standard Calculus 1 differentiation methods can be used to find this derivative. So an antiderivative of a non-elementary function can't be elementary.
EDIT: More formally, by definition an elementary function is obtained from
complex constants and the variable $x$ by a finite number of steps of the following forms:
- If $f_1$ and $f_2$ are elementary functions, then $f_1 + f_2$, $f_1 f_2$ and (if $f_2 ne 0$) $f_1/f_2$ are elementary.
- If $P$ is a non-constant polynomial whose coefficients are elementary functions, then a function $f$ such that $P(f) = 0$ is an elementary function.
- If $g$ is an elementary function, then a function $f$ such that $f' = g' f$ or $f' = g'/g$ is elementary (this is how $e^g$ and $log g$ are elementary).
To prove that the derivative of an elementary function, you can use induction on the number of these steps. In the induction step, suppose
the result is true for elementary functions obtained in at most $n$ steps.
If $f$ can be obtained in $n+1$ steps, the last being $f = f_1 + f_2$ where $f_1$ and $f_2$ each require at most $n$ steps, then $f' = f_1' + f_2'$ where $f_1'$ and $f_2'$ are elementary, and therefore $f'$ is elementary. Similarly for the other possibilities for the last step.
edited 8 hours ago
answered 8 hours ago
Robert IsraelRobert Israel
329k23218472
329k23218472
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
add a comment |
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
Okay then how can we prove the derivative of an elementary function is always an elementary function?
$endgroup$
– Rithik Kapoor
8 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@RithikKapoor Frankly sir, common sense. Writing an explicit formal proof might be tricky but we already know that any composition of elementary functions can be handled with the chain, product, division, and addition rules. If you're asking how to formalize it, fair enough. However if you are asking "How do I know this is true" then it follows by simple observance.
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
Query. What if we include the Heaviside step function as an elementary function? Would this have any affect on the answer?
$endgroup$
– The Great Duck
2 hours ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
@TheGreatDuck, before anything else, what would you say about the function $fracx+sqrtx^22x$?
$endgroup$
– J. M. is not a mathematician
14 mins ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
$begingroup$
The Heaviside step function is elementary, according to (2), as it satisfies $f^2 - f = 0$.
$endgroup$
– Robert Israel
11 secs ago
add a comment |
$begingroup$
No, the derivative of an elementary function is elementary; some integrals were defined specifically as the antiderivative of certain functions because that function otherwise would have no closed-form antiderivative.
An anti-derivative of a non-elementary function cannot be an elementary function.
$endgroup$
add a comment |
$begingroup$
No, the derivative of an elementary function is elementary; some integrals were defined specifically as the antiderivative of certain functions because that function otherwise would have no closed-form antiderivative.
An anti-derivative of a non-elementary function cannot be an elementary function.
$endgroup$
add a comment |
$begingroup$
No, the derivative of an elementary function is elementary; some integrals were defined specifically as the antiderivative of certain functions because that function otherwise would have no closed-form antiderivative.
An anti-derivative of a non-elementary function cannot be an elementary function.
$endgroup$
No, the derivative of an elementary function is elementary; some integrals were defined specifically as the antiderivative of certain functions because that function otherwise would have no closed-form antiderivative.
An anti-derivative of a non-elementary function cannot be an elementary function.
answered 8 hours ago
El EctricEl Ectric
14910
14910
add a comment |
add a comment |
$begingroup$
Yes, and I can provide a simple counter-example.
Let $f(x)$ be piece-wise defined such that $f(x) = x^2$ for $x neq 0$ and such that $f(0) = 300$.
This is not an elementary function. However its integral is $F(x) = frac 13x^3 + c$ which is elementary.
For a slightly more "non-elementary" example just make $f(x) = -500$ whenever $x$ is an integer multiple of $n = 0.0001$. Feel free to keep decreasing $n$ to make the function messier and messier.
However, if you want a continuous non-elementary $f$ then no. If $f$ is continuous then by one of the fundamental theorems of calculus $F'(x) = f(x)$ and the derivative of an elementary function is an elementary function. Furthermore, if you want that $f$ is an integral of some other $h$ then it follows that $f$ is continuous as the integral of any real valued function defined everywhere is a continuous function. So this will only work with discontinuous $f$'s that are not integrals of other functions.
In short the set of derivatives of elementary functions $neq$ the set of anti-integrals of elementary functions.
$endgroup$
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
|
show 1 more comment
$begingroup$
Yes, and I can provide a simple counter-example.
Let $f(x)$ be piece-wise defined such that $f(x) = x^2$ for $x neq 0$ and such that $f(0) = 300$.
This is not an elementary function. However its integral is $F(x) = frac 13x^3 + c$ which is elementary.
For a slightly more "non-elementary" example just make $f(x) = -500$ whenever $x$ is an integer multiple of $n = 0.0001$. Feel free to keep decreasing $n$ to make the function messier and messier.
However, if you want a continuous non-elementary $f$ then no. If $f$ is continuous then by one of the fundamental theorems of calculus $F'(x) = f(x)$ and the derivative of an elementary function is an elementary function. Furthermore, if you want that $f$ is an integral of some other $h$ then it follows that $f$ is continuous as the integral of any real valued function defined everywhere is a continuous function. So this will only work with discontinuous $f$'s that are not integrals of other functions.
In short the set of derivatives of elementary functions $neq$ the set of anti-integrals of elementary functions.
$endgroup$
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
|
show 1 more comment
$begingroup$
Yes, and I can provide a simple counter-example.
Let $f(x)$ be piece-wise defined such that $f(x) = x^2$ for $x neq 0$ and such that $f(0) = 300$.
This is not an elementary function. However its integral is $F(x) = frac 13x^3 + c$ which is elementary.
For a slightly more "non-elementary" example just make $f(x) = -500$ whenever $x$ is an integer multiple of $n = 0.0001$. Feel free to keep decreasing $n$ to make the function messier and messier.
However, if you want a continuous non-elementary $f$ then no. If $f$ is continuous then by one of the fundamental theorems of calculus $F'(x) = f(x)$ and the derivative of an elementary function is an elementary function. Furthermore, if you want that $f$ is an integral of some other $h$ then it follows that $f$ is continuous as the integral of any real valued function defined everywhere is a continuous function. So this will only work with discontinuous $f$'s that are not integrals of other functions.
In short the set of derivatives of elementary functions $neq$ the set of anti-integrals of elementary functions.
$endgroup$
Yes, and I can provide a simple counter-example.
Let $f(x)$ be piece-wise defined such that $f(x) = x^2$ for $x neq 0$ and such that $f(0) = 300$.
This is not an elementary function. However its integral is $F(x) = frac 13x^3 + c$ which is elementary.
For a slightly more "non-elementary" example just make $f(x) = -500$ whenever $x$ is an integer multiple of $n = 0.0001$. Feel free to keep decreasing $n$ to make the function messier and messier.
However, if you want a continuous non-elementary $f$ then no. If $f$ is continuous then by one of the fundamental theorems of calculus $F'(x) = f(x)$ and the derivative of an elementary function is an elementary function. Furthermore, if you want that $f$ is an integral of some other $h$ then it follows that $f$ is continuous as the integral of any real valued function defined everywhere is a continuous function. So this will only work with discontinuous $f$'s that are not integrals of other functions.
In short the set of derivatives of elementary functions $neq$ the set of anti-integrals of elementary functions.
answered 2 hours ago
The Great DuckThe Great Duck
24932047
24932047
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
|
show 1 more comment
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
Why is a piecewise function with elementary cases not elementary?
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
@J.M.isnotamathematician an infinite number of cases?
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
I am talking about your second sentence. You give a quadratic function with a hole and say that it is nonelementary.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
$begingroup$
@J.M.isnotamathematician As I said, there are much messier example and I gave one. The definition of elementary is tenuous at best. Provide a detailed analytical definition and I'll say whether something fits inside it. Until then, there's no real way to tell for sure. Elementary has imo always been a subjective concept. Regardless, I can easily keep cranking up the complexity on the counter-example so it doesn't change the result if I mis-identify some simpler function as being non-elementary.
$endgroup$
– The Great Duck
1 hour ago
1
1
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
$begingroup$
"Elementary has imo always been a subjective concept." - in this regard at least, we are in agreement.
$endgroup$
– J. M. is not a mathematician
1 hour ago
|
show 1 more 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%2f3164890%2fhow-can-we-prove-that-any-integral-in-the-set-of-non-elementary-integrals-cannot%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
2
$begingroup$
Differential algebra is a galois like approach to proving such things. pdfs.semanticscholar.org/3d42/…
$endgroup$
– Charlie Frohman
8 hours ago