06-1350/Some Equations by Kurlin: Difference between revisions
No edit summary |
m (Reverted edit of 164.58.61.52, changed back to last version by Drorbn) |
||
(20 intermediate revisions by 9 users not shown) | |||
Line 13: | Line 13: | ||
</center> |
</center> |
||
The claim is, of course, very easily verifiable and if this class is successful, at some point in the future I will tell you why I care. |
|||
⚫ | |||
Typically long equations have no closed form solutions. Yet note that Kurlin first derived the equation and only then found its solution. Was he merely lucky that a solution existed, or was there some deeper principle guarding him from failure? I don't believe in luck and I prefer to believe in principles. Yet, at what level did the principle arise? Is it that all solvable equations of this kind have closed-form solutions, or was there an a priori reason why the math that Kurlin was doing lead him to an equation with a closed form solution? |
|||
⚫ | Here are a few concrete questions to expose my ignorance of simple algebra. Note that <math>f</math> is is a rational function in its variables and their exponentials. Let's call such functions "tame". The equation <math>f</math> satisfies involves rational expressions in the variables and their exponentials and linear substitutions applied to <math>f</math>. Let us call such equations "tame". (The equation is also linear in <math>f</math>. You may or may not wish to include this in the definition of "tame"). So we see that this particular tame equation has a tame solution. |
||
* Is that always the case? |
* Is that always the case? |
||
** A |
** A pretty example is the tame equation <math>e(x+y)=e(x)e(y)</math>, whose solution is the "first" transcendental function <math>e^x</math>. |
||
** Are we done defining "new" special functions after we've defined <math>e^x</math> or are there further ones that cannot be defined in terms of it? |
** Are we done defining "new" special functions after we've defined <math>e^x</math> or are there further ones that cannot be defined in terms of it? |
||
** If there are further ones, why haven't we heard about them? Or else, where do we read about them? |
** If there are further ones, why haven't we heard about them? Or else, where do we read about them? |
||
** If there aren't further ones, this is a lovely "closure" property |
** If there aren't further ones, this is a lovely "closure" property enjoyed by exponentials. How come I don't know it yet? |
||
* Assuming not all tame equations have tame solutions, what was special about our equation, that lead to the existence of a tame solution? Can you write a very general condition on tame equations that will ensure the existence of a tame solution? In other words, was Kurlin simply lucky that his equation had a tame solution (and clever that he found it!), or are there some general rules that guarded him against the wilderness? |
|||
{{note|Kurlin}} ''Compressed Drinfel'd Associators,'' V. Kurlin, {{arXiv|math.GT/0408398}}. |
{{note|Kurlin}} ''Compressed Drinfel'd Associators,'' V. Kurlin, {{arXiv|math.GT/0408398}}. |
Latest revision as of 06:12, 8 June 2007
|
Claim [Kurlin]. The function defined by
Satisfies
The claim is, of course, very easily verifiable and if this class is successful, at some point in the future I will tell you why I care.
Typically long equations have no closed form solutions. Yet note that Kurlin first derived the equation and only then found its solution. Was he merely lucky that a solution existed, or was there some deeper principle guarding him from failure? I don't believe in luck and I prefer to believe in principles. Yet, at what level did the principle arise? Is it that all solvable equations of this kind have closed-form solutions, or was there an a priori reason why the math that Kurlin was doing lead him to an equation with a closed form solution?
Here are a few concrete questions to expose my ignorance of simple algebra. Note that is is a rational function in its variables and their exponentials. Let's call such functions "tame". The equation satisfies involves rational expressions in the variables and their exponentials and linear substitutions applied to . Let us call such equations "tame". (The equation is also linear in . You may or may not wish to include this in the definition of "tame"). So we see that this particular tame equation has a tame solution.
- Is that always the case?
- A pretty example is the tame equation , whose solution is the "first" transcendental function .
- Are we done defining "new" special functions after we've defined or are there further ones that cannot be defined in terms of it?
- If there are further ones, why haven't we heard about them? Or else, where do we read about them?
- If there aren't further ones, this is a lovely "closure" property enjoyed by exponentials. How come I don't know it yet?
- Assuming not all tame equations have tame solutions, what was special about our equation, that lead to the existence of a tame solution? Can you write a very general condition on tame equations that will ensure the existence of a tame solution? In other words, was Kurlin simply lucky that his equation had a tame solution (and clever that he found it!), or are there some general rules that guarded him against the wilderness?
[Kurlin] ^ Compressed Drinfel'd Associators, V. Kurlin, arXiv:math.GT/0408398.