M. Armstrong and D. E. Sappington, Recent developments in the theory of regulation. Handbook of industrial organization, vol.3, p.15571700, 2007.

M. Bagnoli and T. Bergstrom, Log-concave probability and its applications, Economic theory, vol.26, issue.2, p.445469, 2005.
DOI : 10.1007/3-540-29578-x_11

URL : https://cloudfront.escholarship.org/dist/prd/content/qt0xt8k6sd/qt0xt8k6sd.pdf?t=lnp45q

C. Baumeister and L. Kilian, Forty years of oil price uctuations: Why the price of oil may still surprise us, Journal of Economic Perspectives, vol.30, issue.1, p.13960, 2016.

C. Baumeister and L. Kilian, Understanding the decline in the price of oil since, Journal of the Association of Environmental and Resource Economists, vol.3, issue.1, p.131158, 2014.

F. Castonguay and P. Lasserre, Resource agency relationship with privately known exploration and extraction costs, 2016.

F. H. Clarke, Siam. Management of a Non-Renewable Resource Under Price Breaks 21, vol.5, 1990.

, US Energy Information Administration, Oce of Integrated and International Energy Analysis, EIA, 2015.

G. Gaudet, P. Lasserre, and N. Van-long, Optimal resource royalties with unknown and temporally independent extraction cost structures, International Economic Review, p.715749, 1995.

N. M. Hung, J. Poudou, T. , and L. , Optimal resource extraction contract with adverse selection, Resources Policy, vol.31, issue.2, p.7885, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448793

P. Joskow, The shale gas revolution: introduction, Economics of Energy & Environmental Policy, vol.4, issue.1, 2015.

A. Krupnick, N. Richardson, and M. Gottlieb, Heterogeneity of state shale gas regulations, Economics of Energy & Environmental Policy, vol.4, issue.1, 2015.

J. Laont and D. Martimort, The theory of incentives: the principal-agent model, 2009.

J. Laont and J. Tirole, A theory of incentives in procurement and regulation, 1993.

D. Martimort, J. Pouyet, and F. Ricci, Extracting information or resource? The Hotelling rule revisited under asymmetric information, The RAND Journal of Economics, issue.2, p.49, 2018.
URL : https://hal.archives-ouvertes.fr/halshs-01802870

R. B. Myerson, Optimal coordination mechanisms in generalized principal-agent problems, Journal of Mathematical Economics, vol.10, issue.1, p.6781, 1982.

P. Osmundsen, Dynamic Taxation of Non-renewable Natural Resources Under Asymmetric Information About Reserves, Canadian Journal of Economics, vol.31, issue.4, pp.933-951, 1998.

P. Osmundsen, Time Consistency in Petroleum Taxation. The Taxation of Petroleum and Minerals: Principles, Problems, and Practice, 2014.

R. S. Pindyck, The Optimal Exploration and Production of Nonrenewable Resources, Journal of Political Economy, vol.86, issue.5, p.841861, 1978.

R. S. Pindyck, On monopoly power in extractive resource markets, Journal of Environmental Economics and Management, vol.14, issue.2, p.128142, 1987.

J. Poudou and L. Thomas, Concession minière et asymétrie d'information. Économie et Prévision, vol.143, p.129138, 2000.

A. Seierstad and K. Sydsaeter, Optimal control theory with economic applications, 1986.

R. M. Solow and F. Y. Wan, Extraction Costs in the Theory of Exhaustible Resources, Bell Journal of Economics, vol.7, issue.2, p.359370, 1976.

D. Martimort, J. Pouyet, and &. Ricci,

J. E. Swierzbinski and R. Mendelsohn, Exploration and Exhaustible Resources: The Microfoundations of Aggregate Models, International Economic Review, vol.30, issue.1, p.175186, 1989.

D. Martimort, J. Pouyet, and &. Ricci, If convergence towards that point occurs in nite time T sb (?) < +?, we demonstrate that output is necessarily null along the whole trajectory. Indeed, by CauchyLipschitz Theorem, there is a unique solution to the system now made of (A.9) and (A.10) with the initial condition (S sb (?, T sb (?)), q sb (?, T sb (?))) = ( ? S(?), 0) and this is

, S(?), 0) itself. But this contradicts the initial condition S sb (?, 0) = ? > ? if ? > ? S(?). Hence, the system cannot converge in nite time towards ( ? S(?), 0) and q sb (?, t) remains positive. Finally, gathering everything the system (A.9

, Suppose instead that ? ? ? S(?), or equivalently (because?Cbecause? because?C(?, S) is decreasing in S) ? C(?, ?) ? ? C(?, ? S(?)) = P (0)