How do I describe a closed form of the transition from ln(x) to 1/x?
I am trying to write a closed form for the $n$th derivative of $x log(x)$.
$frac{d}{dx} x log(x)= log(x)+1$
$frac{d^{2}}{dx^{2}}= frac{1}{x}$
and then from here there are no $log(x)$ terms ever again, it might as well be the $m$th derivative of $frac{1}{x}$.
So...do I need the ever-daunted step function? Or how can I describe this nth derivative in closed form?
derivatives
New contributor
|
show 5 more comments
I am trying to write a closed form for the $n$th derivative of $x log(x)$.
$frac{d}{dx} x log(x)= log(x)+1$
$frac{d^{2}}{dx^{2}}= frac{1}{x}$
and then from here there are no $log(x)$ terms ever again, it might as well be the $m$th derivative of $frac{1}{x}$.
So...do I need the ever-daunted step function? Or how can I describe this nth derivative in closed form?
derivatives
New contributor
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago
|
show 5 more comments
I am trying to write a closed form for the $n$th derivative of $x log(x)$.
$frac{d}{dx} x log(x)= log(x)+1$
$frac{d^{2}}{dx^{2}}= frac{1}{x}$
and then from here there are no $log(x)$ terms ever again, it might as well be the $m$th derivative of $frac{1}{x}$.
So...do I need the ever-daunted step function? Or how can I describe this nth derivative in closed form?
derivatives
New contributor
I am trying to write a closed form for the $n$th derivative of $x log(x)$.
$frac{d}{dx} x log(x)= log(x)+1$
$frac{d^{2}}{dx^{2}}= frac{1}{x}$
and then from here there are no $log(x)$ terms ever again, it might as well be the $m$th derivative of $frac{1}{x}$.
So...do I need the ever-daunted step function? Or how can I describe this nth derivative in closed form?
derivatives
derivatives
New contributor
New contributor
New contributor
asked 1 hour ago
user14554
91
91
New contributor
New contributor
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago
|
show 5 more comments
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago
|
show 5 more comments
3 Answers
3
active
oldest
votes
$$ y'=ln x+1$$
And for $n>1$,
$$ y'' = 1/x =x^{-1}$$
$$y'''=-x^{-2}$$
$$y^{(4)} = 2 x^{-3}$$$$ y^{(n)} = (-1)^{n}(n-2)!x^{-n+1}$$
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
add a comment |
If $n$ is a positive integer, the function $h(n)=lfloor frac{1}{n} rfloor$ takes values $1$ for $n=1$ and $0$ for $n>1$. Therefore, using computations from @Mohammad Riazi-Kermani's answer, we have
$$
frac{d^n}{dx^n}(xln(x)) = h(n)(1+ln(x))+(1-h(n))(-1)^n(n-2)!x^{-n+1}
$$
for any $ngeqslant 1$.
IMHO, it is slightly annoying to have to deal with the special case $n=1$ but I don't think that the closed formula is more convenient. One may also argue that using the floor function is somehow cheating, since the floor function is just a (very convenient) way to disguise a piecewise function...
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
add a comment |
So basically, you are asking for a formula that is not piecewise-defined, right?
If so, one good way to do this is to use power series, since they are very easy to differentiate to arbitrary orders, even if the original function has a complicated mix of transcendental functions, as the terms are usually simply polynomial. To maximize the easiness, however, we might first want to make a substitution to "conjugate" the differentiation problem to a simpler one. Namely, we can use the Mercator series for $log(1 + x)$, which gives
$$log(1 + x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$$
We first rearrange this a bit, setting $x mapsto x - 1$, so that
$$log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} (x - 1)^n$$
thus
$$x log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x(x - 1)^n$$
and so the problem now reduces to differentiating the polynomial expression $x(x - 1)^n$, i.e. finding
$$frac{d^m}{dx^m} [x(x - 1)^n]$$
in terms of $m$. We can expand this using the binomial theorem to get
$$x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} x^{k+1}$$
and now we can differentiate $x^k$ $m$ times using the formula
$$frac{d^m}{dx^m} x^k = (k)_m x^{k-1}$$
where $(k)_m$ is the "falling factorial" given by $(a)_n = a(a-1)(a-2)cdots(a-n+1)$, which has $n$ factors. Note that if $m > k$, this is zero, and the derivatives thus go to zero.
Thus
$$frac{d^m}{dx^m} x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}$$
and the original is
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} left[sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}right]$$
for which a rearrangement gives
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} sum_{k=0}^{n} binom{n}{k} frac{(-1)^{k+1} (k+1)_m}{n} x^{k+1-m}$$
This series will, of course, only converge in $x in (0, 2)$, I believe, but this is the closest thing to a "closed form" you will get even though it's not technically one, but moreover you can even vary $m$ smoothly, if you use the extension $(k+1)_m = frac{Gamma(k+2)}{Gamma(k-m-2)}$ and this will vary smoothly as well, so that you will have a continuous transition from $ln x$ to $frac{1}{x}$, and thus describes, or better, interpolates, the "transition" you ask about, and uses no ad-hoc step functions.
There is probably also some way to express the series using some kind of hypergeometric functions, but I don't feel like trying to rearrange it right now.
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
});
}
});
user14554 is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3050041%2fhow-do-i-describe-a-closed-form-of-the-transition-from-lnx-to-1-x%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
$$ y'=ln x+1$$
And for $n>1$,
$$ y'' = 1/x =x^{-1}$$
$$y'''=-x^{-2}$$
$$y^{(4)} = 2 x^{-3}$$$$ y^{(n)} = (-1)^{n}(n-2)!x^{-n+1}$$
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
add a comment |
$$ y'=ln x+1$$
And for $n>1$,
$$ y'' = 1/x =x^{-1}$$
$$y'''=-x^{-2}$$
$$y^{(4)} = 2 x^{-3}$$$$ y^{(n)} = (-1)^{n}(n-2)!x^{-n+1}$$
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
add a comment |
$$ y'=ln x+1$$
And for $n>1$,
$$ y'' = 1/x =x^{-1}$$
$$y'''=-x^{-2}$$
$$y^{(4)} = 2 x^{-3}$$$$ y^{(n)} = (-1)^{n}(n-2)!x^{-n+1}$$
$$ y'=ln x+1$$
And for $n>1$,
$$ y'' = 1/x =x^{-1}$$
$$y'''=-x^{-2}$$
$$y^{(4)} = 2 x^{-3}$$$$ y^{(n)} = (-1)^{n}(n-2)!x^{-n+1}$$
edited 36 mins ago
answered 1 hour ago
Mohammad Riazi-Kermani
40.5k42058
40.5k42058
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
add a comment |
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
You're missing a factor there
– Sudix
44 mins ago
You're missing a factor there
– Sudix
44 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
Thanks for the comment. I fixed it.
– Mohammad Riazi-Kermani
36 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
So I plugged in n=1 to your formula and it doesn't exist because (-1)! doesn't exist. The whole point of this thread is to capture a single closed form for all n, no loophole n>1 terms, those are trivial.
– user14554
32 mins ago
add a comment |
If $n$ is a positive integer, the function $h(n)=lfloor frac{1}{n} rfloor$ takes values $1$ for $n=1$ and $0$ for $n>1$. Therefore, using computations from @Mohammad Riazi-Kermani's answer, we have
$$
frac{d^n}{dx^n}(xln(x)) = h(n)(1+ln(x))+(1-h(n))(-1)^n(n-2)!x^{-n+1}
$$
for any $ngeqslant 1$.
IMHO, it is slightly annoying to have to deal with the special case $n=1$ but I don't think that the closed formula is more convenient. One may also argue that using the floor function is somehow cheating, since the floor function is just a (very convenient) way to disguise a piecewise function...
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
add a comment |
If $n$ is a positive integer, the function $h(n)=lfloor frac{1}{n} rfloor$ takes values $1$ for $n=1$ and $0$ for $n>1$. Therefore, using computations from @Mohammad Riazi-Kermani's answer, we have
$$
frac{d^n}{dx^n}(xln(x)) = h(n)(1+ln(x))+(1-h(n))(-1)^n(n-2)!x^{-n+1}
$$
for any $ngeqslant 1$.
IMHO, it is slightly annoying to have to deal with the special case $n=1$ but I don't think that the closed formula is more convenient. One may also argue that using the floor function is somehow cheating, since the floor function is just a (very convenient) way to disguise a piecewise function...
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
add a comment |
If $n$ is a positive integer, the function $h(n)=lfloor frac{1}{n} rfloor$ takes values $1$ for $n=1$ and $0$ for $n>1$. Therefore, using computations from @Mohammad Riazi-Kermani's answer, we have
$$
frac{d^n}{dx^n}(xln(x)) = h(n)(1+ln(x))+(1-h(n))(-1)^n(n-2)!x^{-n+1}
$$
for any $ngeqslant 1$.
IMHO, it is slightly annoying to have to deal with the special case $n=1$ but I don't think that the closed formula is more convenient. One may also argue that using the floor function is somehow cheating, since the floor function is just a (very convenient) way to disguise a piecewise function...
If $n$ is a positive integer, the function $h(n)=lfloor frac{1}{n} rfloor$ takes values $1$ for $n=1$ and $0$ for $n>1$. Therefore, using computations from @Mohammad Riazi-Kermani's answer, we have
$$
frac{d^n}{dx^n}(xln(x)) = h(n)(1+ln(x))+(1-h(n))(-1)^n(n-2)!x^{-n+1}
$$
for any $ngeqslant 1$.
IMHO, it is slightly annoying to have to deal with the special case $n=1$ but I don't think that the closed formula is more convenient. One may also argue that using the floor function is somehow cheating, since the floor function is just a (very convenient) way to disguise a piecewise function...
answered 18 mins ago
Taladris
4,65431932
4,65431932
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
add a comment |
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
It's better than what I thought of, the floor function isn't unconventional in dealing with integers.
– user14554
11 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
Yeah when such a weird piece-wise-behaving function is required, I've never seen something that doesn't use the floor function or something like that; I'm starting to think its impossible.
– Ovi
9 mins ago
add a comment |
So basically, you are asking for a formula that is not piecewise-defined, right?
If so, one good way to do this is to use power series, since they are very easy to differentiate to arbitrary orders, even if the original function has a complicated mix of transcendental functions, as the terms are usually simply polynomial. To maximize the easiness, however, we might first want to make a substitution to "conjugate" the differentiation problem to a simpler one. Namely, we can use the Mercator series for $log(1 + x)$, which gives
$$log(1 + x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$$
We first rearrange this a bit, setting $x mapsto x - 1$, so that
$$log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} (x - 1)^n$$
thus
$$x log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x(x - 1)^n$$
and so the problem now reduces to differentiating the polynomial expression $x(x - 1)^n$, i.e. finding
$$frac{d^m}{dx^m} [x(x - 1)^n]$$
in terms of $m$. We can expand this using the binomial theorem to get
$$x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} x^{k+1}$$
and now we can differentiate $x^k$ $m$ times using the formula
$$frac{d^m}{dx^m} x^k = (k)_m x^{k-1}$$
where $(k)_m$ is the "falling factorial" given by $(a)_n = a(a-1)(a-2)cdots(a-n+1)$, which has $n$ factors. Note that if $m > k$, this is zero, and the derivatives thus go to zero.
Thus
$$frac{d^m}{dx^m} x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}$$
and the original is
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} left[sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}right]$$
for which a rearrangement gives
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} sum_{k=0}^{n} binom{n}{k} frac{(-1)^{k+1} (k+1)_m}{n} x^{k+1-m}$$
This series will, of course, only converge in $x in (0, 2)$, I believe, but this is the closest thing to a "closed form" you will get even though it's not technically one, but moreover you can even vary $m$ smoothly, if you use the extension $(k+1)_m = frac{Gamma(k+2)}{Gamma(k-m-2)}$ and this will vary smoothly as well, so that you will have a continuous transition from $ln x$ to $frac{1}{x}$, and thus describes, or better, interpolates, the "transition" you ask about, and uses no ad-hoc step functions.
There is probably also some way to express the series using some kind of hypergeometric functions, but I don't feel like trying to rearrange it right now.
add a comment |
So basically, you are asking for a formula that is not piecewise-defined, right?
If so, one good way to do this is to use power series, since they are very easy to differentiate to arbitrary orders, even if the original function has a complicated mix of transcendental functions, as the terms are usually simply polynomial. To maximize the easiness, however, we might first want to make a substitution to "conjugate" the differentiation problem to a simpler one. Namely, we can use the Mercator series for $log(1 + x)$, which gives
$$log(1 + x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$$
We first rearrange this a bit, setting $x mapsto x - 1$, so that
$$log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} (x - 1)^n$$
thus
$$x log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x(x - 1)^n$$
and so the problem now reduces to differentiating the polynomial expression $x(x - 1)^n$, i.e. finding
$$frac{d^m}{dx^m} [x(x - 1)^n]$$
in terms of $m$. We can expand this using the binomial theorem to get
$$x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} x^{k+1}$$
and now we can differentiate $x^k$ $m$ times using the formula
$$frac{d^m}{dx^m} x^k = (k)_m x^{k-1}$$
where $(k)_m$ is the "falling factorial" given by $(a)_n = a(a-1)(a-2)cdots(a-n+1)$, which has $n$ factors. Note that if $m > k$, this is zero, and the derivatives thus go to zero.
Thus
$$frac{d^m}{dx^m} x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}$$
and the original is
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} left[sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}right]$$
for which a rearrangement gives
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} sum_{k=0}^{n} binom{n}{k} frac{(-1)^{k+1} (k+1)_m}{n} x^{k+1-m}$$
This series will, of course, only converge in $x in (0, 2)$, I believe, but this is the closest thing to a "closed form" you will get even though it's not technically one, but moreover you can even vary $m$ smoothly, if you use the extension $(k+1)_m = frac{Gamma(k+2)}{Gamma(k-m-2)}$ and this will vary smoothly as well, so that you will have a continuous transition from $ln x$ to $frac{1}{x}$, and thus describes, or better, interpolates, the "transition" you ask about, and uses no ad-hoc step functions.
There is probably also some way to express the series using some kind of hypergeometric functions, but I don't feel like trying to rearrange it right now.
add a comment |
So basically, you are asking for a formula that is not piecewise-defined, right?
If so, one good way to do this is to use power series, since they are very easy to differentiate to arbitrary orders, even if the original function has a complicated mix of transcendental functions, as the terms are usually simply polynomial. To maximize the easiness, however, we might first want to make a substitution to "conjugate" the differentiation problem to a simpler one. Namely, we can use the Mercator series for $log(1 + x)$, which gives
$$log(1 + x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$$
We first rearrange this a bit, setting $x mapsto x - 1$, so that
$$log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} (x - 1)^n$$
thus
$$x log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x(x - 1)^n$$
and so the problem now reduces to differentiating the polynomial expression $x(x - 1)^n$, i.e. finding
$$frac{d^m}{dx^m} [x(x - 1)^n]$$
in terms of $m$. We can expand this using the binomial theorem to get
$$x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} x^{k+1}$$
and now we can differentiate $x^k$ $m$ times using the formula
$$frac{d^m}{dx^m} x^k = (k)_m x^{k-1}$$
where $(k)_m$ is the "falling factorial" given by $(a)_n = a(a-1)(a-2)cdots(a-n+1)$, which has $n$ factors. Note that if $m > k$, this is zero, and the derivatives thus go to zero.
Thus
$$frac{d^m}{dx^m} x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}$$
and the original is
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} left[sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}right]$$
for which a rearrangement gives
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} sum_{k=0}^{n} binom{n}{k} frac{(-1)^{k+1} (k+1)_m}{n} x^{k+1-m}$$
This series will, of course, only converge in $x in (0, 2)$, I believe, but this is the closest thing to a "closed form" you will get even though it's not technically one, but moreover you can even vary $m$ smoothly, if you use the extension $(k+1)_m = frac{Gamma(k+2)}{Gamma(k-m-2)}$ and this will vary smoothly as well, so that you will have a continuous transition from $ln x$ to $frac{1}{x}$, and thus describes, or better, interpolates, the "transition" you ask about, and uses no ad-hoc step functions.
There is probably also some way to express the series using some kind of hypergeometric functions, but I don't feel like trying to rearrange it right now.
So basically, you are asking for a formula that is not piecewise-defined, right?
If so, one good way to do this is to use power series, since they are very easy to differentiate to arbitrary orders, even if the original function has a complicated mix of transcendental functions, as the terms are usually simply polynomial. To maximize the easiness, however, we might first want to make a substitution to "conjugate" the differentiation problem to a simpler one. Namely, we can use the Mercator series for $log(1 + x)$, which gives
$$log(1 + x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$$
We first rearrange this a bit, setting $x mapsto x - 1$, so that
$$log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} (x - 1)^n$$
thus
$$x log(x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x(x - 1)^n$$
and so the problem now reduces to differentiating the polynomial expression $x(x - 1)^n$, i.e. finding
$$frac{d^m}{dx^m} [x(x - 1)^n]$$
in terms of $m$. We can expand this using the binomial theorem to get
$$x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} x^{k+1}$$
and now we can differentiate $x^k$ $m$ times using the formula
$$frac{d^m}{dx^m} x^k = (k)_m x^{k-1}$$
where $(k)_m$ is the "falling factorial" given by $(a)_n = a(a-1)(a-2)cdots(a-n+1)$, which has $n$ factors. Note that if $m > k$, this is zero, and the derivatives thus go to zero.
Thus
$$frac{d^m}{dx^m} x(x - 1)^n = sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}$$
and the original is
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} left[sum_{k=0}^{n} binom{n}{k} (-1)^{n-k} (k+1)_m x^{k+1-m}right]$$
for which a rearrangement gives
$$frac{d^m}{dx^m} [x log(x)] = sum_{n=1}^{infty} sum_{k=0}^{n} binom{n}{k} frac{(-1)^{k+1} (k+1)_m}{n} x^{k+1-m}$$
This series will, of course, only converge in $x in (0, 2)$, I believe, but this is the closest thing to a "closed form" you will get even though it's not technically one, but moreover you can even vary $m$ smoothly, if you use the extension $(k+1)_m = frac{Gamma(k+2)}{Gamma(k-m-2)}$ and this will vary smoothly as well, so that you will have a continuous transition from $ln x$ to $frac{1}{x}$, and thus describes, or better, interpolates, the "transition" you ask about, and uses no ad-hoc step functions.
There is probably also some way to express the series using some kind of hypergeometric functions, but I don't feel like trying to rearrange it right now.
answered 13 mins ago
The_Sympathizer
7,1372243
7,1372243
add a comment |
add a comment |
user14554 is a new contributor. Be nice, and check out our Code of Conduct.
user14554 is a new contributor. Be nice, and check out our Code of Conduct.
user14554 is a new contributor. Be nice, and check out our Code of Conduct.
user14554 is a new contributor. Be nice, and check out our Code of Conduct.
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3050041%2fhow-do-i-describe-a-closed-form-of-the-transition-from-lnx-to-1-x%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
Why would you need to use the step function for $frac 1 x$?
– Sudix
1 hour ago
Why wouldn't I? $log(x)$ exists for the 0th and 1st derivative, then suddenly becomes 0. If you can recommend something better you're free to do that.
– user14554
1 hour ago
Just derive $frac 1 x$, as you'd do if there never was a $log$-function to begin with?
– Sudix
1 hour ago
Do you just ignore the premise of a statement for everything else in math? Just the $frac{1}{x}$ series has already been derived and you can google it easily, but I have not seen anything that generalizes the transition from $log$ to no $log$.
– user14554
28 mins ago
I'm not seeing this premise, that's why I'm asking. What is it?
– Sudix
26 mins ago