How to find the area of a region bounded by a simple closed curve?

The $xy$-integration is still easier than the polar coordinates for this problem.

Due to $y$-symmetry, the integration is between the two intersection points with the $x$-axis, which can be obtained by setting $y = 0$ in the curve equation (for $a=1$, $b=0$) $$ \frac{p}{(1-x)^2}+\frac{1-p}{x^2}=1 $$ or $$ x^4-2x^3+2(1-p)x-(1-p)=0 $$ Unfortunately, for general value of $p$, it has to be solved numerically. In your example of $p=0.2$, it has two real roots as expected. Let $x_1$ and $x_2$ be the two roots to be used as the integration bounds below.

The curve itself can be expressed as below by rearranging the original equation, $$ y(x)= \left[ -x(x-1)+\sqrt{x^2+(1-p)(1-2x)} \right]^{1/2} $$ The area can then be integrated with, $$ A = 2\int_{x_1}^{x_2}y(x)dx$$

It could not be done analytically, though. But, it is straightforward numerically. For the special case of $p=1$, the area integral reduces significantly and can be carried out by hand,

$$A_{p=1}=2\int_0^2 \sqrt{x(2-x)}=\pi$$ which is expected for a unit circle.


By clearing denominators, we see that our curve is a quartic $p(x, y) = 0$. For generic values of $p, a, b$, it is elliptic and so does not admit a rational parameterization. Probably the areas can be computed in terms of elliptic functions.

In the special case $p = \frac{1}{2}$, the curve is symmetric not only about the $x$-axis but also the line $x = \frac{1}{2}(a + b)$, and by translating our coordinate system we may as well assume $b = -a$, $a > 0$. The curve then can be written in the simple form $$x^4 + 2 x^2 y^2 + y^4 - (2 a^2 + 1) x^2 + (2 a^2 - 1) y^2 + a^2 (a^2 - 1) = 0 .$$ This is a biquadratic in, say, $y$, so we can solve for $y$ in terms of $x$ using two square root extractions: $$y = \pm F(x), \qquad F(x) := \frac{1}{2} \sqrt{2 - 4 (a^2 + x^2) + 2 \sqrt{16 a^2 x^2 + 1}} ,$$ and using the fourfold symmetry of the curve we find that the area it encloses is $$4 \int_{x_0}^{x_1} F(x) \,dx .$$ If $b > 1$ then $F$ has two positive roots, and we set $x_0$ to be the smaller root and $x_1$ the larger. If $0 \leq b \leq 1$ then $F$ has one positive root, and we take $x_1$ to be that root and take $x_0 = 0$.

Substituting $x = \frac{t}{2 a (1 - t^2)}$ gives an integrand without a nested radical: $$\int_{t_0}^{t_1} \frac{(t^2 + 1) \sqrt{-4 a^4 t^4 + (8 a^4 - 4 a^2 - 1) t^2 + 4 a^2 (1 - a^2)} \, dt}{(1 - t^2)^3} .$$ (NB if $x_0 = 0$ then $t_0 = 0$.) Generically the occurrence of the square root of quartic polynomial in an algebraic expression means that, at best, explicitly writing its antiderivative generically requires the use of elliptic functions, and trying a few parameter values for $a$ confirms this.

If the quartic has a multiple root, however, we can pull an even number of factors out of the radical, leaving at worst the square root of quadratic polynomial, and such integrals can often be evaluated using elementary techniques. The discriminant of the quartic is a constant multiple of $(8 a^2 + 1)^2 a^6 (a^2 - 1)$, so the only positive value of $a$ for which it has a multiple root is $a = 1$. For this parameter value the curve has genus $0$ and has a self-intersection at the origin, and the integral simplifies to $$\int_0^{\sqrt{3} / 2} \frac{(t^2 + 1) t \sqrt{3 - 4 t^2} \,dt}{(1 - t^2)^3} = \frac{2}{3} \pi + \sqrt{3} .$$

To illustrate how complicated the explicit expressions can be even for the case $p = \frac{1}{2}, b = -a$ for nonspecial values of $a$, Maple returns for $a = 2$ that the area is $${\frac {\left[6 \sqrt {2} \left( (136 + 8 \sqrt { 3}\sqrt {11} )\,\Pi \left( 1,2\,{\frac { \sqrt {3}\sqrt {11}}{111+\sqrt {3}\sqrt {11}}}, \omega \right) - (135 + 9\,\sqrt {3}\sqrt {11})K \left( \omega \right) +32\,\Pi \left( 1,2\,{\frac {\sqrt {3}\sqrt {11} }{\sqrt {3}\sqrt {11}+15}}, \omega \right) \right) \right] } {\sqrt {111+\sqrt {3}\sqrt {11}} \left( \sqrt {3}\sqrt {11}+15 \right) }},$$ where $K$ is the complete elliptic integral of the first kind, $\Pi$ is the incomplete elliptic integral of the third kind (but NB Maple's convention for these functions is different from Wikipedia's), and $\omega := {\frac {\sqrt {2}\sqrt [4]{3}\sqrt [4]{11}}{\sqrt {111+\sqrt {3}\sqrt {11}}}}$.

Numerically integrating, by the way, we find that the area of the interior of the example curve with parameters $a = 1, b = 0, p = \frac{1}{5}$ is $3.56910\ldots$, not $1$ as intended.