Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have been looking at a problem requires the solution of an equation of the form: $$\int_{x_0}^{x_1} f(x,y)^{-n} \left(\frac{\partial}{\partial y} f(x,y)\right)^m dx = 0$$ for integer values of $m$ and $n$ greater than 1.

What non-trivial functions satisfy this? How would you go about finding a single solution as an example?

share|improve this question
    
I guess, are there non-trivial solutions is the first question... –  Lucas Dec 16 '12 at 18:35
add comment

2 Answers 2

up vote 1 down vote accepted

Here's a less trivial solution. Without loss of generality, translate your integration variable so the bounds of the integral are $[-a,a]$, where $a=(x_1-x_0)/2$.

$m$ and $n$ have opposite parity:

When $m$ and $n$ have opposite parity, a solution of the form $f(x,y) = \sum_{i} \alpha_i(x) \beta_i(y)$, where each of the $\alpha_i(x)$ is an odd function is a solution. This means that both $f(x,y)$ and $\frac{\partial f}{\partial y}$, are odd functions of $x$ and that consequently $f^{-n} (\frac{\partial f}{\partial y})^m$ is as well, meaning the integral will vanish for any value of $y$.

$m$ and $n$ are both even:

In this case $f^n$ and $(\frac{\partial f}{\partial y})^m$ are both positive, which requires that either $f(x,y)=0$ or $\frac{\partial f(x,y)}{\partial y}=0$ for each value of $(x, y)$. I think this pretty much means that the only solutions are trivial, ie $f(x,y)=g(x)$ for some function $g(x)$.

$m$ and $n$ are both odd:

Need to think about this a bit more.

share|improve this answer
add comment

Write $f(x,y)=\alpha(x)\beta(y)$. Then for $n\ne m$, any $\alpha(x)$ that satisfies $\int_{x_0}^{x_1} \alpha(x)^{m-n} dx = 0$ should provide a solution for arbitrary $\beta(y)$. For example, $\alpha(x) = \sin(2\pi k\frac{x-x_0}{x_1-x_0})^{1/(m-n)}$, for integral k.

If $n=m$, then you can choose $\alpha(x)$ arbitrarily, as long as you choose $\beta(y)=c$, but maybe you would consider that to be a trivial solution.

share|improve this answer
    
I would consider it a trivial solution, but that does not mean that your response is not appreciated :) –  Lucas Dec 19 '12 at 6:11
    
Actually the $(m-n)$th root isn't guaranteed to be real when $m$ and $n$ have the same parity (for negative arguments). So this solution is really only good when $m$ and $n$ have the same parity. –  GregP Dec 20 '12 at 17:17
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.