# Solving equation $y^2-2ln(y)=x^2$

Mathematics Asked by Majdgh on January 5, 2022

enter image description hereCan someone help me to solve this equation:
$$y^2-2ln(y)=x^2$$
I want to find y.
I have tried to solve the problem but I couldn’t.

(Assuming you only care about real solutions).

The Lambert $${W}$$ function is the inverse to $${xe^{x}}$$ (well, that depends on the value of $$x$$ - you will need to change the branch accordingly. If $${xgeq -1}$$, we take the $${W_0}$$ branch, otherwise - you take the $${W_{-1}}$$ branch. For simplicity, for now I will refer to the whole thing as just $${W}$$). That is,

$${W(xe^{x})=x}$$

$${y^2 - 2ln(y)= x^2}$$

is equivalent to

$${2ln(y) -y^2 = -x^2}$$

raising $$e$$ to both sides yields

$${e^{2ln(y) - y^2}=e^{-x^2}=y^2e^{-y^2}}$$

Multiply both sides by $${-1}$$ once again to get

$${Rightarrow -y^2e^{-y^2}=-e^{-x^2}}$$

And now use Lambert $${W}$$

$${W(-y^2e^{-y^2})=W(-e^{-x^2})=-y^2}$$

And so you get

$${y^2 = -W(-e^{-x^2})}$$

which implies that

$${y = pmsqrt{-W(-e^{-x^2})}}$$

But which branch of $${W}$$ do you take? - it turns out in this context you need to take both one at a time, since both will give you valid solutions. Going back to

$${-y^2e^{-y^2}=-e^{-x^2}}$$

A quick cheap way of seeing this is that by looking at the graph of $${-y^2e^{-y^2}}$$ you can see it has a range of $${left[-frac{1}{e},0right]}$$, and every value in it's range is hit by some $$y$$ such that $${(-y^2) < -1}$$, and also get's hit by some $${y}$$ such that $${(-y^2)geq -1}$$ also. And so if you take the $${W_0}$$ branch - it'll give you the $$y$$ solution such that $${(-y^2)geq -1}$$, and if you take the $${W_{-1}}$$ branch it'll give you the solution such that $${(-y^2) < -1}$$. Both solutions are important.

In the context of real solutions, notice that the range of $${-y^2e^{-y^2}}$$ being $${left[-frac{1}{e},0right]}$$ also forces our $${x}$$ to be in the domain of $${(-infty,-1]cup [1,infty)}$$ (since this domain ensures the range of $${-e^{-x^2}}$$ matches accordingly).

Answered by Riemann'sPointyNose on January 5, 2022

## Related Questions

### stationary independent increments: f(t+s) = f(t) + f(s), therefore f(t)=ct

2  Asked on December 20, 2021

### Let $Phi$ be standard Gaussian CDF and $u > 0$. What is good u-bound for $int_0^1Phi(u/r – ur)dr$ as a function of $u$?

1  Asked on December 20, 2021

### Diagonal of (self) product of doubly stochastic transition matrix

1  Asked on December 20, 2021 by lovemath

### $mathbb R$ as continuum many of pairwise disjoint of Bernstein sets

1  Asked on December 20, 2021 by 00gb

### How to evaluate the following limit: $lim_{xto 0}frac{12^x-4^x}{9^x-3^x}$?

6  Asked on December 20, 2021 by user811107

### Is my proof for $f$ is convex iff $f’$ is monotonically increasing correct?

2  Asked on December 20, 2021

### Is difference of two projection matrices positive semi-definite or negative definite or indefinite?

2  Asked on December 20, 2021

### Directly Calculating Birthday Paradox Probabilites

2  Asked on December 20, 2021 by user553664

### Show that $mathfrak{m}_p$ is an ideal in $mathcal{O}_V.$

1  Asked on December 20, 2021 by user525033

### Nonlinear diffusion (heat) equation

0  Asked on December 20, 2021 by vertum

### What is the difference between a semiconnected graph and a weakly connected graph?

2  Asked on December 20, 2021 by maximilian-levine

### For $pin (0, 1)$ and $nrightarrow infty$, how do I evaluate a general term in the binomial expansion of $(p+1-p)^n$?

2  Asked on December 20, 2021

### If $|{z}|=maxbig{|{z}+2|,|{z}-2|big}$, then which is true: $|zpm bar{z}|=2$ or $|zpm bar{z}|=1/2$?

2  Asked on December 18, 2021

### Is there an explicit solution to $a^x+b^x=1$?

4  Asked on December 18, 2021

### Let $Acup B$ be open, disconnected in $Bbb{R}^2$ where $A,B$ are non-empty, disjoint. Are both $A,B$ open in $Bbb{R}^2$?

2  Asked on December 18, 2021 by mathbs

### How do we apply the dominated convergence theorem to conclude the proposed claim?

2  Asked on December 18, 2021 by user0102

### $G$ acts faithfully on $Omega$, $Aleq G$, $A$ transitive on $Omega$. Then $|C_G(A)|$ is a divisor of $|Omega|$.

1  Asked on December 18, 2021 by stf91

### Kirby and Siebenmann obstruction for $D neq 5$?

0  Asked on December 18, 2021

### CDF approximation – L’Hopital’s rule

2  Asked on December 18, 2021 by mina-kay-nak

### What does the ‘expected value’ E represent in mean integrated squared error (MISE)

0  Asked on December 18, 2021 by metioche