I have been trying to reconstruct some elliptic curves theory computationally and have gotten stuck on some period computations.

Specifically, let $$E_\lambda:\ y^2=x(x-1)(x-\lambda)$$ be the Legendre family of elliptic curves. The period integrals, (chosen to be) defined as $$\Omega=\Omega_\gamma(\lambda):=\int_\gamma \frac{dx}{\sqrt{x(x-1)(x-\lambda)}},$$
satisfy a second order differential equation, known as the Picard-Fuchs equation:
$$
4\lambda(1-\lambda)\frac{d^2\Omega}{d\lambda^2}+4(1-2\lambda)\frac{d\Omega}{d\lambda}-\Omega=0.
$$

> **Question.** Is there a basis, $\{\Omega_1(\lambda), \Omega_2(\lambda)\}$, of solutions around 0 for the Picard-Fuchs equation such that
$$
E_\lambda(\mathbb{C})\cong \mathbb{C}/(\mathbb{Z}+\frac{\Omega_2(\lambda)}{\Omega_1(\lambda)}\mathbb{Z})
$$ for non-zero $\lambda$ (close to 0)?

<hr/>
Classic theory says that there is a unique holomorphic solution satisfying $\Omega(0)=1$, which is well known to be the hypergeometric function
$$\Omega_1(\lambda)={}_2F_1(1/2, 1/2; 1; \lambda)=\sum_{n\ge0}\binom{-1/2}{n}^2\lambda^n.$$

Classic theory then tells us that there is a unique holomorphic function satisfying $\rho(0)=0$ and such that
$$\Omega_2(\lambda)=C\left(\Omega_1(\lambda)\log{\lambda} + \rho(\lambda)\right)$$
is also a solution of the Picard-Fuchs equation, for all non-zero constants $C$, and that $\Omega_1, \Omega_2$ form a basis of solutions of the equation ($\Omega_2$ is a multi-valued map because of the appearance of $\log$). This $\rho$ is $F_1(1/2,1/2;\lambda)$, and is sometimes referred to as Fricke's hypergeometric function.

I have tried using these two solutions, $\Omega_1$ and $\Omega_2$, for different values of $C$, but I couldn't get the isomorphism in the question to be true. The most attractive value for $C$ is $\frac{1}{2\pi i}$, since then
$$
\mathbb{Z}+\frac{\Omega_2(\lambda)}{\Omega_1(\lambda)}\mathbb{Z}
= \mathbb{Z}+\frac{1}{2\pi i}\left(\log{\lambda}+\frac{\rho(\lambda)}{\Omega_1(\lambda)}\right)
$$
and we can take a single value for the $\log$ term.

But for $\lambda=1/2$, we have:
$$\frac{1}{2\pi i}\left(\log{\lambda}+\frac{\rho(\lambda)}{\Omega_1(\lambda)}\right)
=0.058728i$$
which corresponds to $17.027i$ in the fundamental domain for $SL_2(\mathbb{Z})$, which doesn't sit well with the fact that
$$E_{1/2}\cong\mathbb{C}/(\mathbb{Z}+i\mathbb{Z}).$$

----

**[EDIT]**

I've given this another push and managed to find a basis that answers the question positively. But I don't get why it has to be *this* basis. Any comment on that would be much appreciated.

Set $C=1$ in the above explicit $\Omega_2$. Then set
$$
\Omega'_1 := \pi\Omega_1\\
\Omega'_2 := (-4i\log{2})\Omega_1 - i\Omega_2.
$$
Then we have $E_\lambda(\mathbb{C})\cong \mathbb{C}/(\mathbb{Z}+\frac{\Omega'_2(\lambda)}{\Omega'_1(\lambda)}\mathbb{Z}).$

In fact, these $\Omega'$ are:
$$
\Omega'_1(\lambda)=\int_\lambda^1 \frac{dx}{\sqrt{x(x-1)(x-\lambda)}}\\
\Omega'_2(\lambda)=\int_1^\infty \frac{dx}{\sqrt{x(x-1)(x-\lambda)}}.
$$

Other than seeing these two periods in a paper and trying them out, how does one get to them?