1: \begin{abstract}

2: An implicit Euler finite-volume scheme for a degenerate cross-diffusion system 

3: describing the ion transport through biological membranes is analyzed. 

4: The strongly coupled equations for the ion concentrations include drift terms

5: involving the electric potential, which is coupled to the concentrations through

6: the Poisson equation. The cross-diffusion system possesses a

7: formal gradient-flow structure revealing nonstandard degeneracies,

8: which lead to considerable mathematical difficulties.

9: The finite-volume scheme is based on two-point flux

10: approximations with ``double'' upwind mobilities. It preserves the structure of

11: the continuous model like nonnegativity, upper bounds, and entropy dissipation. 

12: The degeneracy is overcome by proving a new discrete Aubin-Lions lemma 

13: of ``degenerate'' type.

14: Under suitable assumptions, the existence and uniqueness of bounded discrete solutions,

15: a discrete entropy inequality, and the convergence of the scheme

16: is proved. Numerical simulations of a calcium-selective ion channel 

17: in two space dimensions indicate that the numerical scheme is of first order.

18: \end{abstract}

19: