Study of an implicit function












2












$begingroup$


The problem consists of two questions :



The first asks to prove that for any real number $x$, there exists a unique real numbers $t$ such that
$$t_x^3x^2+t_x+x=0$$



I'm having problems with the second question which asks to study the implicit function $f:xlongmapsto t_x$



A hint asked to study the inverse function of $f$ but I'm having a hard time to prove that $f$ is invertible, let alone to study its inverse.



What I could do :





  • $f(x)$ and $x$ have opposite signs due to the equation $t_x(x^2t_x^2+1)=-x$

  • seeing the equation as a quadratic in $x$, the discriminant should be $ge 0$ meaning range of $f$ is within $left[-frac{1}{sqrt 2}, frac{1}{sqrt 2} right]$

  • if $f$ is invertible the inverse has one of the expressions
    $dfrac{-1pmsqrt{1-4t^4}}{2t^3}$ (got by solving $(g(y))^2y^3+g(y)+y=0$)

  • A few tests on wolframalpha show that $f$ would be odd, negative and decreasing on $[0,+infty)$.


Any help or recommendations to treat such problems would be appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
    $endgroup$
    – Oussama Sarih
    Jan 2 at 10:22


















2












$begingroup$


The problem consists of two questions :



The first asks to prove that for any real number $x$, there exists a unique real numbers $t$ such that
$$t_x^3x^2+t_x+x=0$$



I'm having problems with the second question which asks to study the implicit function $f:xlongmapsto t_x$



A hint asked to study the inverse function of $f$ but I'm having a hard time to prove that $f$ is invertible, let alone to study its inverse.



What I could do :





  • $f(x)$ and $x$ have opposite signs due to the equation $t_x(x^2t_x^2+1)=-x$

  • seeing the equation as a quadratic in $x$, the discriminant should be $ge 0$ meaning range of $f$ is within $left[-frac{1}{sqrt 2}, frac{1}{sqrt 2} right]$

  • if $f$ is invertible the inverse has one of the expressions
    $dfrac{-1pmsqrt{1-4t^4}}{2t^3}$ (got by solving $(g(y))^2y^3+g(y)+y=0$)

  • A few tests on wolframalpha show that $f$ would be odd, negative and decreasing on $[0,+infty)$.


Any help or recommendations to treat such problems would be appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
    $endgroup$
    – Oussama Sarih
    Jan 2 at 10:22
















2












2








2





$begingroup$


The problem consists of two questions :



The first asks to prove that for any real number $x$, there exists a unique real numbers $t$ such that
$$t_x^3x^2+t_x+x=0$$



I'm having problems with the second question which asks to study the implicit function $f:xlongmapsto t_x$



A hint asked to study the inverse function of $f$ but I'm having a hard time to prove that $f$ is invertible, let alone to study its inverse.



What I could do :





  • $f(x)$ and $x$ have opposite signs due to the equation $t_x(x^2t_x^2+1)=-x$

  • seeing the equation as a quadratic in $x$, the discriminant should be $ge 0$ meaning range of $f$ is within $left[-frac{1}{sqrt 2}, frac{1}{sqrt 2} right]$

  • if $f$ is invertible the inverse has one of the expressions
    $dfrac{-1pmsqrt{1-4t^4}}{2t^3}$ (got by solving $(g(y))^2y^3+g(y)+y=0$)

  • A few tests on wolframalpha show that $f$ would be odd, negative and decreasing on $[0,+infty)$.


Any help or recommendations to treat such problems would be appreciated.










share|cite|improve this question









$endgroup$




The problem consists of two questions :



The first asks to prove that for any real number $x$, there exists a unique real numbers $t$ such that
$$t_x^3x^2+t_x+x=0$$



I'm having problems with the second question which asks to study the implicit function $f:xlongmapsto t_x$



A hint asked to study the inverse function of $f$ but I'm having a hard time to prove that $f$ is invertible, let alone to study its inverse.



What I could do :





  • $f(x)$ and $x$ have opposite signs due to the equation $t_x(x^2t_x^2+1)=-x$

  • seeing the equation as a quadratic in $x$, the discriminant should be $ge 0$ meaning range of $f$ is within $left[-frac{1}{sqrt 2}, frac{1}{sqrt 2} right]$

  • if $f$ is invertible the inverse has one of the expressions
    $dfrac{-1pmsqrt{1-4t^4}}{2t^3}$ (got by solving $(g(y))^2y^3+g(y)+y=0$)

  • A few tests on wolframalpha show that $f$ would be odd, negative and decreasing on $[0,+infty)$.


Any help or recommendations to treat such problems would be appreciated.







calculus implicit-function






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 2 at 9:16









Oussama SarihOussama Sarih

49027




49027












  • $begingroup$
    But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
    $endgroup$
    – Oussama Sarih
    Jan 2 at 10:22




















  • $begingroup$
    But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
    $endgroup$
    – Oussama Sarih
    Jan 2 at 10:22


















$begingroup$
But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
$endgroup$
– Oussama Sarih
Jan 2 at 10:22






$begingroup$
But the fact that for any $x$ there exists a unique $t$ doesn't mean that $x mapsto t_x $ is injective. Regarding the question; the original problem is that "vague". It asks the "study" of the function, that might include limits, continuity, monotonicity, and maybe other more features of $f$.
$endgroup$
– Oussama Sarih
Jan 2 at 10:22












0






active

oldest

votes












Your Answer








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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059267%2fstudy-of-an-implicit-function%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059267%2fstudy-of-an-implicit-function%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?