1: \begin{abstract} In the present article, we provide analytic foundation of the

2: following nonlinear elliptic system, called the \emph{Hamiltonian-perturbed contact

3: instanton equation}, 

4: $$

5: (du - X_H \otimes \gamma)^{\pi(0,1)} = 0, \quad

6:  d(e^{g_{H, u}}u^*(\lambda + H \otimes \gamma)\circ j) = 0

7: $$

8: associated to a contact triad $(M,\lambda,J)$ and

9: contact Hamiltonian $H$ and its boundary value problem under the Legendrian boundary condition. 

10: (1) We identify the correct choice of the action functional

11: for perturbed contact Hamiltonian trajectories which provides a gradient structure

12: for the system and derive its first variation formula.

13: (2) We identify the correct choice of the energy for the bubbling analysis for the finite energy solutions 

14: for the equation.

15: (3) We  develop elliptic regularity theory for the solution, called \emph{perturbed contact

16: instantons}: We first establish a global $W^{2,2}$ bound by the Hamiltonian calculus

17: and the harmonic theory of the vector-valued one form  $d_Hu : = du - X_H(u)\otimes \gamma$

18: and its relevant Weitzenb\"ock formulae utilizing the contact triad connection

19: of the contact triad $(M,\lambda, J)$. Then we establish $C^{k,\alpha}$-estimates

20: by an alternating boot-strap argument between the $\pi$-component of $d_Hu$ and the

21: Reeb-component of $d_Hu$. Along the way, we also establish the boundary regularity theorem of

22: $W^{1,4}$-weak solutions of perturbed contact

23: instanton equation under the weak Legendrian boundary condition.

24: (4) Based on this regularity theory, we prove an

25: asymptotic $C^\infty$ convergence result at a puncture under the hypothesis of finite energy.

26:  \end{abstract}

27: