- #36
matphysik
- 85
- 0
The original post says that the domain of f is all of ℝ.
matphysik said:The original post says that the domain of f is all of ℝ.
matphysik said:The quadratic in the denominator must have complex roots, which occur when a<-9/8. Then f(x) will be analytic, and onto iff the domain of f is ℝ.
This is not true in general, consider f(x) = xsin(x). It will require some work to show that it is true for rational polynomial functions.
When the denominator quadratic has no real roots then f (a quotient of two polynomials) is onto. Just the monomial term in the numerator quadratic guarantees that.
[size=+2]where am i wrong[/size]. I have used basic rules not any big trick.nickalh said:Why is VKash's original reasoning incorrect?
I........
......
.
nickalh said:Response to SteveL,
I only see a link to the solver & am unsure exactly what you put in. For future reference, please post the link to your actual solution. WolframAlpha maybe more effective.
Also, the first mention I see of a=x as a joke, is quite a while after the mention of a =x.
This appears related to the discriminant of a quadratic function.using shredharanachrya principle D<0
HoI's method is perfectly correct. His method will give that the function f is onto if [tex]a\geq 2[/tex]. However, since the function must be entire, it must also hold that [tex]a+6x-8x^2[/tex] has no roots. But no [tex]a\geq 2[/tex] satisfies this. So there are no solutions.
nickalh said:I also think we're beating a dead horse. I'll try to move on.
nickalh said:In general, surjectivity, also known as onto, does not require horizontal asymptotes.
See
http://www.wolframalpha.com/input/?i=y+=+(cos+x)/x"
Similar, examples of polynomial rational functions, may exist especially with higher degree polynomials.
SteveL27 said:Here's a Wolfram Alpha link for the case of a = -2. Note that -2 is less than -9/8.
http://www.wolframalpha.com/input/?i=(-2x^2+++6x+-+8)+/+(-2+++6x+-+8x^2)+=+0
Now you see that there are no real solutions. So matphysik's claim that a < -9/8 gives an onto function is not true. Now, there may be SOME value of a < -9/8 that works, but till we hear from matphysik, we have to reject his claim. He noted that with the denominator never zero, the rational function is analytic. That's true. But I don't see how it follows that f must then be onto the reals as a function of the reals.
I also think so.nickalh said:I think we're beating a dead horse. I'll try to move on.
Bye.
matphysik said:matphysik said:Hi. If the function is analytic, then it`s continuous.
CORRECTION:
f (as given) takes ℝ into ℝ so that, y=f(x)=Re{f(x)}. Let z↦log₁z take ℂ\(-∞,0] onto ℂ. Write, f(x)=(ax²+6x-8)/(a+6x-8x²)≡(x-A)(x-B)/(x-C)(x-D). For `a` to be determined such that f takes ℝ onto ℝ. ONE possibility for f(x) being onto occurs if ALL of {A,B,C,D} are complex numbers.Then,
Re[log₁f(x)]=Re[log₁(x-A)+...-log₁(x-D)] takes ℝ onto ℝ\(-∞,0]. Next, let z↦log₂z take ℂ\[0,∞) onto ℂ. Then, Re[log₂f(x)]=Re[log₂(x-A)+...-log₂(x-D)] takes ℝ onto ℝ\[0,∞). So that, given such `a` f will take ℝ onto ℝ\{0} (since, (-∞,0]∩[0,∞)={0}). Last, since Re{f(0)}=Re{(A)(B)/(C)(D)} we have proved (for this particular case) that f takes ℝ onto ℝ.
I'm sorry, I had a hard time following that. You used the phrase "for this particular case," but I don't see any particular case.
Consider f(z) = z^2. It's onto the complex numbers as a function of complex numbers; but its restriction to the reals is not onto the reals. Why not? Well, f(x) = x^2 does not hit -1, for example. If you take z = i, then f(z) = z^2 does hit -1. But Re(i) = 0 so you haven't really gotten any benefit out of taking the real part of a complex function.
Earlier you said that any a < -9/8 gives an onto function (with f as in the original problem); but I showed that with a = -2, the resulting rational function has two complex roots and no real ones, so as a function from the reals to the reals, it fails to hit 0 and is therefore not onto.
Do you have a specific 'a' that works?
(edit)
I think you're getting in trouble with y=f(x)=Re{f(x)}. It's true that you can take the real part of f(z) to get a function from C to R. But it doesn't follow that you now have a function from R to R that preserves the attributes you care about. You only have a function from C to R. When you restrict the domain to R, you lose surjectivity, as the example of f(z) = z^2 shows.
Another example is f(z) = e^z. We have f(i*pi) = -1, but the real part of i*pi is 0; and the the real part of -1 is -1. You can't freely interchange Re and f.
By the way, what is log₁? What does the subscript '1' do? Do you just mean complex natural log?
matphysik said:"By the way, what is log₁? What does the subscript '1' do? Do you just mean complex natural log?"
They are different branches of the complex logarithm.
matphysik said:Find B²-4AC<0 for BOTH quadratics in order to find an interval for `a` for each case, then find the intersection of the two intervals for `a` obtained.
matphysik said:
SteveL27 said:Oh, I'd never seen that notation before. Thanks.
I think you have a clever idea to use complex analysis to attack this problem. It's clear that the discriminants of both the top and bottom polynomials are the same, namely 32a + 36; and that this is negative exactly whenever a < -9/8.
What you've found, assuming the rest of your proof holds up, are functions from the complex numbers that are onto the reals. Unfortunately the original problems specifies f:R -> R.
Now you are making the leap to say that restricting the domain to R preserves surjectivity. But this is demonstrably false, since if you take a = -2 you get a rational function that has two complex roots and no real ones. That means it doesn't hit 0. So you've lost surjectivity when you restrict the domain to the reals.
I already presented this example earlier and you have not commented on it.
I also gave the example of f(z) = z^2, which is surjective when considered as a function from C to C; but is not surjective onto the reals when the domain is restricted to R.
I've just said the exact things as I did earlier. One, there is a clear counterexample to your claim that {x : discriminant < 0} gives a solution to the problem. And two, that your ambitious attempt to use complex analysis is a good idea, and DOES produce a surjection C -> R. But it does not produce a surjection R -> R.
Back atcha
vkash said:I also think so.
Actually my main motto for this post was to know why method written by HallsOfIvy is wrong and now i got that.
I does not post it(real answer and my question) directly in first post because i want to know is there any mathematical dude here who think so. unfortunately no such dude come here to answer.
Do you not read micromass 13th post. He explain it.matphysik said:NO. What you`re doing is giving up when the going gets tough.
You are little bit correct that i am giving up. Mainly because of around nil knowledge of complex numbers.micromass said:HoI's method is perfectly correct. His method will give that the function f is onto if a≥2. However, since the function must be entire, it must also hold that a+6x−8x2 has no roots. But no a≥2 satisfies this. So there are no solutions.
RandomMystery said:Oh, I think I know what it is know. Isn't it weird how there is an -8 on top where there is an a in the bottom and vise versa? You simply put in a=-8 and the answer is always 1!
((-8)*x^2+6x-8) / ((-8)+6x-8*x^2)=1
-8 is smaller than -9/8 so the calculus was true.
I don't quite get what the question is though.
disregardthat said:Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.
For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].
Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].
So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
disregardthat said:Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.
For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].
Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].
So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
I love this proof.disregardthat said:Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.
For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].
Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].
So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
matphysik said:NO. What i did was divide the numerator quadratic by the denominator quadratic directly, in order to reveal the true identity of f(x).
disregardthat said:Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.
For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].
Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].
So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
RandomMystery said:I think you can still use the quadratic equation:
I don't think there is anything stopping someone from making a into a function. However, the OP seems to have made it clear later on that a does not depend on x.Why can't we make a equal some function?
a = -8x
[itex]\frac{a}{-8}=\frac{-8x}{-8}[/itex]
Here the function is globally onto.
The OP states that the domain of f is R. For this to be true, f must not contain points of discontinuity. We can see that f will have such points of discontinuity whenever the denominator is equal to zero. The only way to prevent the denominator from equaling zero is to choose a value of a such that quadratic has no real roots. Such an a must make the discriminant less than zero.I don't understand why you choose y=0 in the discriminant:
Delta = 6^2-4(-8)a
instead of
Delta = (6 - 6y)^2 - 4(a + 8y)(-8 - ay)