\section{Introduction}

Sidewalks are arguably the most important pedestrian-dedicated public spaces. They are the focal point of cities at the human scale, where the most widely used and environmentally sustainable form of transportation (walking/rolling) takes place~\cite{vale2016active, twardzik2019features}. Sidewalks can significantly impact the everyday life of people, specifically for those relying on such infrastructure as the primary means of accessing public spaces~\cite{qin2018pedestrian, saha2019project, ferreira2007proposal, clarke2008mobility, rosenberg2013outdoor} and public transit~\cite{woldeamanuel2016measuring}. Well-designed sidewalks can also support local businesses and promote economic activities~\cite{kim2012mixed, liu2015sidewalk}. %
Despite their prominent role in various pedestrian-level analysis, the available public data on sidewalks is significantly scarce and limited in time and geographical coverage~\cite{deitz2021squeaky}. Ironically, data collection and monitoring of motorized travel patterns and infrastructure have been practiced since the 1950s~\cite{nordback2016exploring}, and the collected data has been extensively used in transportation planning research, while collecting pedestrian-level data has only recently received some attention~\cite{louch2020availability}.
Furthermore, the existing datasets are collected mainly by resourceful cities, with substantial variation in the extent of data and attributes, and inconsistent methods from place to place. Such problems create significant barriers to conducting comparative studies, or data integration, across administrative borders~\cite{deitz2021free, louch2020availability, HOU2020102772}. Majority of the sidewalk inventories still lack important feature such as width, surface materials, curb ramps, tactile surface indicators, audio signals, etc., which are essential for specific mobility needs~\cite{HOU2020102772}.
This lack of sidewalk data not only affects accessible routing in cities but also impacts how urban planners and policymakers could scrutinize mobility issues and the condition of sidewalks to make informed decisions~\cite{chin2008accessibility}.
Ongoing projects~\cite{saha2019project, opensidewalks, bolten2019accessmap, hosseini2022citysurfaces, mobasheri2018enrichment, olivatto2019drone, vestena2022osm} propose to standardize and improve sidewalk data coverage. Even so, researchers primarily rely on crowdsourced OpenStreetMap (OSM) data, the largest geospatial open-data initiative, with data covering not only streets and roads, but also buildings, points of interest, and other geographic entities\cite{haklay2008openstreetmap}.

Considering OSM's importance in sidewalk studies, our primary goal is to assess the coverage and trustworthiness of OSM sidewalk data. While previous studies~\cite{mobasheri2015completeness, mobasheri2017crowdsourced} have assessed completeness of sidewalks, we propose to also assess the trustworthiness of the data by analyzing its history and provenance. Concretely, we compare the sidewalk coverage of OSM in 54 major cities in the United States and further expand our analysis in three major cities (Seattle, Chicago and New York City) with the spatial trustworthiness of the data. We then highlight possible research directions to mitigate some of the identified problems.

\section{Related Work}
\label{sec:relatedWork}

OSM data has been used in various studies spanning different fields, including routing \cite{luxen2011real, felicio2022handling}, location-based services \cite{ciepluch2009using, das2014location1, das2014location2}, traffic and transportation \cite{zilske2015openstreetmap, rieck2015advanced, narboneta2016opentripplanner, xu2016cross}, energy modeling \cite{alhamwi2017openstreetmap, schiefelbein2019automated}, population estimation \cite{bakillah2014fine, rosina2017using}, 3D city modeling \cite{over2010generating, Doraiswamy:2018:IVE:3183713.3193559, 8283638}, land cover use \cite{fonte2017generating, fonte2019using}, and emergency response management \cite{ eckle2015quality, poiani2016potential}.
Ongoing initiatives to improve sidewalk data, including Accessmap \cite{bolten2019accessmap} and OpenSidewalks \cite{opensidewalks}, also utilize data from OSM.
However, quality of OSM data has always been a major concern for both research and industrial purposes \cite{hecht2013measuring, siebritz2014assessing, husen2018quality, brovelli2018new, basaraner2020geometric, hoong2020assessing, girindran2020reliable, borkowska2022analysis, wu2021comprehensive}.
To tackle this problem, studies have been conducted to evaluate the quality and completeness of OSM data, focusing on different entities, such as roads \cite{jilani2013multi, jilani2014automated, minaei2020evolution}, buildings \cite{brovelli2018new, basaraner2020geometric}, and points of interest \cite{steiniger2016can}.
Properly assessing the quality of OSM data is a challenge, given that traditional approaches rely on the availability of official data (though even such data might have problems, including slow update rate). Alternative approaches then analyze the \emph{evolution} of the data itself, assessing how the number of users editing, confirmations from different users, number of versions and rollbacks contribute to the quality of OSM data \cite{mooney2012social, napolitano2012mvp, kessler2011tracking, kessler2013trust, d2014vgi, zhou2016version, fogliaroni2018data, alghanim2021leveraging}.
Considering this, we propose to evaluate the use of trustworthiness as an index for OSM sidewalk data.

\section{Study Area and OpenStreetMap Data}

Between 2001 and 2019, the US built-up land - buildings, roads, and other infrastructures - increased by more than 14,000 square miles of new developments \cite{urbanGrowth}. Today, more than 80\% of the US population (around 309 million people) lives in urban areas \cite{citiesUS}. Subsequently, there has been a growth in the availability of OSM data across the US, capturing its complex and diverse built environment.
Our study first analyzes the availability of OSM sidewalk data~(Sec.~\ref{sec:availability}), followed by an analysis on the trustworthiness of the data~(Sec.~\ref{sec:trust}). First, we begin with an overview of the structure of the OSM data and how we use it.

The OSM data model is built upon three basic elements: \emph{nodes} (points in space), \emph{ways} (linear features and boundaries), and \emph{relations} (multi-purpose entities that define relationship between two or more elements -- nodes, ways, and/or other relations).
OSM elements have \textit{tags} attached to them that describe different physical features on the ground (e.g., roads, buildings).
For example, \emph{ways} that have the \emph{highway} tag are used to define highways, roads, streets, or paths. In this paper, highway and road are used interchangeably.
In our analyses, we focus on sidewalks and roads with sidewalk info. In OSM, these features can appear as:

\begin{enumerate}[nosep, leftmargin=*]

    \item Sidewalk as a refinement to a highway: The sidewalk is a property of an existing road. Elements with
    \fcolorbox{white}{foo}{\visLabel{highway=*}}+\fcolorbox{white}{foo}{\visLabel{sidewalk=[both,right,left,yes]}}.
    Here, we excluded OSM road types that cannot have sidewalks along them (i.e., \visLabel{footway, escape, raceway, busway, bridleway, path, cycleway, construction, corridor}).
    \item Sidewalk as a separate \emph{way}: The sidewalk is described as its own separate geometry. Elements with \fcolorbox{white}{foo}{\visLabel{highway=footway}}+\fcolorbox{white}{foo}{\visLabel{footway=sidewalk}}.
\end{enumerate}

In this paper, we make a distinction between the two types, given that sidewalk geometries offer a more spatially accurate representation of the pedestrian environment~\cite{sidewalk-sdss}.
Figure~\ref{fig:sidewalk_coverage} presents the coverage of sidewalk data in OSM for 54 cities, considering both sidewalks as a refinement to a highway and sidewalks as separate ways (i.e., distinct geometry).
Even though there has been a growth in the availability of OSM sidewalk data over the years (Figure \ref{fig:growth}), there is still a lack of data regarding this pedestrian infrastructure.

\begin{figure*}[t]
  \centering
  \includegraphics[width=\linewidth]{figs/Fig3.pdf}
 \caption{Coverage of \textit{sidewalks} and \textit{roads with sidewalk info} in Chicago, Seattle, and New York City (from left to right). Seattle OSM has comparably higher percentage of sidewalk geometries and roads with sidewalk information mapped than the other two cities. Also, Neighborhoods like \textit{Chicago Loop}, \textit{Downtown Seattle}, and Manhattan's~\textit{Lower East Side} have good sidewalk coverage. On the other hand \textit{Uptown}, \textit{View Ridge}, and \textit{Canarsie} neighborhoods only have a handful of mapped sidewalk geometries.}
  \label{fig:city_visual}
  \vspace{-0.5cm}
\end{figure*}

\section{Coverage of OSM Sidewalk Data}
\label{sec:availability}

In our work, we measure the object and attribute coverage of OSM sidewalk data. For the object-level analysis, we evaluated the spatial coverage of the following sidewalk categories: roads without sidewalk information, roads with sidewalk information, footway and sidewalk geometry.
Figure~\ref{fig:city_visual} shows the coverage of each category in Chicago, Seattle and New York City.
We can notice how Seattle's data surpasses the other two cities in terms of roads with sidewalk info (19.56\%), and sidewalk to road ratio (0.4).
Table \ref{table:stat} illustrates the statistics of OSM sidewalk data for all three cities, with Chicago and NYC both having a very low percentage of roads with sidewalk information (respectively 0.55\% and 3.50\%).
Also noteworthy is that there are several regions in these cities with almost no sidewalk data (e.g., Uptown, View Ridge, and Canarsie).

\begin{table*}[t!]
\centering
\caption{Coverage of OSM sidewalk data for selected cities.}
\vspace{-0.25cm}
\begin{tabular}{|l|c|c|c|c|c|}
City & \# of roads & \begin{tabular}[c]{@{}c@{}}\# of sidewalk\\ geometries\end{tabular} & \begin{tabular}[c]{@{}c@{}}\# of roads\\ with sidewalk info\end{tabular}  & \begin{tabular}[c]{@{}c@{}}Percentage of roads\\ with sidewalk info (\%)\end{tabular} & Sidewalk to road ratio\\
\hline
Chicago & 134,598 & 17,492 & 746 & 0.55 & 0.12\\
Seattle & 44,013 & 17,487 & 8,610 & 19.56 & 0.40\\
New York City     & 180,255 & 49,736 & 6,311 & 3.50 & 0.28\\
\end{tabular}
\label{table:stat}
\vspace{-0.5cm}
\end{table*}

For the attribute-level analysis, we assessed the number of additional attributes available in OSM sidewalk geometries (e.g., surface material, width, wheelchair accessibility). These features are of great importance in routing and navigation for people with mobility or vision impairments. Figure~\ref{fig:sidewalk_tag_availibility} shows the availability of different features in the chosen cities. The most commonly present feature in all three cities (surface material) varied between 40.5\% in Seattle, 27\% in NYC, and less than 10\% in Chicago. Some of the attributes (such as kerb, smoothness, and width) were almost non-existent in all three cities

\section{Trustworthiness of OSM Sidewalk Data}
\label{sec:trust}

An important challenge in assessing the quality of OSM data is the lack of official data. Previous studies have then proposed to analyze the evolution of the data itself (history and provenance)~\cite{d2014vgi,fogliaroni2018data, alghanim2021leveraging}, evaluating edit history \cite{mooney2012social}, number of editors \cite{napolitano2012mvp}, number of rollbacks and direct confirmations from different users \cite{kessler2011tracking}.
In our work, we make use of Alghanim et al.'s approach \cite{alghanim2021leveraging} to compute a trustworthiness index of OSM sidewalk data, based on direct, indirect and temporal components. Following their approach, trustworthiness is defined as follows:

\vspace{-0.5cm}
\begin{equation*}
T(f_i) = w_{d} * T_{dir}(f_i) + w_{i} * T_{ind}(f_i) + w_{time} * T_{time}(f_i)
\label{eq-1}
\end{equation*}

\noindent where $T_{dir}(f_i)$, $T_{ind}(f_i)$ and $T_{time}(f_i)$ are the direct, indirect and temporal indicators of the $i-th$ version of feature $f$, and $w_{dir}$, $w_{ind}$, and $w_{time}$ are weights balancing the components (0.5, 0.25, 0.25, respectively).
A direct indicator depends on the feature version historical information.
An indirect indicator models contributions that do not directly depend on the current feature version, but its neighboring spatial features.
A temporal indicator models the impact of time on a feature trustworthiness, i.e., the longer a feature persists, the higher the chances it actually matches the real feature.
For a more detailed discussion, we refer the reader to Alghanim et al.~\cite{alghanim2021leveraging}.
Figure~\ref{fig:trustworthiness} shows the trustworthiness index distribution for both \emph{roads with sidewalk information} and \emph{sidewalk geometries}, and Tables~\ref{table:dist1} and \ref{table:dist2} highlight the percentage with \emph{high} trustworthiness. Given these preliminary results, not only sidewalk coverage might be an issue, but also the trustworthiness of this data.

\begin{figure}[h]
  \centering
  \includegraphics[width=\linewidth]{figs/Fig5.pdf}
  \vspace{-0.5cm}
  \caption{Distribution of trustworthiness index of \textit{roads with sidewalk information} and \textit{sidewalk geometries} in the selected cities.}
  \label{fig:trustworthiness}
  \vspace{-0.75cm}
\end{figure}

\begin{table}[h]
\centering
\caption{Trustworthiness index of \textit{roads with sidewalk info}.}
\vspace{-0.25cm}
\begin{tabular}{c|c|c}
City              & T-index $<$ 0.5 (\%)    & T-index $\geq$ 0.5 (\%)     \\ \hline
Chicago           & 75.64             & 24.36                  \\ \hline
Seattle           & 72.31             & 27.69                \\ \hline
NYC               & 75.27             & 24.73                    \\
\end{tabular}
\label{table:dist1}
\vspace{-0.5cm}
\end{table}

\begin{table}[h]
\centering
\caption{Trustworthiness index of \textit{sidewalk geometries}.}
\vspace{-0.25cm}
\begin{tabular}{c|c|c}
City              & T-index $<$ 0.5 (\%)    & T-index $\geq$ 0.5 (\%)     \\ \hline
Chicago           & 90.23            & 9.77                  \\ \hline
Seattle           & 78.09            & 21.91                \\ \hline
NYC               & 83.0             & 17.0                    \\
\end{tabular}
\label{table:dist2}
\end{table}

\section{Discussion and Future Work}

In this study, we take steps towards understanding the quality OSM sidewalk data and evaluating both its coverage and trustworthiness, going beyond previous studies that only focused on coverage. The significance of sidewalks to everyday life of urban dwellers coupled with the lack of publicly available datasets describing their locations and attributes, underscore the importance of standardized datasets such as OSM, specifically in the absence of authoritative data. Although preliminary, our goal is to shed light on the availability of OSM sidewalk data, as well providing a method to analyze whether and to what extent the available OSM sidewalk data can be trusted.
For example, our results show that even among the major and often resourceful cities in the US, there is a significant lack of OSM sidewalk data (Figure~\ref{fig:sidewalk_coverage}). Among the 54 cities analyzed, only 11\% have more than 10\% of their roads tagged with sidewalk information, and 80\% of cities fall below 5\%. In Orlando, ranked first, only 37\% of the roads have any sidewalk-related tags.

Regarding attributes in the three selected cities, surface material has the highest availability,  with 40.4\% of Seattle's sidewalks, 26.9\% of NYC's sidewalks, and 6.6\% of Chicago's sidewalks having this information.
The remaining attributes were found in insignificant quantities or were absent in the select cities. This analysis further illustrates the inadequacy of the existing data in supporting comprehensive analysis of sidewalks~\cite{hosseini2022towards}.
In future work, we plan to further evaluate the measures adopted in this study, using authoritative data to validate the trustworthiness and correctness of the data. We will also investigate new techniques to extract important sidewalk attributes.

\section{Introduction}
\label{sec:intro}

Please follow the steps outlined below when submitting your manuscript to the IEEE Computer Society Press.
This style guide now has several important modifications (for example, you are no longer warned against the use of sticky tape to attach your artwork to the paper), so all authors should read this new version.

\subsection{Language}

All manuscripts must be in English.

\subsection{Dual submission}

Please refer to the author guidelines on the CVPR\ 2022\ web page for a
discussion of the policy on dual submissions.

\subsection{Paper length}
Papers, excluding the references section, must be no longer than eight pages in length.
The references section will not be included in the page count, and there is no limit on the length of the references section.
For example, a paper of eight pages with two pages of references would have a total length of 10 pages.
{\bf There will be no extra page charges for CVPR\ 2022.}

Overlength papers will simply not be reviewed.
This includes papers where the margins and formatting are deemed to have been significantly altered from those laid down by this style guide.
Note that this \LaTeX\ guide already sets figure captions and references in a smaller font.
The reason such papers will not be reviewed is that there is no provision for supervised revisions of manuscripts.
The reviewing process cannot determine the suitability of the paper for presentation in eight pages if it is reviewed in eleven.

\subsection{The ruler}
The \LaTeX\ style defines a printed ruler which should be present in the version submitted for review.
The ruler is provided in order that reviewers may comment on particular lines in the paper without circumlocution.
If you are preparing a document using a non-\LaTeX\ document preparation system, please arrange for an equivalent ruler to appear on the final output pages.
The presence or absence of the ruler should not change the appearance of any other content on the page.
The camera-ready copy should not contain a ruler.
(\LaTeX\ users may use options of cvpr.sty to switch between different versions.)

Reviewers:
note that the ruler measurements do not align well with lines in the paper --- this turns out to be very difficult to do well when the paper contains many figures and equations, and, when done, looks ugly.
Just use fractional references (\eg, this line is $087.5$), although in most cases one would expect that the approximate location will be adequate.

\subsection{Paper ID}
Make sure that the Paper ID from the submission system is visible in the version submitted for review (replacing the ``*****'' you see in this document).
If you are using the \LaTeX\ template, \textbf{make sure to update paper ID in the appropriate place in the tex file}.

\subsection{Mathematics}

Please number all of your sections and displayed equations as in these examples:
\begin{equation}
  E = m\cdot c^2
  \label{eq:important}
\end{equation}
and
\begin{equation}
  v = a\cdot t.
  \label{eq:also-important}
\end{equation}
It is important for readers to be able to refer to any particular equation.
Just because you did not refer to it in the text does not mean some future reader might not need to refer to it.
It is cumbersome to have to use circumlocutions like ``the equation second from the top of page 3 column 1''.
(Note that the ruler will not be present in the final copy, so is not an alternative to equation numbers).
All authors will benefit from reading Mermin's description of how to write mathematics:
\url{http://www.pamitc.org/documents/mermin.pdf}.

\subsection{Blind review}

Many authors misunderstand the concept of anonymizing for blind review.
Blind review does not mean that one must remove citations to one's own work---in fact it is often impossible to review a paper unless the previous citations are known and available.

Blind review means that you do not use the words ``my'' or ``our'' when citing previous work.
That is all.
(But see below for tech reports.)

Saying ``this builds on the work of Lucy Smith [1]'' does not say that you are Lucy Smith;
it says that you are building on her work.
If you are Smith and Jones, do not say ``as we show in [7]'', say ``as Smith and Jones show in [7]'' and at the end of the paper, include reference 7 as you would any other cited work.

An example of a bad paper just asking to be rejected:
\begin{quote}
\begin{center}
    An analysis of the frobnicatable foo filter.
\end{center}

   In this paper we present a performance analysis of our previous paper [1], and show it to be inferior to all previously known methods.
   Why the previous paper was accepted without this analysis is beyond me.

   [1] Removed for blind review
\end{quote}

An example of an acceptable paper:
\begin{quote}
\begin{center}
     An analysis of the frobnicatable foo filter.
\end{center}

   In this paper we present a performance analysis of the  paper of Smith \etal [1], and show it to be inferior to all previously known methods.
   Why the previous paper was accepted without this analysis is beyond me.

   [1] Smith, L and Jones, C. ``The frobnicatable foo filter, a fundamental contribution to human knowledge''. Nature 381(12), 1-213.
\end{quote}

If you are making a submission to another conference at the same time, which covers similar or overlapping material, you may need to refer to that submission in order to explain the differences, just as you would if you had previously published related work.
In such cases, include the anonymized parallel submission~\cite{Authors14} as supplemental material and cite it as
\begin{quote}
[1] Authors. ``The frobnicatable foo filter'', F\&G 2014 Submission ID 324, Supplied as supplemental material {\tt fg324.pdf}.
\end{quote}

Finally, you may feel you need to tell the reader that more details can be found elsewhere, and refer them to a technical report.
For conference submissions, the paper must stand on its own, and not {\em require} the reviewer to go to a tech report for further details.
Thus, you may say in the body of the paper ``further details may be found in~\cite{Authors14b}''.
Then submit the tech report as supplemental material.
Again, you may not assume the reviewers will read this material.

Sometimes your paper is about a problem which you tested using a tool that is widely known to be restricted to a single institution.
For example, let's say it's 1969, you have solved a key problem on the Apollo lander, and you believe that the CVPR70 audience would like to hear about your
solution.
The work is a development of your celebrated 1968 paper entitled ``Zero-g frobnication: How being the only people in the world with access to the Apollo lander source code makes us a wow at parties'', by Zeus \etal.

You can handle this paper like any other.
Do not write ``We show how to improve our previous work [Anonymous, 1968].
This time we tested the algorithm on a lunar lander [name of lander removed for blind review]''.
That would be silly, and would immediately identify the authors.
Instead write the following:
\begin{quotation}
\noindent
   We describe a system for zero-g frobnication.
   This system is new because it handles the following cases:
   A, B.  Previous systems [Zeus et al. 1968] did not  handle case B properly.
   Ours handles it by including a foo term in the bar integral.

   ...

   The proposed system was integrated with the Apollo lunar lander, and went all the way to the moon, don't you know.
   It displayed the following behaviours, which show how well we solved cases A and B: ...
\end{quotation}
As you can see, the above text follows standard scientific convention, reads better than the first version, and does not explicitly name you as the authors.
A reviewer might think it likely that the new paper was written by Zeus \etal, but cannot make any decision based on that guess.
He or she would have to be sure that no other authors could have been contracted to solve problem B.
\medskip

\noindent
FAQ\medskip\\
{\bf Q:} Are acknowledgements OK?\\
{\bf A:} No.  Leave them for the final copy.\medskip\\
{\bf Q:} How do I cite my results reported in open challenges?
{\bf A:} To conform with the double-blind review policy, you can report results of other challenge participants together with your results in your paper.
For your results, however, you should not identify yourself and should not mention your participation in the challenge.
Instead present your results referring to the method proposed in your paper and draw conclusions based on the experimental comparison to other results.\medskip\\

\begin{figure}[t]
  \centering
  \fbox{\rule{0pt}{2in} \rule{0.9\linewidth}{0pt}}

   \caption{Example of caption.
   It is set in Roman so that mathematics (always set in Roman: $B \sin A = A \sin B$) may be included without an ugly clash.}
   \label{fig:onecol}
\end{figure}

\subsection{Miscellaneous}

\noindent
Compare the following:\\
\begin{tabular}{ll}
 \verb'$conf_a$' &  $conf_a$ \\
 \verb'$\mathit{conf}_a$' & $\mathit{conf}_a$
\end{tabular}\\
See The \TeX book, p165.

The space after \eg, meaning ``for example'', should not be a sentence-ending space.
So \eg is correct, {\em e.g.} is not.
The provided \verb'\eg' macro takes care of this.

When citing a multi-author paper, you may save space by using ``et alia'', shortened to ``\etal'' (not ``{\em et.\ al.}'' as ``{\em et}'' is a complete word).
If you use the \verb'\etal' macro provided, then you need not worry about double periods when used at the end of a sentence as in Alpher \etal.
However, use it only when there are three or more authors.
Thus, the following is correct:
   ``Frobnication has been trendy lately.
   It was introduced by Alpher~\cite{Alpher02}, and subsequently developed by
   Alpher and Fotheringham-Smythe~\cite{Alpher03}, and Alpher \etal~\cite{Alpher04}.''

This is incorrect: ``... subsequently developed by Alpher \etal~\cite{Alpher03} ...'' because reference~\cite{Alpher03} has just two authors.

\begin{figure*}
  \centering
  \begin{subfigure}{0.68\linewidth}
    \fbox{\rule{0pt}{2in} \rule{.9\linewidth}{0pt}}
    \caption{An example of a subfigure.}
    \label{fig:short-a}
  \end{subfigure}
  \hfill
  \begin{subfigure}{0.28\linewidth}
    \fbox{\rule{0pt}{2in} \rule{.9\linewidth}{0pt}}
    \caption{Another example of a subfigure.}
    \label{fig:short-b}
  \end{subfigure}
  \caption{Example of a short caption, which should be centered.}
  \label{fig:short}
\end{figure*}

\section{Formatting your paper}
\label{sec:formatting}

All text must be in a two-column format.
The total allowable size of the text area is $6\frac78$ inches (17.46 cm) wide by $8\frac78$ inches (22.54 cm) high.
Columns are to be $3\frac14$ inches (8.25 cm) wide, with a $\frac{5}{16}$ inch (0.8 cm) space between them.
The main title (on the first page) should begin 1 inch (2.54 cm) from the top edge of the page.
The second and following pages should begin 1 inch (2.54 cm) from the top edge.
On all pages, the bottom margin should be $1\frac{1}{8}$ inches (2.86 cm) from the bottom edge of the page for $8.5 \times 11$-inch paper;
for A4 paper, approximately $1\frac{5}{8}$ inches (4.13 cm) from the bottom edge of the
page.

\subsection{Margins and page numbering}

All printed material, including text, illustrations, and charts, must be kept
within a print area $6\frac{7}{8}$ inches (17.46 cm) wide by $8\frac{7}{8}$ inches (22.54 cm)
high.
Page numbers should be in the footer, centered and $\frac{3}{4}$ inches from the bottom of the page.
The review version should have page numbers, yet the final version submitted as camera ready should not show any page numbers.
The \LaTeX\ template takes care of this when used properly.

\subsection{Type style and fonts}

Wherever Times is specified, Times Roman may also be used.
If neither is available on your word processor, please use the font closest in
appearance to Times to which you have access.

MAIN TITLE.
Center the title $1\frac{3}{8}$ inches (3.49 cm) from the top edge of the first page.
The title should be in Times 14-point, boldface type.
Capitalize the first letter of nouns, pronouns, verbs, adjectives, and adverbs;
do not capitalize articles, coordinate conjunctions, or prepositions (unless the title begins with such a word).
Leave two blank lines after the title.

AUTHOR NAME(s) and AFFILIATION(s) are to be centered beneath the title
and printed in Times 12-point, non-boldface type.
This information is to be followed by two blank lines.

The ABSTRACT and MAIN TEXT are to be in a two-column format.

MAIN TEXT.
Type main text in 10-point Times, single-spaced.
Do NOT use double-spacing.
All paragraphs should be indented 1 pica (approx.~$\frac{1}{6}$ inch or 0.422 cm).
Make sure your text is fully justified---that is, flush left and flush right.
Please do not place any additional blank lines between paragraphs.

Figure and table captions should be 9-point Roman type as in \cref{fig:onecol,fig:short}.
Short captions should be centred.

\noindent Callouts should be 9-point Helvetica, non-boldface type.
Initially capitalize only the first word of section titles and first-, second-, and third-order headings.

FIRST-ORDER HEADINGS.
(For example, {\large \bf 1. Introduction}) should be Times 12-point boldface, initially capitalized, flush left, with one blank line before, and one blank line after.

SECOND-ORDER HEADINGS.
(For example, { \bf 1.1. Database elements}) should be Times 11-point boldface, initially capitalized, flush left, with one blank line before, and one after.
If you require a third-order heading (we discourage it), use 10-point Times, boldface, initially capitalized, flush left, preceded by one blank line, followed by a period and your text on the same line.

\subsection{Footnotes}

Please use footnotes\footnote{This is what a footnote looks like.
It often distracts the reader from the main flow of the argument.} sparingly.
Indeed, try to avoid footnotes altogether and include necessary peripheral observations in the text (within parentheses, if you prefer, as in this sentence).
If you wish to use a footnote, place it at the bottom of the column on the page on which it is referenced.
Use Times 8-point type, single-spaced.

\subsection{Cross-references}

For the benefit of author(s) and readers, please use the
{\small\begin{verbatim}
  \cref{...}
\end{verbatim}}  command for cross-referencing to figures, tables, equations, or sections.
This will automatically insert the appropriate label alongside the cross-reference as in this example:
\begin{quotation}
  To see how our method outperforms previous work, please see \cref{fig:onecol} and \cref{tab:example}.
  It is also possible to refer to multiple targets as once, \eg~to \cref{fig:onecol,fig:short-a}.
  You may also return to \cref{sec:formatting} or look at \cref{eq:also-important}.
\end{quotation}
If you do not wish to abbreviate the label, for example at the beginning of the sentence, you can use the
{\small\begin{verbatim}
  \Cref{...}
\end{verbatim}}
command. Here is an example:
\begin{quotation}
  \Cref{fig:onecol} is also quite important.
\end{quotation}

\subsection{References}

List and number all bibliographical references in 9-point Times, single-spaced, at the end of your paper.
When referenced in the text, enclose the citation number in square brackets, for
example~\cite{Authors14}.
Where appropriate, include page numbers and the name(s) of editors of referenced books.
When you cite multiple papers at once, please make sure that you cite them in numerical order like this \cite{Alpher02,Alpher03,Alpher05,Authors14b,Authors14}.
If you use the template as advised, this will be taken care of automatically.

\begin{table}
  \centering
  \begin{tabular}{@{}lc@{}}
    \toprule
    Method & Frobnability \\
    \midrule
    Theirs & Frumpy \\
    Yours & Frobbly \\
    Ours & Makes one's heart Frob\\
    \bottomrule
  \end{tabular}
  \caption{Results.   Ours is better.}
  \label{tab:example}
\end{table}

\subsection{Illustrations, graphs, and photographs}

All graphics should be centered.
In \LaTeX, avoid using the \texttt{center} environment for this purpose, as this adds potentially unwanted whitespace.
Instead use
{\small\begin{verbatim}
  \centering
\end{verbatim}}
at the beginning of your figure.
Please ensure that any point you wish to make is resolvable in a printed copy of the paper.
Resize fonts in figures to match the font in the body text, and choose line widths that render effectively in print.
Readers (and reviewers), even of an electronic copy, may choose to print your paper in order to read it.
You cannot insist that they do otherwise, and therefore must not assume that they can zoom in to see tiny details on a graphic.

When placing figures in \LaTeX, it's almost always best to use \verb+\includegraphics+, and to specify the figure width as a multiple of the line width as in the example below
{\small\begin{verbatim}
   \usepackage{graphicx} ...
   \includegraphics[width=0.8\linewidth]
                   {myfile.pdf}
\end{verbatim}
}

\subsection{Color}

Please refer to the author guidelines on the CVPR\ 2022\ web page for a discussion of the use of color in your document.

If you use color in your plots, please keep in mind that a significant subset of reviewers and readers may have a color vision deficiency; red-green blindness is the most frequent kind.
Hence avoid relying only on color as the discriminative feature in plots (such as red \vs green lines), but add a second discriminative feature to ease disambiguation.

\section{Final copy}

You must include your signed IEEE copyright release form when you submit your finished paper.
We MUST have this form before your paper can be published in the proceedings.

Please direct any questions to the production editor in charge of these proceedings at the IEEE Computer Society Press:
\url{https://www.computer.org/about/contact}.

{\small
\bibliographystyle{ieee_fullname}

\section{Introduction}

After receiving paper reviews, authors may optionally submit a rebuttal to address the reviewers' comments, which will be limited to a {\bf one page} PDF file.
Please follow the steps and style guidelines outlined below for submitting your author response.

The author rebuttal is optional and, following similar guidelines to previous CVPR conferences, is meant to provide you with an opportunity to rebut factual errors or to supply additional information requested by the reviewers.
It is NOT intended to add new contributions (theorems, algorithms, experiments) that were absent in the original submission and NOT specifically requested by the reviewers.
You may optionally add a figure, graph, or proof to your rebuttal to better illustrate your answer to the reviewers' comments.

Per a passed 2018 PAMI-TC motion, reviewers should refrain from requesting significant additional experiments for the rebuttal or penalize for lack of additional experiments.
Authors should refrain from including new experimental results in the rebuttal, especially when not specifically requested to do so by the reviewers.
Authors may include figures with illustrations or comparison tables of results reported in the submission/supplemental material or in other papers.

Just like the original submission, the rebuttal must maintain anonymity and cannot include external links that reveal the author identity or circumvent the length restriction.
The rebuttal must comply with this template (the use of sections is not required, though it is recommended to structure the rebuttal for ease of reading).

\subsection{Response length}
Author responses must be no longer than 1 page in length including any references and figures.
Overlength responses will simply not be reviewed.
This includes responses where the margins and formatting are deemed to have been significantly altered from those laid down by this style guide.
Note that this \LaTeX\ guide already sets figure captions and references in a smaller font.

\section{Formatting your Response}

{\bf Make sure to update the paper title and paper ID in the appropriate place in the tex file.}

All text must be in a two-column format.
The total allowable size of the text area is $6\frac78$ inches (17.46 cm) wide by $8\frac78$ inches (22.54 cm) high.
Columns are to be $3\frac14$ inches (8.25 cm) wide, with a $\frac{5}{16}$ inch (0.8 cm) space between them.
The top margin should begin 1 inch (2.54 cm) from the top edge of the page.
The bottom margin should be $1\frac{1}{8}$ inches (2.86 cm) from the bottom edge of the page for $8.5 \times 11$-inch paper;
for A4 paper, approximately $1\frac{5}{8}$ inches (4.13 cm) from the bottom edge of the page.

Please number any displayed equations.
It is important for readers to be able to refer to any particular equation.

Wherever Times is specified, Times Roman may also be used.
Main text should be in 10-point Times, single-spaced.
Section headings should be in 10 or 12 point Times.
All paragraphs should be indented 1 pica (approx.~$\frac{1}{6}$ inch or 0.422 cm).
Figure and table captions should be 9-point Roman type as in \cref{fig:onecol}.

List and number all bibliographical references in 9-point Times, single-spaced,
at the end of your response.
When referenced in the text, enclose the citation number in square brackets, for example~\cite{Alpher05}.
Where appropriate, include the name(s) of editors of referenced books.

\begin{figure}[t]
  \centering
  \fbox{\rule{0pt}{0.5in} \rule{0.9\linewidth}{0pt}}

   \caption{Example of caption.  It is set in Roman so that mathematics
   (always set in Roman: $B \sin A = A \sin B$) may be included without an
   ugly clash.}
   \label{fig:onecol}
\end{figure}

To avoid ambiguities, it is best if the numbering for equations, figures, tables, and references in the author response does not overlap with that in the main paper (the reviewer may wonder if you talk about \cref{fig:onecol} in the author response or in the paper).
See \LaTeX\ template for a workaround.

\subsection{Illustrations, graphs, and photographs}

All graphics should be centered.
Please ensure that any point you wish to make is resolvable in a printed copy of the response.
Resize fonts in figures to match the font in the body text, and choose line widths which render effectively in print.
Readers (and reviewers), even of an electronic copy, may choose to print your response in order to read it.
You cannot insist that they do otherwise, and therefore must not assume that they can zoom in to see tiny details on a graphic.

When placing figures in \LaTeX, it is almost always best to use \verb+\includegraphics+, and to specify the  figure width as a multiple of the line width as in the example below
{\small\begin{verbatim}
   \usepackage{graphicx} ...
   \includegraphics[width=0.8\linewidth]
                   {myfile.pdf}
\end{verbatim}
}

{\small
\bibliographystyle{ieee_fullname}


\section{{\bfseries Introduction}}\label{introduction}

This paper concerns the existence of normalized solutions to the following nonlinear Schr\"{o}dinger systems with exponential growth
\begin{equation}\label{aa}
 \left\{
\begin{aligned}
&-\Delta u+\lambda_{1}u=H_{u}(u,v), \quad
\quad
\hbox{in }\mathbb{R}^{2},\\
&-\Delta v+\lambda_{2} v=H_{v}(u,v), \quad
\quad
\hbox{in }\mathbb{R}^{2},\\
&\int_{\mathbb{R}^{2}}|u|^{2}dx=a^{2},\quad \int_{\mathbb{R}^{2}}|v|^{2}dx=b^{2},
\end{aligned}
\right.
\end{equation}
where $a,b>0$ are prescribed, $\lambda_{1},\lambda_{2}\in \mathbb{R}$ and the functions $H_{u},H_{v}$ are partial derivatives of a Carath\'{e}odory function $H$ with $H_{u},H_{v}$ have exponential growth in $\mathbb{R}^{2}$.

We say that a function $h(s)$ has subcritical exponential growth if for all $\gamma>0$ we have
\begin{equation}\label{ab}
    \begin{aligned}\displaystyle
    \lim\limits_{|s|\rightarrow +\infty}\frac{|h(s)|}{e^{\gamma s^{2}}}=0
    \end{aligned}
\end{equation}
and $h(s)$ has critical exponential growth if there exists $\gamma_{0}>0$ such that
\begin{equation}\label{ac}
    \begin{aligned}\displaystyle
    \lim\limits_{|s|\rightarrow +\infty}\frac{|h(s)|}{e^{\gamma s^{2}}}=0,\ \ \forall \ \gamma>\gamma_{0},\ \ and \ \ \lim\limits_{|s|\rightarrow +\infty}\frac{|h(s)|}{e^{\gamma s^{2}}}=+ \infty,\ \ \forall \ \gamma<\gamma_{0}.
    \end{aligned}
\end{equation}
This notion of criticality is motivated by the inequality of Trudinger and Moser; see \cite{Moser,Trudinger}.

The problem under consideration arises from the time-dependent of coupled nonlinear Schr\"{o}dinger systems
\begin{equation}\label{abb}
 \left\{
\begin{aligned}
&i \frac{\partial}{\partial t}\Phi_{1}=\Delta \Phi_{1}-V(x)\Phi_{1}+H_{1}(\Phi_{1},\Phi_{2}), \quad
\quad
\hbox{in }\mathbb{R}^{N}\times \mathbb{R},\\
&i \frac{\partial}{\partial t}\Phi_{2}=\Delta \Phi_{2}-V(x)\Phi_{2}+H_{2}(\Phi_{1},\Phi_{2}), \quad
\quad
\hbox{in }\mathbb{R}^{N}\times \mathbb{R},
\end{aligned}
\right.
\end{equation}
where $H_{1},H_{2}$ are partial derivatives of a Carath\'{e}odory function $H$. An important, and of course well known, feature of \eqref{abb} is conservation of mass with the $L^{2}$-norms $|\Phi_{1}(\cdot,t)|_{2},$ $|\Phi_{2}(\cdot,t)|_{2}$ of solutions are independent of $t\in \mathbb{R}$.

Suppose $H_{u}(e^{i\lambda_{1} t}u(x),e^{i\lambda_{2} t}v(x))=e^{i\lambda_{1} t} H_{1}(u,v)$ and $H_{v}(e^{i\lambda_{1} t}u(x),e^{i\lambda_{2} t}v(x))=e^{i\lambda_{2} t} H_{2}(u,v)$ hold. The ansatz $\Phi_{1}(x,t)=e^{i\lambda_{1} t}u(x)$ and $\Phi_{2}(x,t)=e^{i\lambda_{2} t}v(x)$ for solitary wave solutions leads to elliptic system
\begin{equation}\label{b}
 \left\{
\begin{aligned}
&-\Delta u+(\lambda_{1}+V(x))u=H_{u}(u,v), \quad
\quad
\hbox{in }\mathbb{R}^{N},\\
&-\Delta v+(\lambda_{2}+V(x)) v=H_{v}(u,v), \quad
\quad
\hbox{in }\mathbb{R}^{N},
\end{aligned}
\right.
\end{equation}
In literature, few people have devoted themselves to the study of coupled systems containing exponential nonlinearities. If $N=2$, $\lambda_{1},\lambda_{2}=0$ are prescribed and $V(x)$ satisfies some suitable conditions, system \eqref{b} has been investigated by some authors with exponential critical nonlinearities; see e.g. \cite{Alba,Albb,Cas,DOJM,DOJMa} and references therein. If $N=1$, do \'{O} et al. \cite{DOGI} studied the nonautonomous fractional Hamiltonian system with critical exponential growth in $\mathbb{R}$ via Linking Theorem and Galerkin approximation procedure. For more results on $(p, q)$-fractional Laplace system, the reader may refer to \cite{Chen,Thin} and references therein.

When the $L^{2}$-norms $|u|_{2}$, $|v|_{2}$ are prescribed, system \eqref{b} has important physical significance: in Bose-Einstein condensates and the nonlinear optics framework. When $V(x)=0$, $H_{u}(u,v)=\mu_{1}|u|^{p-2}u+\beta |u|^{\alpha-2} |v|^{\beta}u$ and $H_{v}(u,v)=\mu_{2}|v|^{q-2}v+\beta |u|^{\alpha}|v|^{\beta-2}v$, system \eqref{b} becomes the following type
\begin{equation}\label{c}
 \left\{
\begin{aligned}
&-\Delta u+\lambda_{1}u=\mu_{1}|u|^{p-2}u+\beta |u|^{\alpha-2} |v|^{\beta}u, \quad
\quad
\hbox{in }\mathbb{R}^{N},\\
&-\Delta v+\lambda_{2} v=\mu_{2}|v|^{q-2}v+\beta |u|^{\alpha}|v|^{\beta-2}v, \quad
\quad
\hbox{in }\mathbb{R}^{N},
\end{aligned}
\right.
\end{equation}
with the constraints
\begin{equation}\label{cc}
\int_{\mathbb{R}^{2}}|u|^{2}dx=a^{2}\quad \mbox{and} \quad \int_{\mathbb{R}^{2}}|v|^{2}dx=b^{2},
\end{equation}
where $\lambda_{1},\lambda_{2}$ cannot be prescribed but appear as Lagrange multipliers in a variational approach. For $N=3,4$, $p,q=2^{*}=\frac{2N}{N-2}$ and $\alpha,\beta>1$, Bartsch et al. \cite{BartschLi} proved existence and asymptotic behavior of normalized ground state solutions with $\alpha+\beta$ satisfy different conditions: $\alpha+\beta\leq 2+\frac{4}{N}$ or $\alpha+\beta> 2+\frac{4}{N}$. The most general form of \eqref{c} is $p=q=4$ and $\alpha=\beta=2$, which called the coupled Gross-Pitaevskii equations. Owing to it has a clear physical meaning, this case has been investigated by many authors. As is known to all, the results of system \eqref{c} with constraints \eqref{cc} have been widely studied in recent years; see e.g. \cite{BartschJeanjean,BartschJeanjeanSaove,BartschSaovea,BartschSaoveb,BartschZhong,Gou,Li} and references therein. However, in literature, there are no contribution devoted to the study of coupled systems with the constraints \eqref{cc} involving exponential nonlinearities.

When $V(x)=0$ and $u=v$, system \eqref{b} becomes the following type
\begin{equation}\label{equat1}
 \left\{
\begin{aligned}
&-\Delta u+\lambda u= f(u)  \quad \quad \hbox{in }\mathbb{R}^{N},\\
&u>0,\quad\quad\quad\int_{\mathbb{R}^{2}}|u|^{2}dx=a^{2}.
\end{aligned}
\right.
\end{equation}
For $N\geq1$, using the mountain pass lemma and a compactness argument, Jeanjean \cite{jeanjean1} studied the existence of normalized solutions for equation \eqref{equat1} with subcritical nonlinearities. In \cite{SOAVE1}, Soave considered the normalized solutions for equation \eqref{equat1} with combined subcritical nonlinearities where $f(t)=\mu|t|^{q-2}t+|t|^{p-2}t$ and $2<q\leq2+\frac{4}{N}\leq p <2^{*}$.

On the other hand, we mention that the study of our problem is based on some interesting results of critical case. For $N\geq3$ and $f$ has a critical growth in the Sobolev sense, Soave \cite{SOAVE} obtained the existence of ground states and raised some questions. For $N=2$, we observe $2^{*}=\infty$. Recently, Ji et al. \cite{AlvesJi} firstly studied equation \eqref{equat1} with exponential critical nonlinearities. They firstly obtained results regarding normalized problem with two-dimensional exponential critical growth. In addition, when $N\geq3$, the authors in \cite{AlvesJi} complemented some recent results found in \cite{SOAVE}.

Now, let us introduce the precise assumptions under what our problem is studied. Assume $H_{u},H_{v}$ are partial derivatives of a Carath\'{e}odory function $H$ and the nonlinearities $H_{u},H_{v}$ satisfy

\begin{itemize}
\item[\rm ($H_0$)]$H(w)\in C^{2}(\mathbb{R}^{2},\mathbb{R})$, where $w=(u,v)$;

\item[\rm ($H_1$)] $H_{u}(w)=o(|w|^{\tau})$ and $H_{v}(w)=o(|w|^{\tau})$ as $|w|\rightarrow0$, for some $\tau>3$;

\item[\rm ($H_2$)] there exists a positive constant $\theta>4$ such that $0<\theta H(w)\leq \nabla H(w)\cdot w$ for $a.e.$ $x\in \mathbb{R}^{2}$, where $\nabla H(w)=(H_{u}(w),H_{v}(w))$;

\item[\rm ($H_3$)]$H_{u}(u,0)=0$ for all $v\in \mathbb{R}$ and $H_{v}(0,v)=0$ for all $u\in \mathbb{R}$;

\item[\rm ($H_4$)] $H_{u}(w)u>0$ and $H_{v}(w)v>0$ for all $u,v\in \mathbb{R}$;

\item[\rm ($H_5$)]  Let $\tilde{H}(w)=\nabla H(w)\cdot w-2H(w)$ for all $w\in \mathbb{R}^{2}$. Then, $\nabla \tilde{H}(w)$ exists and
	\begin{equation*}
		\nabla \tilde{H}(w)\cdot w \geq 4 \tilde{H}(w), \ \mbox{for all} \ w \in \mathbb{R}^{2}.
	\end{equation*}

\item[\rm ($H_6$)]  there exist constants $\sigma>4$ and $\mu>0$ such that
	\begin{equation*}
		H(w)\geq \mu  \, |w|^{\sigma}\quad \text{for all}\,\, w\in \mathbb{R}^{2}.
    \end{equation*}

	\item[\rm ($H_7$)] $H_{u},H_{v}$ have $\gamma_{0}$-exponential critical growth, i.e. there exists $\gamma_{0}>0$ such that
\begin{align*}
    \lim\limits_{|w|\rightarrow +\infty}\frac{|H_{u}(w)|}{e^{\gamma|w|^{2}}}=\lim\limits_{|w|\rightarrow +\infty}\frac{|H_{v}(w)|}{e^{\gamma|w|^{2}}}=
 \left\{
    \begin{aligned}
    0, \ \ \ \forall \gamma> \gamma_{0},\\
    +\infty, \ \ \ \forall \gamma< \gamma_{0}.
    \end{aligned}
\right.
\end{align*}
\end{itemize}

Motivated by the research made in the critical Sobolev case and \cite{AlvesJi}, in this paper we consider the exponential critical growth for coupled system in $\mathbb{R}^{2}$. We recall that in $\mathbb{R}^{2}$, the natural growth restriction on the function $H_{u}$ and $H_{v}$ are given by the Trudinger-Moser inequality.

The result of this paper can be stated as follows:

\begin{theorem}\label{T2}
Assume that $H_{u},H_{v}$ satisfy ($H_{0}$)-($H_{4}$), $(H_6)$ and $(H_7)$. If $a^{2}+b^{2} <\frac{2\pi}{\gamma_{0}}$, then there exists $\mu_{1}=\mu_{1}(a,b)>0$ such that system \eqref{aa} has a weak solution $(\lambda_{1},\lambda_{2},u,v)$ with $\lambda_{1}>0$, $\lambda_{2}>0$ and $u,v\in H^{1}(\mathbb{R}^{2})$ for all $\mu \geq \mu_{1}$. Moreover, if $(H_{5})$ is also assumed, then $(u,v)$ can be chosen as a nontrivial ground state solution of system \eqref{aa}.
\end{theorem}

\begin{remark}\label{nontrivial}
If $H_{u},H_{v}$ dissatisfy ($H_{3}$) in Theorem \ref{T2}, we may obtain semitrivial ground state solutions of system \eqref{aa}. However, in this article, we require that $|u|_{2}=a>0$ and $|v|_{2}=b>0$. By $(H_{3})$, we know that $u=0$ implies that $v=0$. Thus, in Theorem \ref{T2} we obtain both $u$ and $v$ are nontrivial. In addition, in order to ensure that $|u|_{2}=a$ and $|v|_{2}=b$, the condition ($H_{4}$) is crucial.
\end{remark}

The paper is organized as follows: In Section $\ref{preliminaries}$, the variational setting and some preliminary results are presented. In Section $\ref{Sgeo}$, we introduce the geometry structure related to equation \eqref{aa}. In Section $\ref{PSa}$, we give some properties about the $(PS)$ sequence. Section $\ref{minimax}$ is devoted to give an estimate for the minimax level. Finally, in Section $\ref{critical}$, we prove Theorem \ref{T2}.

\vspace{0.5 cm}

\noindent \textbf{Notation:} From now on in this paper, otherwise mentioned, we use the following notations:
\begin{itemize}
    \item$C,C_1,C_2,...$ denote some positive constants.
	\item $|\,\,\,|_p$ denotes the usual norm of the Lebesgue space $L^{p}(\mathbb{R}^2)$, for $p \in [1,+\infty]$.
	\item $\Vert\,\,\,\Vert$ denotes the usual norm of the Sobolev space $H^{1}(\mathbb{R}^2)$.
    \item $o_{n}(1)$ denotes a real sequence with $o_{n}(1)\to 0$ as $n \rightarrow+\infty$.
\end{itemize}

\section{{\bfseries Preliminaries and functional setting}}\label{preliminaries}
In this section, we give some preliminary results and outline the variational framework for \eqref{aa}.
\begin{proposition}\label{PRa}
\cite{Cao}.$i)$ If $\gamma>0$ and $u\in H^{1}(\mathbb{R}^{2})$, then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |u|^{2}}-1\Big)dx<\infty;
    \end{aligned}
\end{eqnarray*}
$ii)$ if $u\in H^{1}(\mathbb{R}^{2})$, $|\nabla u|^{2}_{2}\leq1$, $|u|_{2}\leq M<\infty$, and $\gamma<4\pi$, then there exists a constant $\mathcal{C}(M,\gamma)$, which depends only on $M$ and $\gamma$, such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |u|^{2}}-1\Big)dx<\mathcal{C}(M,\gamma).
    \end{aligned}
\end{eqnarray*}
\end{proposition}

Applying Proposition \ref{PRa}, we immediately have the following lemma.
\begin{lemma}\label{TMineq}
$i) $If $\gamma>0$ and $w=(u,v)\in H^{1}(\mathbb{R}^{2})\times H^{1}(\mathbb{R}^{2})$, then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |w|^{2}}-1\Big)dx<\infty;
    \end{aligned}
\end{eqnarray*}
$ii)$ if $w=(u,v)\in H^{1}(\mathbb{R}^{2})\times H^{1}(\mathbb{R}^{2})$, $|\nabla w|^{2}_{2}\leq \frac{2\pi}{\gamma_{0}}-a^{2}-b^{2}$, $|u|_{2}^{2}= a^{2}$, $|v|_{2}^{2}= b^{2}$ and $\gamma<\gamma_{0}$ then there exists a constant $C( a,b,\gamma)$, which depends only on $a,b$ and $\gamma$ such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |w|^{2}}-1\Big)dx<C( a,b,\gamma).
    \end{aligned}
\end{eqnarray*}
\end{lemma}

\begin{proof}
By Proposition \ref{PRa} and Young's inequality, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |w|^{2}}-1\Big)dx&=\int_{\mathbb{R}^{2}}\Big(e^{\gamma (u^{2}+v^{2})}-1\Big)dx\\
    &\leq \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma u^{2}}-1\Big)dx+ \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma v^{2}}-1\Big)dx\\
    &<\infty,
    \end{aligned}
\end{eqnarray*}
where $\gamma>0$ and $w=(u,v)\in H^{1}(\mathbb{R}^{2})\times H^{1}(\mathbb{R}^{2})$.

Moreover, by
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|\nabla w|_2^2 <\frac{2\pi}{\gamma_{0}}-a^{2}-b^{2} \quad \mbox{and} \quad |w|_{2}^{2}=|u|_{2}^{2}+|v|_{2}^{2}=a^2+b^{2},
    \end{aligned}
\end{eqnarray*}
we have
\begin{equation}\label{ener}
    \begin{aligned}\displaystyle
	2\gamma_{0}\|u\|^{2} < 4\pi \quad \mbox{and} \quad
	2\gamma_{0}\|v\|^{2} < 4\pi.
    \end{aligned}
\end{equation}
Then by Proposition \ref{PRa} and \eqref{ener}, we get
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |w|^{2}}-1\Big)dx&
    \leq \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma  u^{2}}-1\Big)dx+ \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma  v^{2}}-1\Big)dx\\
    &\leq \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma_{0} \|u\|^{2} (\frac{|u|}{\|u\|})^{2}}-1\Big)dx +\frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2\gamma_{0} \|v\|^{2} (\frac{|v|}{\|v\|})^{2}}-1\Big)dx\\
    &\leq C,
    \end{aligned}
\end{eqnarray*}
where $C=C( a,b,\gamma)>0$. Then the proof is complete.
\end{proof}

Set $E=H^{1}(\mathbb{R}^{2})\times H^{1}(\mathbb{R}^{2})$, we define the following scalar product on $E$,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \langle w_{1},w_{2}\rangle=\int_{\mathbb{R}^{2}}(\nabla u_{1}\nabla u_{2}+u_{1}u_{2})dx+\int_{\mathbb{R}^{2}}(\nabla v_{1}\nabla v_{2}+v_{1}v_{2})dx,
    \end{aligned}
\end{eqnarray*}
where $w_{1}=(u_{1},v_{1})$ and $w_{2}=(u_{2},v_{2})$, to which corresponds the norm
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \|w\|_{E}=\langle w,w\rangle^{1/2}.
    \end{aligned}
\end{eqnarray*}

Solutions of \eqref{aa} correspond to critical points of the energy functional $J:E\rightarrow \mathbb{R}$ defined by
\begin{equation}\label{func}
    \begin{aligned}\displaystyle
J(u,v)=\frac{1}{2}\int_{\mathbb{R}^{2}} (|\nabla u|^2 + |\nabla v|^2)dx-\int_{\mathbb{R}^{2}} H(u,v)dx
\end{aligned}
\end{equation}
and constrained to the $L^{2}$-torus
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \mathcal{T}(a,b):=\{(u,v)\in E: |u|_{2}=a, \ |v|_{2}=b\}.
    \end{aligned}
\end{eqnarray*}
The parameters $\lambda_{1},\lambda_{2}\in \mathbb{R}$ will appear as Lagrange multipliers. By Lemma \ref{TMineq}, we know that $H(w)\in L^{1}(\mathbb{R}^{2})$, which implies that $J$ is well defined. It is easy to see that $J$ is of class $C^{1}$, and that it is unbounded from below on $\mathcal{T}(a,b)$. It is well known that critical points of $J$ will not satisfy the Palais-Smale condition, as a consequence we recall that solutions of \eqref{aa} satisfy the Pohozaev identity
\begin{equation}\label{Pohozaev}
    \begin{aligned}\displaystyle
    P(u,v):=\int_{\mathbb{R}^{2}} (|\nabla u|^2 + |\nabla v|^2)dx-\int_{\mathbb{R}^{2}} \tilde{H}(u,v)dx,
    \end{aligned}
\end{equation}
where $\tilde{H}(u,v)=\nabla H(u,v)\cdot (u,v)-2H(u,v)$. Now, we introduce the $L^{2}$-invariant scaling $s\star u(x):=e^{s}u(e^{s}x)$ and $s\star (u,v):=(s\star u,s\star v)$. To be more precise, for $w=(u,v)\in \mathcal{T} (a,b)$ and $s\in \mathbb{R}$, let $\mathcal{F}: E\times \mathbb{R}\rightarrow E$ defined by
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \mathcal{F}(w, s)(x)=(e^{s}u(e^{s}x),e^{s}v(e^{s}x)).
    \end{aligned}
\end{eqnarray*}
Then $\tilde{J}:  \mathbb{R} \rightarrow \mathbb{R}$ with
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\tilde{J}_{w}(s):=J(\mathcal{F}(w, s))=\frac{e^{2s}}{2}\int_{\mathbb{R}^{2}} (|\nabla u|^2 +|\nabla v|^2 )dx-\frac{1}{e^{2s}}\int_{\mathbb{R}^{2}} H(e^{s}u(x),e^{s}v(x))\,dx.
    \end{aligned}
\end{eqnarray*}
A straightforward calculation shows that $\tilde{J}^{\prime}_{w}(s)=P(\mathcal{F}(w, s))$.

In order to overcome the loss of compactness of the Sobolev embedding in whole $\mathbb{R}^{2}$, we develop our variational procedure in the space $H^{1}_{rad}(\mathbb{R}^{2})$ to get some compactness results. Thus, we define
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    E_{rad}:=H^{1}_{rad}(\mathbb{R}^{2})\times H^{1}_{rad}(\mathbb{R}^{2}), \ \ \mbox{and} \ \ \mathcal{T}_{r}(a,b):=\mathcal{T}(a,b)\cap E_{rad}.
    \end{aligned}
\end{eqnarray*}

From $(H_{1})$ and $(H_{7})$, fix $q>2$, for any $\varepsilon>0$ and $\gamma>\gamma_{0}$, there exist a constant $\kappa_{\varepsilon}>0$, which depends on $q,\gamma,\tau,\varepsilon$ and $\mu$, such that
\begin{equation}\label{nonb}
    \begin{aligned}\displaystyle
|\nabla H(w)|\leq|H_{u}(w)|+|H_{v}(w)|\leq\varepsilon|w|^{\tau}+\kappa_{\varepsilon}|w|^{q-1}(e^{\gamma |w|^{2}}-1) \ \mbox{for all} \ w\in \mathbb{R}^{2},
    \end{aligned}
\end{equation}
and by $(H_{2})$, we obtain
\begin{equation}\label{nona}
    \begin{aligned}\displaystyle
|H(w)|\leq\varepsilon|w|^{\tau+1}+\kappa_{\varepsilon}|w|^{q}(e^{\gamma |w|^{2}}-1) \ \mbox{for all} \ w\in \mathbb{R}^{2}.
    \end{aligned}
\end{equation}

\section{{\bfseries The minimax approach}}\label{Sgeo}To find a solution of \eqref{aa}, we show that $\tilde{J}$ on $\mathcal{T}_{r}(a,b)\times \mathbb{R}$ possesses a kind of mountain-pass geometrical structure.
\begin{lemma}\label{geo} Assume that $(H_{0})$-$(H_{2})$, $(H_{6})$ and $(H_{7})$ hold. Let $w\in \mathcal{T}_{r}(a,b)$. Then we have:

(i)$|\nabla\mathcal{F}(w, s)|_{2}\rightarrow 0$ and $J(\mathcal{F}(w, s))\rightarrow 0$ as $s\rightarrow -\infty$;

(ii)$|\nabla\mathcal{F}(w, s)|_{2}\rightarrow +\infty$ and $J(\mathcal{F}(w, s))\rightarrow -\infty$ as $s\rightarrow +\infty$.
\end{lemma}

\begin{proof} \mbox{}
 By a straightforward calculation, it follows that
\begin{equation}\label{cria}
    \int_{\mathbb{R}^2}|e^{s}u(e^{s}x)|^{2}\,dx=a^{2}, \quad \int_{\mathbb{R}^2}|e^{s}v(e^{s}x)|^{2}\,dx=b^{2},
\end{equation}
and
\begin{equation}\label{3.3}
    \int_{\mathbb{R}^2} |\nabla\mathcal{F}(w,s)(x)|^{2}\,dx=e^{2s}\int_{\mathbb{R}^2}(|\nabla u|^2+|\nabla v|^2 )dx.
\end{equation}
Moreover, we have
\begin{equation}\label{3.2}
\int_{\mathbb{R}^2}|\mathcal{F}(w, s)|^{\xi}\,dx= e^{(\xi-2)s}\int_{\mathbb{R}^2}|w(x)|^{\xi}\,dx, \quad \forall \xi \geq 2.
\end{equation}
From the above equalities, fixing $\xi>2$, we have
\begin{equation}\label{3.4}
    |\nabla\mathcal{F}(w,s)|_{2}\rightarrow 0 \quad \mbox{and} \quad |\mathcal{F}(w,s)|_{\xi} \rightarrow 0 \quad  \mbox{as} \quad s \to -\infty.
	\end{equation}
By \eqref{nona}, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|H(w)|\leq\varepsilon |w|^{\tau+1}+\kappa_{\varepsilon}|w|^{q}(e^{\gamma |w|^{2}}-1)\,\, \text{ for all }\, w \in E,
    \end{aligned}
\end{eqnarray*}
where $\gamma>\gamma_{0}$ close to $\gamma_{0}$ and $q>2$. Hence,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|H(\mathcal{F}(w,s))| \leq \varepsilon| \mathcal{F}(w, s)|^{\tau+1}+\kappa_{\varepsilon}| \mathcal{F}(w, s)|^{q}(e^{\gamma | \mathcal{F}(w, s)|^{2}}-1).
    \end{aligned}
\end{eqnarray*}
Using Lemma \ref{TMineq}, for $\gamma>\gamma_{0}$ close to $\gamma_{0}$, there exists $C=C(t, a,b,\gamma)>0$ such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\int_{\mathbb{R}^2} (e^{\gamma | \mathcal{F}(w,s)|^{2}}-1)^{t}dx\leq\int_{\mathbb{R}^2} (e^{\gamma t | \mathcal{F}(w,s)|^{2}}-1)dx\leq C,
    \end{aligned}
\end{eqnarray*}
and so,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\int_{\mathbb{R}^2}|H(\mathcal{F}(w, s))|dx \leq \varepsilon\int_{\mathbb{R}^2}| \mathcal{F}(w, s)|^{\tau+1}dx+C_{1}\Big(\int_{\mathbb{R}^2}| \mathcal{F}(w,s)|^{qt'}dx\Big)^{1/t'},
    \end{aligned}
\end{eqnarray*}
where $t'=\frac{t}{t-1}$, and $t>1$ is close to $1$.  Now, by using (\ref{3.2}), we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\int_{\mathbb{R}^2}|H(\mathcal{F}(w, s))|dx \leq \varepsilon e^{(\tau-1)s}\int_{\mathbb{R}^2} |w(x)|^{\tau+1}dx+C_{1}\Big(e^{(qt^{\prime}-2)s}\int_{\mathbb{R}^2}|w(x)|^{qt'}dx\Big)^{1/t'}.
    \end{aligned}
\end{eqnarray*}
Then, by $\tau-1>0$ and $qt^{\prime}-2>0$, we know that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\int_{\mathbb{R}^2}|H( \mathcal{F}(w,s))| \rightarrow 0 \quad \mbox{as} \quad s \to -\infty,
    \end{aligned}
\end{eqnarray*}
which implies that $J(\mathcal{F}(w, s))\rightarrow 0$ as $s\rightarrow -\infty$, showing $(i)$.

In order to show $(ii)$, note that by (\ref{3.3}),
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|\nabla \mathcal{F}(w, s) |_{2}\rightarrow +\infty \quad \mbox{as} \quad s \to +\infty.
    \end{aligned}
\end{eqnarray*}
On the other hand, by $(H_{6})$, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	J(\mathcal{F}(w, s)) \leq \frac{1}{2}|\nabla \mathcal{F}(w,s)|_{2}^{2}-\frac{\mu}{\sigma}\int_{\mathbb{R}^2}|\mathcal{F}(w,s)|^{\sigma}\,dx=e^{2s}\int_{\mathbb{R}^2}|\nabla w|^2 dx-\frac{\mu e^{(\sigma-2)s}}{\sigma}\int_{\mathbb{R}^2}|w(x)|^{\sigma}\,dx.
    \end{aligned}
\end{eqnarray*}
Since $\sigma>4$, the last inequality yields $J(\mathcal{F}(w, s))\rightarrow -\infty$ as $s\rightarrow +\infty$.
\end{proof}

\begin{lemma}  \label{P1} Assume that $(H_{0})$-$(H_{2})$, $(H_{6})$ and $(H_{7})$ hold. Let $w\in \mathcal{T}_{r}(a,b)$. Then there exists $K(a,b)>0$ small enough such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	0<\sup_{w\in A} J(w)<\inf_{w\in B} J(w)
    \end{aligned}
\end{eqnarray*}
	with
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	A=\left\{w\in \mathcal{T}_{r}(a,b), \int_{\mathbb{R}^2} |\nabla w|^2 dx\leq K(a,b) \right\}\quad \mbox{and} \quad B=\left\{w\in \mathcal{T}_{r}(a,b), \int_{\mathbb{R}^2} |\nabla w|^2 dx=2K(a,b) \right\}.
    \end{aligned}
\end{eqnarray*}
\end{lemma}

\begin{proof}
	We will need the following Gagliardo-Sobolev inequality: for any $p> 2$,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|u|_{p}\leq C(p, 2)|\nabla u|_2^{d_{p}}|u|_2^{1-d_{p}},
    \end{aligned}
\end{eqnarray*}
where $d_{p}=2(\frac{1}{2}-\frac{1}{p})$ and $u\in H^{1}(\mathbb{R}^{2})$. Then, let $w\in \mathcal{T}_{r}(a,b)$, we get an estimate of $|w|_{p}$. By Gagliardo-Sobolev inequality, there exist $C_{1},C_{2}>0$ such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    |w|_{p}&=|u^{2}+v^{2}|_{\frac{p}{2}}^{\frac{1}{2}}\\
    &\leq (|u|_{p}^{2}+|v|_{p}^{2})^{\frac{1}{2}}\\
    &\leq (C_{1}|\nabla u|_{2}^{2d_{p}}|u|_{2}^{2-2d_{p}}+C_{2}|\nabla v|_{2}^{2d_{p}}|v|_{2}^{2-2d_{p}})^{\frac{1}{2}}\\
    &=(C_{1}a^{2-2d_{p}}|\nabla u|_{2}^{2d_{p}}+C_{2}b^{2-2d_{p}}|\nabla v|_{2}^{2d_{p}})^{\frac{1}{2}},
    \end{aligned}
\end{eqnarray*}
which implies that
\begin{equation}\label{GN}
    \begin{aligned}\displaystyle
|w|_{p}\leq C(|\nabla u|_{2}^{2d_{p}}+|\nabla v|_{2}^{2d_{p}})^{\frac{1}{2}}.
    \end{aligned}
\end{equation}
Now, let $K(a,b)<\frac{\pi}{\gamma_{0}}-\frac{a^{2}+b^{2}}{2}$. Assume that $w_{1},w_{2}\in \mathcal{T}_{r}(a,b)$ such that $|\nabla w_{1}|^{2}_{2}\leq K(a,b)$ and $|\nabla w_{2}|^{2}_2=2K(a,b)$. Thus, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\|u_2\|^{2}<\frac{2\pi}{\gamma_{0}} \quad \mbox{and} \quad  \|v_2\|^{2}<\frac{2\pi}{\gamma_{0}},
    \end{aligned}
\end{eqnarray*}
where $w_{2}=(u_2,v_2)$. Then, by Lemma \ref{TMineq}, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\int_{\mathbb{R}^2}H(w_{2})\,dx \leq \varepsilon|w_{2}|^{\tau+1}_{\tau+1}+C_2|w_{2}|^{q}_{qt'},
    \end{aligned}
\end{eqnarray*}
where $\tau>3$, $q>2$, $t'=\frac{t}{t-1}>1$. Hence, by \eqref{GN}, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\int_{\mathbb{R}^2}H(w_{2})\,dx \leq C_{1}K(a,b)^{\frac{\tau-1}{2}}+C_2K(a,b)^{(\frac{q}{2}-\frac{1}{t'})}.
    \end{aligned}
\end{eqnarray*}
From $(H_{2})$, we have $H(w_{1})> 0$ for any $w_{1}\in E$. Then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
J(w_{2})-J(w_{1}) &=\frac{1}{2}\int_{\mathbb{R}^2}|\nabla w_{2}|^{2}\,dx-\frac{1}{2}\int_{\mathbb{R}^2}|\nabla w_{1}|^{2}\,dx-\int_{\mathbb{R}^2}H(w_{2})\,dx+\int_{\mathbb{R}^2}H(w_{1})\,dx\\
&\geq\frac{1}{2}\int_{\mathbb{R}^2}|\nabla w_{2}|^{2}\,dx-\frac{1}{2}\int_{\mathbb{R}^2}|\nabla w_{1}|^{2}\,dx-\int_{\mathbb{R}^2}H(w_{2})\,dx\\
&\geq K(a,b)-\frac{1}{2}K(a,b) -C_{3}K(a,b)^{\frac{\tau-1}{2}}-C_{4} K(a,b)^{(\frac{q}{2}-\frac{1}{t'})}.
    \end{aligned}
\end{eqnarray*}
Hence,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	J(w_{2})-J(w_{1}) \geq \frac{1}{2}K(a,b)-C_{3}K(a,b)^{\frac{\tau-1}{2}}-C_{4} K(a,b)^{(\frac{q}{2}-\frac{1}{t'})}.
    \end{aligned}
\end{eqnarray*}
Since $\tau>3$ and $t'>1$ with $\frac{q}{2}-\frac{1}{t'}>1$, choosing $K(a,b)$ small enough if necessary, it follows that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\frac{1}{2}K(a,b)-C_3K(a,b)^{\frac{\tau-1}{2}}-C_4 K(a,b)^{(\frac{q}{2}-\frac{1}{t'})}>0,
    \end{aligned}
\end{eqnarray*}
	showing the desired result.
\end{proof}

As a byproduct of the last lemma is the following corollary.
\begin{corollary} \label{newcor}
Assume that $(H_{0})$-$(H_{2})$, $(H_{6})$ and $(H_{7})$ hold. Let $w\in \mathcal{T}_{r}(a,b)$. Then, if $|\nabla w|^{2}_{2}\leq K(a,b)$, there exists $K(a,b)>0$ small enough such that $J(w) >0$. Moreover,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	J_{\ast}=\inf\Big\{J(w): w\in \mathcal{T}_{r}(a,b) \ \ \mbox{and} \ \ |\nabla w|^{2}_{2}= \frac{K(a,b)}{2}\Big\}>0.
    \end{aligned}
\end{eqnarray*}
\end{corollary}

\begin{proof} Arguing as in the last lemma, we have for all $w\in \mathcal{T}_{r}(a,b)$
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	J(w) \geq \frac{1}{2}|\nabla w|_{2}^{2}-C_{1}|\nabla w|_2^{\tau-1}-C_{2}|\nabla w|^{(q-\frac{2}{t^{\prime}})}_{2}>0,
    \end{aligned}
\end{eqnarray*}
	for $K(a,b)>0$ small enough.
\end{proof}

In what follows, we fix $w_{0} \in \mathcal{T}_{r}(a,b)$ and apply Lemma \ref{geo}, \ref{P1} and Corollary  \ref{newcor}  to get two numbers $s_{1}<0$ and $s_{2}>0$, of such way that the functions $w_{1}=\mathcal{F}(w_{0}, s_{1})$ and $w_{2}=\mathcal{F}(w_{0}, s_{2})$ satisfy
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|\nabla w_{1}|^2_2<\frac{K(a,b)}{2},\,\,  |\nabla w_{2}|_{2}^{2}>2K(a,b),\,\, J(w_{1})>0\,\,\mbox{and} \,\, J(w_{2})<0.
    \end{aligned}
\end{eqnarray*}

Now, following the ideas from Jeanjean \cite{jeanjean1}, we fix the following mountain pass level given by
\begin{eqnarray*}
    \begin{aligned}\displaystyle
m_\mu(a,b)=\inf_{h \in \Gamma}\max_{t \in [0,1]}J(h(t)),
    \end{aligned}
\end{eqnarray*}
where
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\Gamma=\left\{h \in C([0,1], \ \mathcal{T}_{r}(a,b))\,:\,h(0)=w_{1} \,\, \mbox{and} \,\, h(1)=w_{2} \right\}.
    \end{aligned}
\end{eqnarray*}
By Corollary \ref{newcor}, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\max_{t \in [0,1]}J(h(t))\geq J_{\ast}>0.
    \end{aligned}
\end{eqnarray*}
Then, we obtain that $m_\mu(a,b)\geq J_{\ast}>0$.

\section{{\bfseries Palais-Smale sequence}}\label{PSa}
In this section, we take $\{w_{n}\}\subset \mathcal{T}_{r}(a,b)$ demotes the $(PS)$ sequence associated with the level $m_{\mu}(a,b)$ for $J$, where $w_{n}=(u_{n},v_{n})$. Using $\hat{w}_{n}=\mathcal{F}(w_{n},s_{n})$, we know that $\{\hat{w}_{n}\}$ is a $(PS)$ sequence associated with the level $m_{\mu}(a,b)$ for $\tilde{J}$. Thus, we have
\begin{equation} \label{mu2}
	J(w_{n}) \to m_\mu(a,b), \,\, \mbox{as} \,\, n \to +\infty,
\end{equation}
\begin{equation} \label{EQ2}
	-\Delta u_{n}+\lambda_{1,n}u_{n}=H_{u}(w_n)\ + o_n(1), \,\, \mbox{and} \ -\Delta v_{n}+\lambda_{2,n}v_{n}=H_{v}(w_n)\ + o_n(1),
\end{equation}
for some sequence $\{\lambda_{1,n}\},\{\lambda_{2,n}\} \subset \mathbb{R}$, and
\begin{equation} \label{PEQ2}
	P(w_{n})=\int_{\mathbb{R}^2}|\nabla w_{n}|^{2} dx +2 \int_{\mathbb{R}^2} H(w_{n}) dx- \int_{\mathbb{R}^2} \nabla H(w_{n}) \cdot w_{n} dx\to 0,\,\, \mbox{as} \,\, n \to +\infty.
\end{equation}
Then, setting
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \mathcal{P}(a,b):=\{(u,v)\in \mathcal{T}_{r}(a,b):P(u,v)=0\},
    \end{aligned}
\end{eqnarray*}
we are interested in the problem whether
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    c(a,b):=\inf\limits_{(u,v)\in \mathcal{P}(a,b)}J(u,v)
    \end{aligned}
\end{eqnarray*}
is achieved. Then, in order to prove it, we give some properties of $(PS)$ sequence.

By \eqref{nona}, fixed $q>2$, for any $\varepsilon>0$ and $\gamma>\gamma_{0}$, there exist a constant $\kappa_{\varepsilon}>0$, which depends on $q,\gamma,\tau,\varepsilon$ and $\mu$, such that
\begin{equation}\label{nonlina}
|H(w)|\leq\varepsilon|w|^{\tau+1}+\kappa_{\varepsilon}|w|^{q}(e^{\gamma |w|^{2}}-1) \ \mbox{for all} \ w\in E.
\end{equation}
and
\begin{equation}\label{nonlinb}
|H(w_{n})|\leq\varepsilon|w_{n}|^{\tau+1}+\kappa_{\varepsilon}|w_{n}|^{q}(e^{\gamma |w_{n}|^{2}}-1), \ \mbox{for all} \ n\in \mathbb{N}.
\end{equation}

By \eqref{nonlina} and \eqref{nonlinb}, we obtain the convergence properties of the nonlinearities is related to the exponential function. Thus, the next lemma is important in our argument.

\begin{lemma}\label{imp} Let $\{w_{n}\}$ be a sequence in $E$ with $w_n=(u_{n},v_{n}) \in \mathcal{T}_{r}(a,b)$ and
\begin{equation}\label{energy}
    \begin{aligned}\displaystyle
	\limsup_{n \rightarrow +\infty} |\nabla w_n |_2^{2}  < \frac{2\pi}{\gamma_{0}}-a^{2}-b^{2}.
    \end{aligned}
\end{equation}
If $w_{n} \rightharpoonup w$ in $E_{rad}$ and $w_n(x) \rightarrow w(x)$ a.e. in $\mathbb{R}^{2}$, then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|w_n|^{q}(e^{\gamma  |w_n(x)|^{2}}-1) \rightarrow |w|^{q}(e^{\gamma |w(x)|^{2}}-1) \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
\end{lemma}

\begin{proof}
Setting
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	h_n(x)=e^{\gamma |w_n|^{2}}-1,
    \end{aligned}
\end{eqnarray*}
we can argue as in the proof of Lemma \ref{TMineq}, there exist $t>1$ and $t$ close to $1$  such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{\mathbb{R}^{2}}\Big(e^{\gamma |w_{n}|^{2}}-1\Big)^{t}dx&
    \leq \int_{\mathbb{R}^{2}}\Big(e^{t\gamma |w_{n}|^{2}}-1\Big)dx\\&
    \leq \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2t\gamma  u_{n}^{2}}-1\Big)dx+ \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{2t\gamma  v_{n}^{2}}-1\Big)dx\\
    &\leq \frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{(2\gamma_{0}+\varepsilon)t \|u_{n}\|^{2} (\frac{|u_{n}|}{\|u_{n}\|})^{2}}-1\Big)dx +\frac{1}{2} \int_{\mathbb{R}^{2}}\Big(e^{(2\gamma_{0}+\varepsilon)t \|v_{n}\|^{2} (\frac{|v_{n}|}{\|v_{n}\|})^{2}}-1\Big)dx.
    \end{aligned}
\end{eqnarray*}
By \eqref{energy}, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	(2\gamma_{0}+\varepsilon)t\|u_n\|^{2} < 4\pi \quad \mbox{and} \quad
	(2\gamma_{0}+\varepsilon)t\|v_n\|^{2} < 4\pi.
    \end{aligned}
\end{eqnarray*}
Thus, there exists $C=C(t,a,b,\gamma)>0$ such that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
   \int_{\mathbb{R}^{2}} \Big(h_n(x)\Big)^{t}dx=\int_{\mathbb{R}^{2}}\Big(e^{\gamma |w_{n}|^{2}}-1\Big)^{t}dx<C,
    \end{aligned}
\end{eqnarray*}
which implies that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	h_{n} \in L^{t}(\mathbb{R}^{2}) \quad \mbox{and} \quad \sup_{n \in \mathbb{N}}|h_n|_{t}<+\infty.
    \end{aligned}
\end{eqnarray*}
Therefore, $\{h_{n}\}$ is a bounded sequence in $L^{t}(\mathbb{R}^{2})$. Thus, for some subequence of $\{w_n\}$, still denoted by itself, we obtain that
	\begin{equation} \label{Newlimit}
		h_n \rightharpoonup h=e^{\gamma |w|^{2}}-1, \,\, \mbox{in} \,\, L^{t}(\mathbb{R}^{2}).
	\end{equation}
Now, we show that
\begin{equation}\label{ssubimp}
    \begin{aligned}\displaystyle
	|w_{n}|^{q}\rightarrow |w|^{q} \ \ \mbox{in} \ \ L^{t^{\prime}}(\mathbb{R}^{2}),
    \end{aligned}
\end{equation}
where $t^{\prime}=\frac{t}{t-1}$ and $w=(u,v)$. Then, by the embedding $H_{rad}^{1}(\mathbb{R}^{2}) \hookrightarrow L^{qt'}(\mathbb{R}^{2})$ is compact, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	u_{n} \rightarrow u \quad \mbox{and} \quad v_{n} \rightarrow v \quad \mbox{in} \quad L^{qt^{\prime}}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
Thus, we obtain
\begin{equation}\label{sconveruv}
    \begin{aligned}\displaystyle
    |u_{n}|^{2} \rightarrow |u|^{2} \quad \mbox{and} \quad |v_{n}|^{2} \rightarrow |v|^{2} \quad \mbox{in} \quad L^{\frac{qt^{\prime}}{2}}(\mathbb{R}^{2}),
    \end{aligned}
\end{equation}
and
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\Big||w_{n}|^{2}-|w|^{2}\Big|_{\frac{qt^{\prime}}{2}}&=\Big||u_{n}^{2}+v^{2}_{n}|-|u^{2}+v^{2}|\Big|_{\frac{qt^{\prime}}{2}}\\
&=\Big|(u_{n}^{2}-u^{2})+(v^{2}_{n}-v^{2})|\Big|_{\frac{qt^{\prime}}{2}}\\
&\leq |u_{n}^{2}-u^{2}|_{\frac{qt^{\prime}}{2}}+|v^{2}_{n}-v^{2}|_{\frac{qt^{\prime}}{2}}.
    \end{aligned}
\end{eqnarray*}
Then, using \eqref{sconveruv}, we know
\begin{eqnarray*}
    \begin{aligned}\displaystyle
 \Big||w_{n}|^{2}-|w|^{2}\Big|_{\frac{qt^{\prime}}{2}} \leq |u_{n}^{2}-u^{2}|_{\frac{qt^{\prime}}{2}}+|v^{2}_{n}-v^{2}|_{\frac{qt^{\prime}}{2}} \ \rightarrow 0 \ \mbox{as} \ n\rightarrow\infty,
    \end{aligned}
\end{eqnarray*}
which implies that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    |w_{n}|^{2}\rightarrow |w|^{2} \ \ \mbox{in} \ \ L^{\frac{qt^{\prime}}{2}}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
Hence,
\begin{equation}\label{subimp}
    \begin{aligned}\displaystyle
	|w_{n}|^{q}\rightarrow |w|^{q} \ \ \mbox{in} \ \ L^{t^{\prime}}(\mathbb{R}^{2}),
    \end{aligned}
\end{equation}
where $t^{\prime}=\frac{t}{t-1}$ and $w=(u,v)$. Together \eqref{Newlimit} with \eqref{subimp}, we know
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    |w_n|^{q}(e^{\gamma  |w_n(x)|^{2}}-1) \rightarrow |w|^{q}(e^{\gamma |w(x)|^{2}}-1) \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
Then, the proof is complete.
\end{proof}

By Lemma \ref{imp}, we have the following two important Corollaries.
\begin{corollary}\label{slimitb}Assume that $(H_{0})$-$(H_{2})$, $(H_{6})$ and $(H_{7})$ hold. Let $\{w_{n}\}$ be the $(PS)$ sequence of $J$ with $w_{n}=(u_{n},v_{n}) \in \mathcal{T}_{r}(a,b)$ and
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\limsup_{n \rightarrow +\infty} |\nabla w_{n} |_2^{2}  < \frac{2\pi}{\gamma_{0}}-a^2-b^{2}.
    \end{aligned}
\end{eqnarray*}
	If $w_{n} \rightharpoonup w$ in $E_{rad}$ and $w_{n}(x) \rightarrow w(x)$ a.e in $\mathbb{R}^{2}$, then, for any $\phi,\psi\in C_{0}^{\infty}(\mathbb{R}^{2})$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
H_{u}(w_n)\phi \to H_{u}(w)\phi \quad \mbox{and} \quad H_{v}(w_n)\psi \to H_{v}(w)\psi \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^2).
    \end{aligned}
\end{eqnarray*}
\end{corollary}

\begin{proof}
By \eqref{nonb}, we know that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|H_{u}(w_{n})|\leq\varepsilon|w_{n}|^{\tau}+\kappa_{\varepsilon}|w_{n}|^{q-1}(e^{\gamma |w_{n}|^{2}}-1) \ \mbox{for all} \ w_{n}\in E.
    \end{aligned}
\end{eqnarray*}
Hence, for any $\phi\in C_{0}^{\infty}(\mathbb{R}^{2})$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|H_{u}(w_{n})\phi|\leq |H_{u}(w_{n})||\phi|\leq   \varepsilon|w_{n}|^{\tau}|\phi|+\kappa_{\varepsilon}|w_{n}|^{q-1}|\phi|(e^{\gamma |w_{n}|^{2}}-1) \ \mbox{for all} \ w_{n}\in E.
    \end{aligned}
\end{eqnarray*}
Let $U=supp \phi$. Then, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{U}|u_{n}|^{\tau}|\phi|dx\rightarrow\int_{U}|u|^{\tau}|\phi|dx, \ \mbox{as} \ n\rightarrow\infty,
    \end{aligned}
\end{eqnarray*}
and
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \int_{U}|u_{n}|^{q-1}|\phi|(e^{\gamma |u_{n}|^{2}}-1)dx\rightarrow\int_{U}|u|^{q-1}|\phi|(e^{\gamma |u|^{2}}-1)dx, \ \mbox{as} \ n\rightarrow\infty.
    \end{aligned}
\end{eqnarray*}
Now, applying a variant of the Lebesgue Dominated Convergence Theorem, we can deduce that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
H_{u}(w_n)\phi \to H_{u}(w)\phi \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^2), \ \mbox{for any }\phi\in C_{0}^{\infty}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
A similar argument works to show that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
H_{v}(w_n)\psi \to H_{v}(w)\psi \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^2), \ \mbox{for any }\psi\in C_{0}^{\infty}(\mathbb{R}^{2}),
    \end{aligned}
\end{eqnarray*}
which completes the proof.
\end{proof}

\begin{corollary} \label{Conver}Assume that $(H_{0})$-$(H_{2})$, $(H_{6})$ and $(H_{7})$ hold. Let $\{w_{n}\}$ be the $(PS)$ sequence of $J$ with $w_{n}=(u_{n},v_{n}) \in \mathcal{T}_{r}(a,b)$ and
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\limsup_{n \rightarrow +\infty} |\nabla w_{n} |_2^{2}  < \frac{2\pi}{\gamma_{0}}-a^2-b^{2}.
    \end{aligned}
\end{eqnarray*}
	If $w_{n} \rightharpoonup w$ in $E_{rad}$ and $w_{n}(x) \rightarrow w(x)$ a.e in $\mathbb{R}^{2}$, then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	H(w_n) \to H(w) \quad \mbox{and} \quad \nabla H(w_{n})\cdot w_{n} \to \nabla H(w)\cdot w \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^2).
    \end{aligned}
\end{eqnarray*}
\end{corollary}
\begin{proof}By \eqref{nona}, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|H(w)|\leq\varepsilon|w|^{\tau+1}+C|w|^{q}(e^{\gamma |w|^{2}}-1)\,\, \text{ for all }\, w \in E,
    \end{aligned}
\end{eqnarray*}
where $\gamma>\gamma_{0}$, $\tau>3$ and $q>2$. Therefore,
\begin{equation} \label{Domina1}
		|H(w_{n})|\leq\varepsilon|w_{n}|^{\tau+1}+C|w_{n}|^{q}(e^{\gamma |w_{n}|^{2}}-1)\,\, \text{ for all }\, w_{n} \in E.
	\end{equation}
By 	Lemma \ref{imp}, we know
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	|w_{n}|^{q}(e^{\gamma |w_{n}(x)|^{2}}-1) \rightarrow |w|^{q}(e^{\gamma |w(x)|^{2}}-1) \quad \mbox{in} \quad L^{1}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
By the compact embedding $H_{rad}^{1}(\mathbb{R}^{2}) \hookrightarrow L^{p}(\mathbb{R}^{2})$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	u_{n}\rightarrow u \quad \mbox{and} \quad v_{n}\rightarrow v \quad \mbox{in} \ \ L^{p}(\mathbb{R}^2).
    \end{aligned}
\end{eqnarray*}
Now, by \eqref{nonlina} and \eqref{nonlinb}, we can use  a variant of the Lebesgue Dominated Convergence Theorem to conclude that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	H(w_{n}) \to H(w) \quad \mbox{in} \quad L^{1}(\mathbb{R}^2).
    \end{aligned}
\end{eqnarray*}
	A similar argument works to show that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\nabla H(w_{n})\cdot w_{n} \to \nabla H(w)\cdot w \quad \mbox{in} \quad L^{1}(\mathbb{R}^2),
    \end{aligned}
\end{eqnarray*}
which completes the proof.
\end{proof}

\begin{lemma}\label{uni}
Assume that ($H_{0}$) and ($H_{5}$) hold. Let $w\in \mathcal{T}_{r}(a,b)$. Then the function $\tilde{J}_{w}(s)=J(\mathcal{F}(w,s))$ reaches its unique maximum at a point $s(w)\in \mathbb{R}$ such that $\mathcal{F}(w,s(w))\in \mathcal{P}(a,b)$.
\end{lemma}
\begin{proof}
First, we know
\begin{equation}\label{DS1}
    \begin{aligned}\displaystyle
\tilde{J}^{\prime}_{w}(s)=P(\mathcal{F}(w,s))=|\nabla \mathcal{F}(w,s)|^{2}_{2}-\int_{\mathbb{R}^{2}}\tilde{H}(\mathcal{F}(w,s)(x))dx.
    \end{aligned}
\end{equation}

By Lemmas \ref{geo} and \ref{P1}, we know that there exists at least a $s_{0}\in \mathbb{R}$ such that $\tilde{J}^{\prime}_{w}(s)_{|_{s=s_{0}}}=0$. By \eqref{DS1}, we obtain that $\mathcal{F}(w,s_{0})\in \mathcal{P}(a,b)$. Then, by $\tilde{J}^{\prime}_{w}(s)_{|_{s=s_{0}}}=0$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\tilde{J}^{\prime\prime}_{w}(s)_{|_{s=s_{0}}}= 4\int_{\mathbb{R}^{2}}\tilde{H}(\mathcal{F}(w,s_{0})(x))dx -\int_{\mathbb{R}^{2}}\nabla \tilde{H}(\mathcal{F}(w,s_{0})(x))\cdot \mathcal{F}(w,s_{0})(x)dx.
    \end{aligned}
\end{eqnarray*}
Thus, by ($H_{5}$), we deduce that $\tilde{J}^{\prime\prime}_{w}(s)_{|_{s=s_{0}}}<0$, which proves the unicity of $s_{0}$.
\end{proof}

By virtue of Lemma \ref{uni},  similarly to \cite[Lemma 2.10]{jeanjean1} or \cite[Lemma 2.5]{BartschLi}, we show the following Lemma.

\begin{lemma}\label{fin}
Assume that ($H_{0}$) and ($H_{5}$) hold. Let $w\in \mathcal{T}_{r}(a,b)$. Then
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    m_{\mu}(a,b)= c(a,b):=\inf\limits_{w\in \mathcal{P}(a,b)}\max\limits_{s\in \mathbb{R}}J(\mathcal{F}(w,s)).
    \end{aligned}
\end{eqnarray*}
\end{lemma}

\begin{proof}
For $w\in \mathcal{T}_{r}(a,b)$, by Lemma \ref{uni}, we know that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \max\limits_{s\in \mathbb{R}}J(\mathcal{F}(w,s))=J(\mathcal{F}(w,s(w)))\geq m_{\mu}(a,b),
    \end{aligned}
\end{eqnarray*}
Thus, $m_{\mu}(a,b)\leq c(a,b)$. On the other hand, for $w\in \mathcal{P}(a,b)$, Lemma \ref{uni} also implies
\begin{eqnarray*}
    \begin{aligned}\displaystyle
J(w)=\max\limits_{s\in \mathbb{R}}J(\mathcal{F}(w,s))\geq \inf\limits_{w\in \mathcal{P}(a,b)}\max\limits_{s\in \mathbb{R}}J(\mathcal{F}(w,s)),
    \end{aligned}
\end{eqnarray*}
hence, $m_{\mu}(a,b)= c(a,b)$.
\end{proof}

\section{{\bfseries On the mini-max level}}\label{minimax}
In this section, we obtain an upper bound for the minimax level. Thus, we obtain an upper bound for $\|w\|_{E}^{2}$, which is important for exponential critical problem.
\begin{lemma} \label{ESTMOUNTPASS} Assume that ($H_{6}$) holds, there holds $\displaystyle \lim_{\mu \rightarrow +\infty}m_\mu(a,b)=0$.
\end{lemma}

\begin{proof} In what follow we set the path $h_{0}(t)=\mathcal{F}\big(w_{0}, (1-t)s_1+ts_2\big) \in \Gamma$. Then, by $(H_{7})$,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	m_\mu(a,b) \leq \max_{t \in [0,1]}J(h_0(t))&\leq \max_{s \in \mathbb{R}}\left\{\frac{e^{2s}}{2}|\nabla w_{0}|_{2}^{2}-\frac{\mu}{\sigma}e^{(\sigma-2)s}|w_{0}|_{\sigma}^{\sigma}\right\}\\
 &= \max_{r \geq 0}\left\{\frac{r^{2}}{2}|\nabla w_{0}|_{2}^{2}-\frac{\mu}{\sigma}r^{\sigma-2}|w_{0}|_{\sigma}^{\sigma}\right\}.
    \end{aligned}
\end{eqnarray*}
Thus,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	m_\mu(a,b) \leq C_{2}\left(\frac{1}{\mu}\right)^{\frac{2}{\sigma-4}} \to 0 \quad \mbox{as} \quad \mu \to +\infty,
    \end{aligned}
\end{eqnarray*}
for some $C_2>0$. Here, we have used the fact that $\sigma>4$.
\end{proof}

\begin{lemma}\label{newlem1} Assume that $(H_{2})$ and ($H_{6}$) hold. Let $w_{n}\in \mathcal{T}_{r}(a,b)$. Then, the $(PS)$ sequence $\{w_{n}\}$ of $J$ satisfies
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\limsup_{n \rightarrow +\infty}\int_{\mathbb{R}^2}H(w_{n})\,dx \leq \frac{2}{\theta-4}m_\mu(a,b).
    \end{aligned}
\end{eqnarray*}
\end{lemma}
\begin{proof} Using the fact that $J(w_{n})=m_\mu(a,b)+o_n(1)$ and $P(w_{n})=o_n(1)$, it follows that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	2{J}(w_{n})+P(w_{n})=2m_\mu(a,b)+o_n(1),
    \end{aligned}
\end{eqnarray*}
and so,
\begin{equation}\label{equa1}
    \begin{aligned}\displaystyle
	2|\nabla w_{n}|_{2}^{2}-\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx=2m_\mu(a,b)+o_n(1).
    \end{aligned}
\end{equation}
Using that $J(w_{n})=m_\mu(a,b)+o_n(1)$, we obtain
\begin{equation}\label{equa2}
    \begin{aligned}\displaystyle
|\nabla w_{n}|_{2}^{2}=2\int_{\mathbb{R}^2} H(w_{n}) dx+2m_\mu(a,b)+o_n(1).
    \end{aligned}
\end{equation}
Together \eqref{equa1} and \eqref{equa2}, we get
\begin{eqnarray*}
    \begin{aligned}\displaystyle
4\int_{\mathbb{R}^2} H(w_{n}) dx+4m_\mu(a,b)+o_n(1)-\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx=2m_\mu(a,b)+o_n(1).
    \end{aligned}
\end{eqnarray*}
Then, by $(H_{2})$,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
2m_\mu(a,b)+o_n(1)=\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx-4\int_{\mathbb{R}^2} H(w_{n}) dx\geq (\theta-4)\int_{\mathbb{R}^2} H(w_{n}) dx.
    \end{aligned}
\end{eqnarray*}
Since $\theta>4$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\limsup_{n \rightarrow +\infty}\int_{\mathbb{R}^2}H(w_{n})\,dx \leq \frac{2}{\theta-4}m_\mu(a,b).
    \end{aligned}
\end{eqnarray*}
Then, the proof is complete.
\end{proof}

\begin{lemma} \label{boundd}Assume that $(H_{2})$ and ($H_{6}$) hold. Let $w_{n}\in \mathcal{T}_{r}(a,b)$. Then, the $(PS)$ sequence $\{w_{n}\}$ of $J$ satisfies
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\displaystyle \limsup_{n \rightarrow +\infty}|\nabla w_{n}|_{2}^{2} \leq \frac{2(\theta-2)}{\theta-4} m_\mu(a,b).
    \end{aligned}
\end{eqnarray*}
Hence, there exists $\mu^*>0$ such that
\begin{equation}\label{level}
    \begin{aligned}\displaystyle
	\limsup_{n \to +\infty}|\nabla w_{n}|_{2}^{2}<\frac{2\pi}{\gamma_{0}}-a^{2}-b^{2}, \,\,\text{for any} \,\,\,\mu \geq \mu^*.
    \end{aligned}
\end{equation}
Moreover, the sequence $\{w_{n}\}$ is bounded in $E$.
\end{lemma}

\begin{proof}  Since $J(w_{n})=m_\mu(a,b)+o_n(1)$, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\int_{\mathbb{R}^2}|\nabla w_{n}|^2\,dx=2m_\mu(a,b)+2\int_{\mathbb{R}^2}H(w_n)\,dx+o_n(1).
    \end{aligned}
\end{eqnarray*}
Thus, by Lemma \ref{newlem1}, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	\limsup_{n \to +\infty}|\nabla w_n|_{2}^{2}  \leq \frac{2(\theta-2)}{\theta-4} m_\mu(a,b),
    \end{aligned}
\end{eqnarray*}
which implies \eqref{level} hold and $\{w_{n}\}$ is bounded in $E$.
\end{proof}

\begin{lemma} \label{mu}Assume that $(H_{2})$, $(H_{4})$ and ($H_{6}$) hold. For all $\mu \geq \mu_{1}$, where $\mu_{1}=\max\{\mu^{*},\mu^{**}\}$, we have  $\{\lambda_{1,n}\},\{\lambda_{2,n}\}$ are bounded sequence with
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	 \lambda_{1,n}\rightarrow \lambda_{1}>0,  \lambda_{2,n}\rightarrow \lambda_{2}>0 \ \mbox{and} \ \limsup_{n \rightarrow +\infty} |-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2}|\leq \frac{4(\theta-1)}{\theta-4} m_\mu(a,b).
    \end{aligned}
\end{eqnarray*}
\end{lemma}

\begin{proof}
By \eqref{EQ2}, the number $\lambda_{1,n},\lambda_{2,n}$  must satisfy the equality below
\begin{equation} \label{lambdan1}
	\lambda_{1,n}=-\frac{1}{a^{2}}\left\{ J^{\prime}(u_{n},v_{n})(u_{n},0) \right\}+o_n(1) \ \mbox{and} \ \lambda_{2,n}=-\frac{1}{b^{2}}\left\{ J^{\prime}(u_{n},v_{n})(0,v_{n}) \right\}+o_n(1),
\end{equation}
thus, $\{\lambda_{1,n}\},\{\lambda_{2,n}\}$ are bounded in $\mathbb{R}$. Then, by \eqref{lambdan1}, we obtain
\begin{equation}\label{lama}
    \begin{aligned}\displaystyle
    -\lambda_{1,n}a^{2} =|\nabla u_{n}|_{2}^{2}-\int_{\mathbb{R}^2} H_{u}(w_{n}) u_{n}\,dx+o_n(1),
    \end{aligned}
\end{equation}
and
\begin{equation}\label{lamb}
    \begin{aligned}\displaystyle
    -\lambda_{2,n}b^{2} =|\nabla v_{n}|_{2}^{2}-\int_{\mathbb{R}^2} H_{v}(w_{n}) v_{n}\,dx+o_n(1).
    \end{aligned}
\end{equation}
The limit (\ref{PEQ2}) together with Lemmas \ref{newlem1} and \ref{boundd} ensures that $(\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx)$ is bounded with
\begin{equation}\label{dnon}
    \begin{aligned}\displaystyle
\limsup_{n \rightarrow +\infty}\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx\leq \frac{2\theta}{\theta-4} m_\mu(a,b).
    \end{aligned}
\end{equation}
By \eqref{lama} and Lemma \ref{boundd}, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \lambda_{1,n}a^{2}&=-|\nabla u_{n}|_{2}^{2}+\int_{\mathbb{R}^2} H_{u}(w_{n}) u_{n}\,dx+o_n(1)\\
    &\geq-|\nabla w_{n}|_{2}^{2} +\int_{\mathbb{R}^2} H_{u}(w_{n}) u_{n}\,dx+o_n(1)\\
    &\geq-\frac{2(\theta-2)}{\theta-4} m_\mu(a,b)+\int_{\mathbb{R}^2} H_{u}(w_{n}) u_{n}\,dx+o_n(1).
    \end{aligned}
\end{eqnarray*}
Then, by $(H_{4})$, there exists $\mu^{**}>0$ such that
\begin{equation}\label{lamdda}
    \begin{aligned}\displaystyle
\lambda_{1,n}a^{2}\geq-\frac{2(\theta-2)}{\theta-4} m_\mu(a,b)+\int_{\mathbb{R}^2} H_{u}(w_{n}) u_{n}\,dx+o_n(1)>0 \ \mbox{for all} \  \mu \geq \mu^{**}.
    \end{aligned}
\end{equation}
A similar argument works to show that
\begin{equation}\label{lamddb}
    \begin{aligned}\displaystyle
\lambda_{2,n}b^{2}\geq-\frac{2(\theta-2)}{\theta-4} m_\mu(a,b)+\int_{\mathbb{R}^2} H_{v}(w_{n}) v_{n}\,dx+o_n(1)>0 \ \mbox{for all} \  \mu \geq \mu^{**}.
    \end{aligned}
\end{equation}
By $\{\lambda_{1,n}\},\{\lambda_{2,n}\}$ are bounded in $\mathbb{R}$, using \eqref{lamdda} and \eqref{lamddb}, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \lambda_{1,n}\rightarrow \lambda_{1}>0, \ \mbox{and} \ \lambda_{2,n}\rightarrow \lambda_{2}>0.
    \end{aligned}
\end{eqnarray*}

Then, combining the two equality of \eqref{lambdan1}, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
	-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2} =|\nabla u_{n}|_{2}^{2}+|\nabla v_{n}|_{2}^{2}-\int_{\mathbb{R}^2}\nabla H(u_{n},v_{n})\cdot (u_{n},v_{n})\,dx+o_n(1).
    \end{aligned}
\end{eqnarray*}
Hence, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\limsup_{n \rightarrow +\infty} |-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2}|&\leq
|\nabla w_{n}|_{2}^{2}+\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx\\
&\leq \frac{2\theta}{(\theta-4)}m_\mu(a,b)+\frac{2(\theta-2)}{\theta-4} m_\mu(a,b)\\&=\frac{4(\theta-1)}{\theta-4} m_\mu(a,b),
    \end{aligned}
\end{eqnarray*}
which completes the proof.
\end{proof}

\section{{\bfseries Proof of Theorem \ref{T2}}}\label{critical}
In this section, we restrict our study to the space $E_{rad}$ and assume that $H_{u},H_{v}$ have critical growth with exponent critical $\gamma_{0}$.\\
{\bf Proof of Theorem}$\ref{T2}$. First, by Lemma \ref{mu}, we have $\lambda_{1}>0$ and $\lambda_{2}>0$. Then, the equality \eqref{EQ2} and Corollary \ref{slimitb} imply that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
-\Delta u+\lambda_{1}u=H_{u}(w) \ \ \mbox{and} \ -\Delta v+\lambda_{1}v=H_{v}(w) \ \  \mbox{in} \ H^{1}(\mathbb{R}^{2}).
    \end{aligned}
\end{eqnarray*}
Thus, $P(u,v)=0$. Then, we show $w_{n}\rightharpoonup w:=(u,v)$ in $E_{rad}$, where $u,v\neq 0$. By Lemma \ref{boundd}, we have $w_{n}\rightharpoonup w:=(u,v)$ in $E_{rad}$. Assume that $u=0$, then by ($H_{3}$) and Remark \ref{nontrivial}, we know that $v=0$. Thus, the only case is that $w_{n}\rightharpoonup w=(0,0)$. For any $\mu \geq \mu_{1}$, using Corollary \ref{Conver}, it follows that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\lim_{n \rightarrow +\infty}\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx=\int_{\mathbb{R}^2}\nabla H(w)\cdot w\,dx,
    \end{aligned}
\end{eqnarray*}
and
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\lim_{n \rightarrow +\infty}\int_{\mathbb{R}^2}H(w_{n})\,dx=\int_{\mathbb{R}^2}H(w)\,dx,
    \end{aligned}
\end{eqnarray*}
where $w_{n} \rightharpoonup w$ in $E_{rad}$. The last limit implies that $w \not=(0,0)$, because otherwise, Corollary \ref{Conver} gives
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\lim_{n \rightarrow +\infty}\int_{\mathbb{R}^2}H(w_{n})\,dx=\lim_{n \rightarrow +\infty}\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx=0,
    \end{aligned}
\end{eqnarray*}
and by Lemma \ref{mu},
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\limsup_{n \rightarrow +\infty} |-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2}|\leq \frac{4(\theta-1)}{\theta-4} m_\mu(a,b),
    \end{aligned}
\end{eqnarray*}
which implies that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\limsup_{n \rightarrow +\infty} (-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2})\leq0.
    \end{aligned}
\end{eqnarray*}
Since $\{w_{n}\}$ is bounded in $E$ and $\displaystyle \limsup_{n \rightarrow +\infty}|\nabla w_{n}|_{2}^{2}<\frac{2\pi}{\gamma_{0}}-a^{2}-b^{2}$ for all $\mu \geq \mu_{1}$, Corollary \ref{Conver}  together with the equality below
\begin{equation*}
	-\lambda_{1,n}| u_{n}|_{2}^{2}-\lambda_{2,n}| v_{n}|_{2}^{2}=|\nabla w_n|^{2}_{2}-\int_{\mathbb{R}^2}\nabla H(w_{n})\cdot w_{n}\,dx+o_n(1),
\end{equation*}
lead to
\begin{equation}  \label{m2}
	-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2}=|\nabla w_{n}|_{2}^{2}+o_n(1).
\end{equation}
From this,
\begin{eqnarray*}
    \begin{aligned}\displaystyle
0 \geq \limsup_{n \rightarrow +\infty} (-\lambda_{1,n}a^{2}-\lambda_{2,n}b^{2})= \limsup_{n \rightarrow +\infty} |\nabla w_{n}|^{2}_{2} \geq \liminf_{n \rightarrow +\infty} |\nabla w_{n}|^{2}_{2}\geq 0,
    \end{aligned}
\end{eqnarray*}
then $|\nabla u_n|^{2}_{2} \to 0$, which is absurd, because $m_{\mu}(a,b)>0$.

Now, we obtain that $w_{n}\rightharpoonup w:=(u,v)$, where $u,v\neq 0$. Then, we show the strong convergence that $(u_{n},v_{n})\rightarrow(u,v)$ in $E_{rad}$. The proof is divided into two steps.

{\bf Step 1.} We show that $\lim\limits_{n\rightarrow\infty} |\nabla u_{n}|_{2}^{2}=|\nabla u|_{2}^{2}$ and $\lim\limits_{n\rightarrow\infty}|\nabla v_{n}|_{2}^{2}=|\nabla v|_{2}^{2}$.

By Corollary $\ref{Conver}$, we obtain
\begin{equation}\label{limittb}
    \begin{aligned}\displaystyle
	H(w_n) \to H(w) \quad \mbox{and} \quad \nabla H(w_{n})\cdot w_{n} \to \nabla H(w)\cdot w \,\, \mbox{in} \,\, L^{1}(\mathbb{R}^2).
    \end{aligned}
\end{equation}
Then, by \eqref{Pohozaev} and $\eqref{limittb}$, together with the weak convergence
\begin{eqnarray*}
    \begin{aligned}\displaystyle
P(u_{n},v_{n})-P(u,v)=o_{n}(1),
    \end{aligned}
\end{eqnarray*}
we deduce
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\lim\limits_{n\rightarrow\infty}|\nabla {u}_{n}|_{2}^{2}-|\nabla {u}|_{2}^{2}+\lim\limits_{n\rightarrow\infty}|\nabla {v}_{n}|_{2}^{2}-|\nabla {v}|_{2}^{2}=0.
    \end{aligned}
\end{eqnarray*}
By Fatou Lemma, we have
\begin{eqnarray*}
    \begin{aligned}\displaystyle
|\nabla {u}|_{2}^{2}\leq\liminf\limits_{n\rightarrow\infty}|\nabla {u}_{n}|_{2}^{2}\leq\lim\limits_{n\rightarrow\infty}|\nabla {u}_{n}|_{2}^{2} \ \mbox{and} \ |\nabla {v}|_{2}^{2}\leq\liminf\limits_{n\rightarrow\infty}|\nabla {v}_{n}|_{2}^{2}\leq\lim\limits_{n\rightarrow\infty}|\nabla {v}_{n}|_{2}^{2},
    \end{aligned}
\end{eqnarray*}
which implies that
\begin{eqnarray*}
    \begin{aligned}\displaystyle
\lim\limits_{n\rightarrow\infty}|\nabla u_{n}|_{2}^{2}=|\nabla u|_{2}^{2} \ \ \mbox{and} \ \ \lim\limits_{n\rightarrow\infty}|\nabla v_{n}|_{2}^{2}=|\nabla v|_{2}^{2}.
    \end{aligned}
\end{eqnarray*}

{\bf Step 2.} We show that $|u|_{2}=a$, $|v|_{2}=b$.

By Lemma \ref{mu}, we have $\lambda_{1}>0$ and $\lambda_{2}>0$. Combining \eqref{mu2}, \eqref{EQ2}, \eqref{PEQ2} and $P(u,v)=0$, we obtain
\begin{eqnarray*}
    \begin{aligned}\displaystyle
    \lambda_{1}a^{2}+\lambda_{2}b^{2}=\lambda_{1}|u|_{2}^{2}+\lambda_{2}|v|_{2}^{2},
    \end{aligned}
\end{eqnarray*}
Then, $0<|u|_{2}\leq a$, and $0<|v|_{2}\leq b$ implying that $|u|_{2}=a$ and $|v|_{2}=b$. Thus, $w_{n}\rightarrow w$ in $E_{rad}$. Finally, by Lemma \ref{fin}, we obtain that $(u,v)$ is a normalized ground state solution of \eqref{aa}.
\qed

\smallskip

\smallskip
\smallskip

\noindent{\bfseries Acknowledgements:}
The research has been supported by National Natural Science Foundation of China 11971392, Natural Science
Foundation of Chongqing, China cstc2019jcyjjqX0022.