Local asymptotics for the area of random walk excursions

We prove a local limit theorem for the area of the positive excursion of random walks with zero mean and finite variance. Our main result complements previous work of Caravenna and Chaumont; Sohier, as well as Kim and Pittel.