Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
You should write a comment to the original question, to the questioner gets notified: he way or may not change the accepted answer in response.
It's not clear to me that it is solved; see Mariano's comment there. It seems reasonably likely to me that this is what you get out if you throw the question into Mathematica, and also reasonably likely that the expression in question is not really well-defined. (Of course, by it follows from the accepted answer that the expression can't be well-behaved, and in my opinion this is a more useful thing to know than what Anixx has written.) I also don't understand your last sentence -- bumped up by who or what, when?
@Ryan: I have hardly any interest in and even less skill at these discrete antiderivative problems. However, a former PhD student of a colleague of mine at UGA got a job at Wolfram Industries and came back to give a talk about what he (and others) are working on to improve Mathematica for the future. A big part of it was these closed form antiderivatives (discrete and otherwise). So I gather this topic is part of current research mathematics.
In general, I think that questions do not have to be motivated per se to be appropriate for MO. (I believe this sort of thing was discussed on meta before and this position was "agreed on", in the sense that everyone agreed except those who wrote in to disagree.) They just need to be of interest to some research mathematicians. Of course giving motivation is a good way of exhibiting and creating such interest (and perhaps one wants questions to be "good" and not just "appropriate"; for that motivation seems much more key). But I feel that I (for instance) should be able to ask a perfectly random, purely technical question in some branch of mathematics as long as it's not too easy, i.e., so that it takes a fairly expert person to answer it.
So if people are asking unmotivated indefinite integration questions that everybody knows how to routinely answer (in particular this should probably mean that the state of the art software packages like Mathematica can correctly answer it), then that's probably not appropriate for MO. Otherwise, I would say that it probably is.
That question rubs me up the wrong way - not so much the mathematics but the apparent motivation, and the way it's phrased. However, I find it difficult to rationalize my annoyance, which is why I haven't left any comment.
I am not sure I share Pete's feeling that "perfectly random, purely technical question in some branch of mathematics" are to be encouraged, in the sense that although I've asked at least two questions which turned out in hindsight to be daft, I tried to give some indication that I had thought about the questions and why I thought that people might be able to give answers. I find myself inclined to side with Ryan on this one.
See also: math(s) is more than asking random questions, or finding Yet Another Formula...
The type of motivation that I like to see on MO is personal motivation. Of course, it's interesting to see why a question is interesting from an impersonal point of view, but generally a question on MO is a small part of a larger thing and the question is really only interesting when viewed from that perspective, and to give that whole view would be Too Much Information. But personal motivation can always be explained, no matter how small the question. At the very least, one should explain where the question fits in to one's research: is it a core lemma, a side-issue that came up, a "wonder why that happens", or something else?
The important thing to remember is that by asking a question on MO, you are asking someone to do your work for you. The hope and intention is that the question would have taken you a day or more to solve but to the right person, just takes five minutes. But even that five minutes is something. People only have a finite number of "five minutes" to spend on MO (or at least, they should!) and they have to decide how to spend it. So putting in motivation is like the shop window: it says, "Hey, look at my question!"; it says, "Look how grateful I'll be if you answer it!"; it says, "Look how useful that answer will be to me, and all the wonderful things I'll be able to do with it!".
Motivation should answer a very simple question:
Why are you asking this question, now?
With the emphasis on "you" and the "now". What led you personally to this question, and why is now the time that you've turned to MO to help you find an answer.
Respondents have made some interesting points, and I should acknowledge that my opinions on this are tentative (i.e., you could possibly change my mind if you made a good argument: please feel free to try!). Having said that:
Certainly I agree that there are many areas of mathematics in which it is easy to generate long (even infinite) lists of questions each of which will take a lot of work to answer. Currently we're talking about closed form antiderivatives, but Ryan mentioned giving finite presentations of groups and asking if they present the trivial group. I am more familiar with the latter problem but still not an expert, so in trying to figure out what I thought I quickly switched to yet a third class of problems: Diophantine equations. Note that a common feature of the latter two problems is that they are provably undecidable in general, but it is not (yet?) clear exactly or even approximately where the boundary is between un/decidability: if I give you a presentation with a "small" number of generators and relations, or say a single Diophantine equation of "small" degree, we think there should probably be answers. But it is going to be a lot of work!
Anyway, it was easy for me to figure out what I would do if someone posted several problems asking for solutions to various systems of Diophantine equations without any motivation. (It helps that this is essentially what I actually do when such questions come my way, which they do in real life.) Namely, I look at the system of equations quickly to see if (i) I recognize it as being of a very particular form that is well studied (e.g. a K3 surface, or a curve of genus one) or (ii) if it happens to catch my fancy for any reason. If neither (i) nor (ii) hold, then -- guess what? -- I don't answer the question or even think any more about it. On the other hand I don't complain about it either: I think "I have some random Diophantine equation, what can you make of it?" is a perfectly reasonable question, just not necessarily a very interesting question to me or, necessarily, any other arithmetic geometer.
By now you can probably see my point: just because you don't want to answer a question or are not interested in it does not mean it should be closed. As people have said, asking a question is an invitation for someone else to put in time and effort on your behalf, and no one is obligated to take up that invitation. But even if an invitation is not particularly, um, inviting, so long as it is clear and not too easy I think it is at least fair to ask it on MO.
Having looked back at some of these questions, um, in question, it seems that more clarity on exactly what kind of solution is sought could be a factor in their appropriateness on MO. Not being anything like an expert on this area, I had been assuming that what the rules were for closed form solutions were more or less agreed upon by experts in the area. But, although I don't think you need to motivate your question if you don't want to, if the community finds it to be unclear then of course the burden is upon you to clarify.
Finally, a lot of times people talk about "flooding the site" with questions of a particular type. Frankly I think this has never happened on MO. (The closest is when someone goes on a late night retagging binge, but once you realize that's what's happening it's not really problematic.) The SE platform is designed to negotiate a much higher level of traffic than our site has ever actually received: c.f. StackOverflow. To the best of my knowledge there have not been any more than, say, ten questions on indefinite summation. Am I wrong about this? If not, this is not flooding. If someone posted, say, five or more "appropriate, but not inviting" questions a day and continued this for several days heedless of a complete lack of response, then we would have something to talk about. But again, this is an yet purely hypothetical situation -- isn't it?
@Pete: I'm inclined to agree because I know nothing about the subject, but I would be more inclined to listen to someone from the field who has a strong opinion about it than reasoning based on my own ignorance. This agrees with the old adage (and by adage I mean meta discussion) that one should not close questions one doesn't know how to answer (although one should close questions that don't have an answer!).
Harry: I agree with you. (It happens!) In general, the point of MO is to ask your questions in a place where experts will see them. But we don't seem to have much expertise in this field represented on this site thus far. As long as this remains the case, the bottom line is that we are not going to get expert answers.
To be clear, I wasn't disagreeing with you (as I said in my first line, I agree with you!), just reminding everyone (and letting the newer members know) the general policy that when expert opinion is available, we should follow that person's lead.
That is, say someone posts a question about arithmetic geometry that I don't understand or can't answer, but I see that you (Pete L. Clark) have voted to close it, I will probably vote to close it as well.
@Harry: please don't do that! Your noblest of intentions is effectively given certain "experts" more than one vote, sort of defeating the purpose of this little meritocratic republic.
@Willie: I like closing questions and try do so whenever I have the opportunity.
1 to 29 of 29