Open Access
This article is

- freely available
- re-usable

*Sensors*
**2019**,
*19*(20),
4440;
https://doi.org/10.3390/s19204440

Article

Aerial Cooperative Jamming for Cellular-Enabled UAV Secure Communication Network: Joint Trajectory and Power Control Design

^{1}

The Glorious Sun School of Business and Management, Donghua University, Shanghai 200051, China

^{2}

College of Information Science & Technology, Chengdu University of Technology, Chengdu 610059, China

^{3}

School of Communication and Information Engineering, Chongqing University of Posts and Telecommunications, Chongqing 400065, China

^{4}

School of Electronic Information Engineering, Shanghai Dianji University, Shanghai 201306, China

^{*}

Author to whom correspondence should be addressed.

Received: 22 September 2019 / Accepted: 11 October 2019 / Published: 14 October 2019

## Abstract

**:**

To improve the secrecy performance of cellular-enabled unmanned aerial vehicle (UAV) communication networks, this paper proposes an aerial cooperative jamming scheme and studies its optimal design to achieve the maximum average secrecy rate. Specifically, a base station (BS) transmits confidential messages to a UAV and meanwhile another UAV performs the role of an aerial jammer by cooperatively sending jamming signals to oppose multiple suspicious eavesdroppers on the ground. As the UAVs have the advantage of the controllable mobility, the objective is to maximize the worst-case average secrecy rate by the joint optimization of the two UAVs’ trajectories and the BS’s/UAV jammer’s transmit/jamming power over a given mission period. The objective function of the formulated problem is highly non-linear regarding the optimization variables and the problem has non-convex constraints, which is, in general, difficult to achieve a globally optimal solution. Thus, we divide the original problem into four subproblems and then solve them by applying the successive convex approximation (SCA) and block coordinate descent (BCD) methods. Numerical results demonstrate that the significantly better secrecy performance can be obtained by using the proposed algorithm in comparison with benchmark schemes.

Keywords:

UAV secure communication; secrecy rate maximization; jamming; trajectory design; power control## 1. Introduction

Due to the many advantages of controllable mobility, such as on-demand fast deployment, wide coverage, low cost, and line-of-sight (LoS) transmission that offers good channel capacity, unmanned aerial vehicles (UAVs) have been extensively utilized in different scenarios, e.g., surveillance and monitoring [1,2,3], search and rescue [4,5], cargo transportation [6], data collection [7] and mobile relays [8].

Recently, UAVs have attracted increasing attention in wireless communications, and are anticipated to playing an important role in the next-generation wireless networks [9,10]. Generally, there are two promising solutions to UAV communication applications: cellular-enabled UAV communication (CEUC) and UAV-assisted terrestrial communication (UATC) networks [11]. In UATC, the UAVs are flexibly deployed as aerial base stations (BSs) or mobile relays to assist in providing reliable communication services for terrestrial networks [12,13,14]. By contrast, the UAVs are integrated into the wireless network scenarios as aerial users served by ground BSs in the CEUC system [15]. Owing much to the almost ubiquitous accessibility of the existing LTE (Long Term Evolution) and the forthcoming (beyond) fifth-generation ((B)5G) cellular networks, reliable communications can be supported between UAVs and their corresponding BSs [16,17]. The CEUC is anticipated to have a number of appealing advantages over the existing ground-to-UAV communications, including the ease of monitoring and management, ubiquitous accessibility, robust navigation and enhanced performance, etc. [11]. Despite its merits, the UAV communication based on the future (B)5G cellular networks is more susceptible to suspicious eavesdropping on the ground, which leads to a severe security challenge that is urged to be solved.

Currently, the UAV trajectory design combined with physical-layer security techniques, as a promising solution, has drawn significant attention to safeguard the UAV communication. Specifically, UAV secure communications are studied in [18,19], where the average secrecy rate is significantly improved via optimizing the trajectory of the UAV jointly with the power control for a finite mission duration. As cooperative jamming is one of the important physical-layer techniques that can enhance the secrecy performance, reference [20] proposed to employ a UAV as a friendly mobile jammer, to ensure the secrecy of the ground wiretap channel. In [21], a novel full-duplex operation was applied to the rotary-wing UAV to further improve the energy efficiency (EE) of UAV secrecy communications, and the EE was maximized by the joint optimization of the source transmit/UAV’s jamming power and UAV trajectory. A four-node mobile relay and eavesdropper system is proposed in [22], where the UAV was employed as a mobile relay to assist in terrestrial communications. To cope with the non-convex secrecy rate maximization problem, an alternating optimization algorithm is designed by optimizing the power control and UAV trajectory alternatively. The authors in [23,24] proposed a dual-UAV UATC network to enhance the communication quality and improve the secrecy performance, where the downlink transmission from the UAVs is established by adaptively adjusting the UAVs’ trajectories and transmit powers. Note that most of the above studies only focus on the security issues in UATC systems. However, how to design efficient anti-eavesdropping methods, to protect legitimate BS-to-UAV transmission in the CEUC networks, has not been investigated, and thus remains a challenging problem to address.

In light of the above, we propose an anti-eavesdropping scheme by employing an aerial UAV jammer in the CEUC network, where one UAV flies to receive confidential messages from a BS while the mobile UAV jammer confuses multiple suspicious eavesdroppers on the ground by sending jamming signals. Specifically, we take into account the joint optimization of both the UAVs’ trajectories and the BS’s/UAV jammer’s power allocation, in order to maximize the average worst-case secrecy rate of the UAV receiver for a given finite period. In the proposed scheme, the UAVs are subject to the practical mobility as well as both the average and peak power constraints. In contrast with the above-mentioned existing works, the UAVs’ trajectory design in our proposed CEUC network is particularly important, as the interference from other UAVs cannot be practically cancelled, which causes different objective function and constraints. Therefore, well-designed trajectories of the UAVs can not only avoid severe interference between UAVs, but also provide effective jamming signals to the eavesdroppers, which is expected to notably enhance the secrecy performance. As the formulated optimization problem is non-convex with the objective function as well as its constraints, it is very hard to obtain a globally optimal solution (Since the difficulty of the original problem is NP-hard, it is generally impossible to obtain the globally optimal solution by using the present optimization techniques.) To tackle this challenging problem, we first transform it into a lower bound expression with more tractability. Then, an efficient algorithm is designed by applying the block coordinate descent (BCD) method [25,26]. To be specific, we partition the total optimization variables into four blocks for the two UAVs’ trajectories, BS’s transmit power, and UAV jammer’s jamming power control, respectively. Then, each block is alternatively optimized in each iteration with other blocks being fixed. Although we fix the other three blocks, the corresponding optimization problem remains intractable because of its non-convex. To obtain a high-quality approximately optimal solution, we thus introduce a series of slack variables and apply successive convex approximation (SCA) technique [27,28]. The proposed algorithm has the applicable complexity and guarantees to converge to a locally optimal solution to this problem. To best of knowledge, this is the first work that exploits the anti-eavesdropping UAV trajectory design to solve physical-layer security issues of the CEUC system. The numerical results illustrate that the designed algorithm achieves significantly better secrecy performance than all benchmarks without trajectory or power control design, especially the scheme without the UAV jammer, as in [18].

The rest of this paper is organized as follows. Section 2 gives the system model and problem formulation. In Section 3, a joint optimization algorithm is proposed and its complexity and convergence performance are also analyzed. The simulations are presented in Section 4 to verify the effectiveness of the proposed algorithm. Finally, Section 5 concludes the paper.

## 2. System Model and Problem Formulation

#### 2.1. System Model

Consider a CEUC network, as shown in Figure 1, where a ground BS transmits confidential messages to a mobile UAV receiver (denoted by U) within a given UAV flight period T, while I malicious eavesdroppers on the ground, denoted by ${\mathrm{E}}_{i}$ for $i\in \mathcal{I}\triangleq \{1,\cdots ,I\}$, intercept the messages from the valid UAV communication. To safeguard the legitimate transmission, the potential eavesdroppers are kept under surveillance by an aerial UAV jammer (denoted by J). The aim of the UAV J is to cooperatively send jamming signals to the eavesdroppers to resist their wiretapping. Notice that if there is no friendly UAV J and only one eavesdropper is considered, the proposed scenario reduces to the goround-to-UAV transmission in [18].

Based on the three-dimensional Cartesian coordinate system, we denote ${\mathbf{w}}_{\mathrm{B}}={[{x}_{\mathrm{B}},{y}_{\mathrm{B}}]}^{T}$ and ${\mathbf{w}}_{{\mathrm{E}}_{i}}={[{x}_{{\mathrm{E}}_{i}},{y}_{{\mathrm{E}}_{i}}]}^{T}$ as the horizontal coordinates of the BS and ${\mathrm{E}}_{i}$, respectively, which are assumed to be fixed and known beforehand to the UAVs. The assumption that ${\mathbf{w}}_{{\mathrm{E}}_{i}}$ is known in the network is proper when ${\mathrm{E}}_{i}$ is an active ground node but untrusted by the UAV [29]. Therefore, ${\mathrm{E}}_{i}$ can be detected by the synthetic aperture radar or optical camera mounted on the UAV [18]. The initial and final locations of the UAVs are assumed to be pre-specified, which are denoted by ${\mathbf{q}}_{k,0}={[{x}_{k,0},{y}_{k,0}]}^{T}$ and ${\mathbf{q}}_{k,\mathrm{F}}={[{x}_{k,\mathrm{F}},{y}_{k,\mathrm{F}}]}^{T}$ for $k\in \{\mathrm{U},\mathrm{J}\}$, respectively. To make it more manageable, the period T is partitioned into N equal-length time slots, i.e., $T={\delta}_{t}N$, where ${\delta}_{t}$ is the length of one time slot. As such, the UAV trajectory in time slot $n\in N$ can be represented approximately by ${\mathbf{q}}_{k}\left[n\right]\triangleq {[{x}_{k}\left[n\right],{y}_{k}\left[n\right]]}^{T}$ for $k\in \{\mathrm{U},\mathrm{J}\}$, with a fixed altitude H. Let $\Omega ={V}_{max}{\delta}_{t}$ be the maximum horizontal distance that the UAV can travel in a single time slot, where ${V}_{max}$ is the maximum speed of the UAV. Practically, the UAVs should satisfy the following mobility constraints,
where ${d}_{min}$ is the minimum tolerable distance between the two UAVs that ensures the avoidance of a collision.

$$\left|\right|{\mathbf{q}}_{k}[n+1]-{\mathbf{q}}_{k}\left[n\right]{\left|\right|}^{2}\le {\Omega}^{2},n=0,\cdots ,N-1,$$

$${\mathbf{q}}_{k}\left[0\right]={\mathbf{q}}_{k,0},{\mathbf{q}}_{k}\left[N\right]={\mathbf{q}}_{k,\mathrm{F}},$$

$$\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}\ge {d}_{min}^{2},n=0,\cdots ,N,$$

We assume that the ground-to-UAV and UAV-to-UAV transmissions are mainly governed by LoS channels [18,20,23,24]. Thus, the corresponding channel power gains in time slot n follow the free-space path loss model. (For the purpose of exposition, it is reasonable to assume that the ground-to-UAV follows the free-space LoS channel model when the UAV is deployed in the rural area with sufficiently high altitude. In this case, the probability of Non-LoS state is negligible compared to the dominant LoS state [30]. However, the proposed design is readily extendable to more general channel models in urban areas with Non-LoS effects, e.g., [30].), which are, respectively, given as below,
where ${d}_{\mathrm{BU}}\left[n\right]$, ${d}_{{\mathrm{JE}}_{\mathrm{i}}}\left[n\right]$ and ${d}_{\mathrm{JU}}\left[n\right]$ are the distances from the BS to the UAV U, from the UAV J to the eavesdropper ${\mathrm{E}}_{i}$, and between the two UAVs in time slot n, respectively, ${\rho}_{0}$ is the channel power gain at the reference distance ${d}_{0}=1$ m and ${H}_{\mathrm{B}}$ is the altitude of the BS. The ground-to-ground transmission is assumed to follow the Rayleigh fading channel. As such, the channel power gain is denoted by
where ${d}_{\mathrm{B}{\mathrm{E}}_{\mathrm{i}}}$ is the distance between the BS and the eavesdropper ${\mathrm{E}}_{i}$, ${\zeta}_{i}$ is an exponentially distributed random variable with unit mean representing small-scale Rayleigh fading and $\kappa \ge 2$ is the distance-dependent path loss exponent.

$${h}_{\mathrm{BU}}\left[n\right]={\rho}_{0}{d}_{\mathrm{BU}}^{-2}\left[n\right]=\frac{{\rho}_{0}}{{(H-{H}_{\mathrm{B}})}^{2}+\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{w}}_{\mathrm{B}}{\left|\right|}^{2}},$$

$${h}_{{\mathrm{JE}}_{i}}\left[n\right]={\rho}_{0}{d}_{{\mathrm{JE}}_{\mathrm{i}}}^{-2}\left[n\right]=\frac{{\rho}_{0}}{{H}^{2}+\left|\right|{\mathbf{q}}_{\mathrm{J}}\left[n\right]-{\mathbf{w}}_{{\mathrm{E}}_{i}}{\left|\right|}^{2}},$$

$${h}_{\mathrm{JU}}\left[n\right]={\rho}_{0}{d}_{\mathrm{JU}}^{-2}\left[n\right]=\frac{{\rho}_{0}}{\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}},$$

$${h}_{{\mathrm{BE}}_{i}}={\rho}_{0}{\zeta}_{i}{d}_{\mathrm{B}{\mathrm{E}}_{\mathrm{i}}}^{-\kappa}=\frac{{\rho}_{0}{\zeta}_{i}}{\left|\right|{\mathbf{w}}_{\mathrm{B}}-{\mathbf{w}}_{{\mathrm{E}}_{i}}\left|\right|{}^{\kappa}},$$

Denote by $P\left[n\right]$ and $Q\left[n\right]$ the BS’s transmit power and the UAV J’s jamming power in time slot n, respectively. In practice, they should satisfy the respective average power constraint $\overline{P}$ or $\overline{Q}$, and peak power constraint $\widehat{P}$ or $\widehat{Q}$, i.e.,
where $\overline{P}\le \widehat{P}$ and $\overline{Q}\le \widehat{Q}$. Then, the achievable rate in bits/second/Hertz (bps/Hz) of the UAV U in time slot n is given by
where $Q\left[n\right]{h}_{\mathrm{JU}}\left[n\right]$ is the jamming interference from the UAV J, and ${\sigma}^{2}$ is the additive white Gaussian noise power at the receivers. Similarly, the achievable rate of the eavesdropper ${\mathrm{E}}_{i}$ in time slot n can be expressed as
where ${\mathbb{E}}_{{\zeta}_{i}}[\xb7]$ is the expectation operator with respect to (w.r.t.) ${\zeta}_{i}$. Note that ${R}_{{\mathrm{E}}_{i}}\left[n\right]$ is replaced by $\widehat{R}{}_{{\mathrm{E}}_{i}}\left[n\right]$ based on Jensen’ inequality and the concavity of ${R}_{{\mathrm{E}}_{i}}\left[n\right]$ w.r.t. ${\zeta}_{i}$, and $\widehat{R}{}_{{\mathrm{E}}_{i}}\left[n\right]$ is the largest rate that ${\mathrm{E}}_{i}$ can achieve. Therefore, in accordance with the theoretical results in [31], the worst-case secrecy rate for each time slot can be lower bounded by

$$\frac{1}{N}\sum _{n=1}^{N}P\left[n\right]\le \overline{P},0\le P\left[n\right]\le \widehat{P},$$

$$\frac{1}{N}\sum _{n=1}^{N}Q\left[n\right]\le \overline{Q},0\le Q\left[n\right]\le \widehat{Q},$$

$$\begin{array}{cc}\hfill {R}_{\mathrm{U}}\left[n\right]& ={\mathrm{log}}_{2}\left(1+\frac{P\left[n\right]{h}_{\mathrm{BU}}\left[n\right]}{Q\left[n\right]{h}_{\mathrm{JU}}\left[n\right]+{\sigma}^{2}}\right),\hfill \end{array}$$

$$\begin{array}{cc}{R}_{{\mathrm{E}}_{i}}\left[n\right]\hfill & ={\mathbb{E}}_{{\zeta}_{i}}\left[{\mathrm{log}}_{2}\left(1+\frac{P\left[n\right]{h}_{{\mathrm{BE}}_{i}}}{Q\left[n\right]{h}_{{\mathrm{JE}}_{i}}\left[n\right]+{\sigma}^{2}}\right)\right]\hfill \\ \phantom{\rule{1.em}{0ex}}\hfill & \le {\mathrm{log}}_{2}\left(1+\frac{P\left[n\right]{\rho}_{0}\left|\right|{\mathbf{w}}_{\mathrm{B}}-{\mathbf{w}}_{{\mathrm{E}}_{i}}\left|\right|{}^{-\kappa}}{Q\left[n\right]{h}_{{\mathrm{JE}}_{i}}\left[n\right]+{\sigma}^{2}}\right)\hfill \\ \phantom{\rule{1.em}{0ex}}\hfill & \triangleq \widehat{R}{}_{{\mathrm{E}}_{i}}\left[n\right],\hfill \end{array}$$

$${R}_{\mathrm{wcs}}\left[n\right]=max({R}_{\mathrm{U}}\left[n\right]-\underset{i\in \mathcal{I}}{max}\widehat{R}{}_{{\mathrm{E}}_{i}}\left[n\right],0).$$

#### 2.2. Problem Formulation

In this paper, we aim to maximize the average worst-case achievable secrecy rate from the BS to the UAV U over N time slots, by jointly optimizing the BS’s transmit power $\mathbf{P}\triangleq \left\{P\right[n],n\in N\}$, the jamming power $\mathbf{Q}\triangleq \left\{Q\right[n],n\in N\}$ of the UAV J, and the UAV trajectory ${\mathbf{q}}_{k}=\{{\mathbf{q}}_{k}\left[n\right],n\in N\}$ for $k\in \{\mathrm{U},\mathrm{J}\}$. Thus, this optimization problem can be formulated as
where we let ${R}_{\mathrm{E}}\left[n\right]={max}_{i\in \mathcal{I}}\widehat{R}{}_{{\mathrm{E}}_{i}}\left[n\right]$, and thus ${R}_{\mathrm{E}}\left[n\right]$ corresponds to the maximum achievable rate among multiple eavesdroppers in time slot n. Optimally solving problem (13) is difficult, in general, due to the following two main reasons: (1) the objective function is not concave w.r.t the corresponding optimization variables even with fixed variables of other blocks and (2) the constraint in (3) is non-convex w.r.t. the UAVs’ trajectory variables.

$$\underset{\mathbf{P},\mathbf{Q},{\mathbf{q}}_{\mathrm{U}},{\mathbf{q}}_{\mathrm{J}}}{max}\frac{1}{N}\sum _{n=1}^{N}({R}_{\mathrm{U}}\left[n\right]-{R}_{\mathrm{E}}\left[n\right])$$

$$\mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\left(1\right)\text{\u2013}\left(3\right),\left(8\right)\text{\u2013}\left(9\right).$$

## 3. Joint Trajectory and Power Control Algorithm

In this section, an efficient algorithm is proposed to obtain the sub-optimal solution to problem (13). Specifically, we cope with problem (13) by solving four subproblems iteratively, i.e., the alternative optimization of the transmit power $\mathbf{P}$, jamming power $\mathbf{Q}$, UAV U’s trajectory ${\mathbf{q}}_{\mathrm{U}}$, and UAV J’s trajectory ${\mathbf{q}}_{\mathrm{J}}$, by fixing the other three optimization variables. Furthermore, the overall algorithm is presented, and its complexity and convergence are analyzed rigorously.

#### 3.1. Transmit Power Optimization

For simplicity, let ${a}_{n}=\frac{{\gamma}_{0}}{{d}_{\mathrm{BU}}^{2}\left[n\right](1+Q\left[n\right]{\gamma}_{0}/{\rho}_{0}{d}_{\mathrm{JU}}^{2}\left[n\right])}$, and ${b}_{n}=\frac{{\gamma}_{0}\left|\right|{\mathbf{w}}_{\mathrm{B}}-{\mathbf{w}}_{\mathrm{E}}\left|\right|{}^{-\kappa}}{1+Q\left[n\right]{\gamma}_{0}/{d}_{\mathrm{JE}}^{2}\left[n\right]}$, where ${\gamma}_{0}={\rho}_{0}/{\sigma}^{2}$ is the reference signal-to-noise ratio (SNR), and ${\mathbf{w}}_{\mathrm{E}}$ is denoted as the horizontal location of the eavesdropper that achieves the largest rate and ${d}_{\mathrm{JE}}^{2}\left[n\right]$ is the distance from the UAV J to the eavesdropper ${\mathbf{w}}_{\mathrm{E}}$. Thus, with given $\mathbf{Q}$, ${\mathbf{q}}_{\mathrm{U}}$, and ${\mathbf{q}}_{\mathrm{J}}$, problem (13) can be simplified as

$$\underset{\mathbf{P}}{max}\sum _{n=1}^{N}\left[{\mathrm{log}}_{2}\left(1+{a}_{n}P\left[n\right]\right)-{\mathrm{log}}_{2}\left(1+{b}_{n}P\left[n\right]\right)\right]$$

$$\mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\left(8\right).$$

Based on the result in [18], the close-form solution to this problem is given by: ${P}^{*}\left[n\right]=min({\left[{\mathsf{\Lambda}}_{n}\right]}^{+},\widehat{P})$ if ${a}_{n}>{b}_{n}$; otherwise ${P}^{*}\left[n\right]=0$, where ${\mathsf{\Lambda}}_{n}={({(1/2{b}_{n}-1/2{a}_{n})}^{2}+(1/{b}_{n}-1/{a}_{n})/(\lambda \mathrm{ln}2))}^{\frac{1}{2}}-1/2{a}_{n}-1/2{b}_{n}$. The value of $\lambda \ge 0$ is a constant that ensures constraint (8) is met, which can be obtained cost-effectively via the bisection algorithm [32]. By obtaining the optimal transmit power variables $\mathbf{P}$, they can be seen as the given input for the jamming power optimization problem in the next subsections.

#### 3.2. Jamming Power Optimization

Let ${c}_{n}=\frac{P\left[n\right]{\gamma}_{0}}{{d}_{\mathrm{BU}}^{2}\left[n\right]}$, ${d}_{n}=\frac{{\gamma}_{0}}{{d}_{\mathrm{JU}}^{2}\left[n\right]}$, ${e}_{n}=P\left[n\right]{\gamma}_{0}\left|\right|{\mathbf{w}}_{\mathrm{B}}-{\mathbf{w}}_{\mathrm{E}}\left|\right|{}^{-\kappa}$ and ${f}_{n}=\frac{{\gamma}_{0}}{{d}_{\mathrm{JE}}^{2}\left[n\right]}$. With given $\mathbf{P}$, ${\mathbf{q}}_{\mathrm{U}}$, and ${\mathbf{q}}_{\mathrm{J}}$, we can reformulate problem (13) as

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \underset{\mathbf{Q}}{max}\sum _{n=1}^{N}\left[{\mathrm{log}}_{2}\left(1+\frac{{c}_{n}}{1+{d}_{n}Q\left[n\right]}\right)-{\mathrm{log}}_{2}\left(1+\frac{{e}_{n}}{1+{f}_{n}Q\left[n\right]}\right)\right]\hfill & \hfill \end{array}$$

$$\mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\left(9\right).$$

Problem (15) is a non-convex problem because of the non-convex objective function, which is actually difficult to solve for general N. However, the first term in (15) is convex w.r.t. $Q\left[n\right]$, and thus it can be approximated to a convex function within each iteration by applying the SCA method. It is known that the first-order Taylor expansion can be used to obtain the global under-estimator for any convex function at any point [32]. Thus, denoted by ${\mathbf{Q}}^{l}=\{{Q}^{l}\left[n\right],n\in N\}$, the given local point in the l-th iteration, we have
where ${A}_{n}^{l}={\mathrm{log}}_{2}\left(1+\frac{{c}_{n}}{1+{d}_{n}{Q}^{l}\left[n\right]}\right)$ and

$${\mathrm{log}}_{2}\left(1+\frac{{c}_{n}}{1+{d}_{n}Q\left[n\right]}\right)\ge {A}_{n}^{l}+{B}_{n}^{l}(Q\left[n\right]-{Q}^{l}\left[n\right])$$

$${B}_{n}^{l}=\frac{-{c}_{n}{d}_{n}}{\mathrm{ln}2(1+{d}_{n}{Q}^{l}\left[n\right])(1+{c}_{n}+{d}_{n}{Q}^{l}\left[n\right])}.$$

With (16), problem (15) is lower bounded by the following problem for any given ${\mathbf{Q}}^{l}$,

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \underset{\mathbf{Q}}{max}\sum _{n=1}^{N}\left[{B}_{n}^{l}Q\left[n\right]-{\mathrm{log}}_{2}\left(1+\frac{{e}_{n}}{1+{f}_{n}Q\left[n\right]}\right)\right]\hfill \end{array}$$

$$\mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\left(9\right).$$

#### 3.3. Trajectory Optimization of the UAV U

Even with given $\mathbf{P}$, $\mathbf{Q}$, and ${\mathbf{q}}_{\mathrm{J}}$, it is still hard to achieve the optimal solution to problem (13), due to the non-concavity of the objective function w.r.t. ${\mathbf{q}}_{\mathrm{U}}$ and the non-convexity of the constraint (3). To tackle this subproblem, we first introduce the slack variables $\mathbf{\alpha}=\{\alpha \left[n\right]={(H-{H}_{\mathrm{B}})}^{2}+||{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{w}}_{\mathrm{B}}|{|}^{2},n\in N\}$ and $\mathbf{\beta}=\{\beta \left[n\right]=||{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]|{|}^{2},n\in N\}$. After some simple transformations, solving problem (13) is equivalent to solve the following problem,

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \underset{{\mathbf{q}}_{\mathrm{U}},\mathbf{\alpha},\mathbf{\beta}}{max}\sum _{n=1}^{N}\left[{\mathrm{log}}_{2}\left(1+\frac{P\left[n\right]{\gamma}_{0}}{\alpha \left[n\right]}+\frac{Q\left[n\right]{\gamma}_{0}}{\beta \left[n\right]}\right)-{\mathrm{log}}_{2}\left(1+\frac{Q\left[n\right]{\gamma}_{0}}{\beta \left[n\right]}\right)\right]\hfill & \hfill \end{array}$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\alpha \left[n\right]\ge {(H-{H}_{\mathrm{B}})}^{2}+\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{w}}_{\mathrm{B}}{\left|\right|}^{2},\hfill \end{array}$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\beta \left[n\right]\le \left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2},\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\left(1\right)-\left(3\right).\hfill \end{array}$$

In fact, if $\alpha \left[n\right]$ ($\beta \left[n\right]$) is increased (decreased), the objective value of problem (13) will be decreased, and thus the constraints for $\mathbf{\alpha}$ and $\mathbf{\beta}$ must satisfy the equalities. Problem (18) is still non-convex, because of the non-convex objective function in (18), and the constraints in (3) and (20). To tackle this difficulty, an important lemma is provided as below.

**Lemma**

**1.**

Given ${K}_{1}>0$ and ${K}_{2}>0$, the function $f(x,y)={\mathrm{log}}_{2}\left(1+\frac{{K}_{1}}{x}+\frac{{K}_{2}}{y}\right)$ is jointly convex w.r.t. $x>0$ and $y>0$.

**Proof.**

See Appendix A. □

Based on Lemma 1, it is easy to prove the convexity of the first term in problem (18). By using the first-order Taylor expansions of a convex function $f(x,y)$ in a neighborhood of $(x,y)=({x}_{0},{y}_{0})$, i.e., $f(x,y)=f({x}_{0},{y}_{0})+{f}_{x}({x}_{0},{y}_{0})(x-{x}_{0})+{f}_{y}({x}_{0},{y}_{0})(y-{y}_{0})$, the first term in (18) at given local points denoted by ${\mathbf{\alpha}}^{l}=\{{\alpha}^{l}\left[n\right],n\in N\}$ and ${\mathbf{\beta}}^{l}=\{{\beta}^{l}\left[n\right],n\in N\}$ in the l-th iteration, can be given as follows,
where ${C}_{n}^{l}=1+\frac{P\left[n\right]{\gamma}_{0}}{{\alpha}^{l}\left[n\right]}+\frac{Q\left[n\right]{\gamma}_{0}}{{\beta}^{l}\left[n\right]}$ and ${D}_{n}^{l}=P\left[n\right]{\gamma}_{0}{\left({\alpha}^{l}\left[n\right]\right)}^{-2}(\alpha \left[n\right]-{\alpha}^{l}\left[n\right])+Q\left[n\right]{\gamma}_{0}{\left({\beta}^{l}\left[n\right]\right)}^{-2}(\beta \left[n\right]-{\beta}^{l}\left[n\right])$. Similarly, by using the first-order Taylor expansion at the given local point denoted by ${\mathbf{q}}_{\mathrm{U}}^{l}=\{{q}_{\mathrm{U}}^{l}\left[n\right],n\in N\}$ in the l-th iteration, the convex function $\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}$, w.r.t. ${\mathbf{q}}_{\mathrm{U}}\left[n\right]$ in problem (3) and in problem (20) can be replaced by their convex lower bounds, i.e.,

$${\mathrm{log}}_{2}\left(1+\frac{P\left[n\right]{\gamma}_{0}}{\alpha \left[n\right]}+\frac{Q\left[n\right]{\gamma}_{0}}{\beta \left[n\right]}\right)\ge {\mathrm{log}}_{2}{C}_{n}^{l}-\frac{{D}_{n}^{l}}{{C}_{n}^{l}\mathrm{ln}2}$$

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}{\left[n\right]\left|\right|}^{2}\ge \left|\right|{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}+2{({\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]).\hfill & \hfill \end{array}$$

As a result, by applying SCA technique in each iteration, we approximate the original convex functions to more manageable functions at given local points. Therefore, with (21)–(22), we have the following optimization problem

$$\underset{{\mathbf{q}}_{\mathrm{U}},\mathbf{\alpha},\mathbf{\beta}}{max}\sum _{n=1}^{N}\left[-\frac{{D}_{n}^{l}}{{C}_{n}^{l}\mathrm{ln}2}-{\mathrm{log}}_{2}\left(1+\frac{Q\left[n\right]{\gamma}_{0}}{\beta \left[n\right]}\right)\right]$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\beta \left[n\right]\le \left|\right|{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}\phantom{\rule{4pt}{0ex}}+2{({\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}{d}_{min}^{2}\le \left|\right|{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}\phantom{\rule{4pt}{0ex}}+2{({\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{U}}^{l}\left[n\right]),\hfill & \hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\left(1\right),\left(2\right),\left(19\right).\hfill \end{array}$$

It is observed that problem (23) is now convex with all convex constraints. As such, the interior-point method can be used efficiently to solve this problem. Note that the lower bounds obtained by the Taylor expansions suggest that the optimal objective value by solving problem (23) is a lower bound of that of problem (18). In the next subsection, the solved ${\mathbf{q}}_{\mathrm{U}}$ is input to the trajectory optimization problem of the UAV J as the given variable.

#### 3.4. Trajectory Optimization of the UAV J

With given $\mathbf{P}$, $\mathbf{Q}$, and ${\mathbf{q}}_{\mathrm{U}}$, we let $\delta =\{\delta \left[n\right]={H}^{2}+||{\mathbf{q}}_{\mathrm{J}}\left[n\right]-{\mathbf{w}}_{\mathrm{E}}|{|}^{2},n\in N\}$, to tackle the non-concavity of the objective function w.r.t. ${\mathbf{q}}_{\mathrm{J}}$. Therefore, problem (13) can be rewritten as

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \underset{{\mathbf{q}}_{\mathrm{J}},\mathbf{\beta},\mathbf{\delta}}{max}\sum _{n=1}^{N}[{\mathrm{log}}_{2}\left(\beta \left[n\right]+{c}_{n}\beta \left[n\right]+Q\left[n\right]{\gamma}_{0}\right)-{\mathrm{log}}_{2}\left(\beta \left[n\right]+Q\left[n\right]{\gamma}_{0}\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}-{\mathrm{log}}_{2}\left(1+\frac{{e}_{n}\delta \left[n\right]}{\delta \left[n\right]+Q\left[n\right]{\gamma}_{0}}\right)]\hfill \end{array}$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}\delta \left[n\right]\ge {H}^{2}+\left|\right|\mathbf{q}\left[n\right]-{\mathbf{w}}_{\mathrm{E}}{\left|\right|}^{2},\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\left(1\right)\text{\u2013}\left(3\right),\left(20\right).\hfill \end{array}$$

Also, the constraint for $\delta $ holds with equalities, otherwise the objective value of problem (13) will be decreased by increasing $\delta \left[n\right]$. Similarly, by using the first-order Taylor expansion at given local points denoted by ${\mathbf{\delta}}^{l}=\{{\delta}^{l}\left[n\right],n\in N\}$, ${\mathbf{\beta}}^{l}=\{{\beta}^{l}\left[n\right],n\in N\}$ and ${\mathbf{q}}_{\mathrm{J}}^{l}=\{{q}_{\mathrm{J}}^{l}\left[n\right],n\in N\}$ in the l-th iteration, the second and third terms in problem (26), and $\left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}\left[n\right]{\left|\right|}^{2}$ in (3) and in (20) can be substituted by their respective concave upper and convex lower bounds, i.e.,
where ${E}_{n}^{l}={\mathrm{log}}_{2}\left(1+\frac{{e}_{n}{\delta}^{l}\left[n\right]}{{\delta}^{l}\left[n\right]+Q\left[n\right]{\gamma}_{0}}\right)$,
and

$$\begin{array}{cc}\hfill {\mathrm{log}}_{2}\left(\beta \left[n\right]+Q\left[n\right]{\gamma}_{0}\right)& \le {\mathrm{log}}_{2}\left({\beta}^{l}\left[n\right]+Q\left[n\right]{\gamma}_{0}\right)+\frac{\beta \left[n\right]-{\beta}^{l}\left[n\right]}{\mathrm{ln}2({\beta}^{l}\left[n\right]+Q\left[n\right]{\gamma}_{0})},\hfill \end{array}$$

$${\mathrm{log}}_{2}\left(1+\frac{{e}_{n}\delta \left[n\right]}{\delta \left[n\right]+Q\left[n\right]{\gamma}_{0}}\right)\le {E}_{n}^{l}+{F}_{n}^{l}(\delta \left[n\right]-{\delta}^{l}\left[n\right]),$$

$${F}_{n}^{l}=\frac{{e}_{n}{\gamma}_{0}Q\left[n\right]}{\mathrm{ln}2({\gamma}_{0}Q\left[n\right]+({e}_{n}+1){\delta}^{l}\left[n\right])({\gamma}_{0}Q\left[n\right]+{\delta}^{l}\left[n\right])},$$

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}{\left[n\right]\left|\right|}^{2}\ge \left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]{\left|\right|}^{2}-2{({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{J}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]).\hfill & \hfill \end{array}$$

With problems (28)–(30), we approximate problem, (26) as the following optimization problem

$$\begin{array}{ccc}\hfill \phantom{\rule{1.em}{0ex}}& \underset{{\mathbf{q}}_{\mathrm{J}},\mathbf{\beta},\mathbf{\delta}}{max}\sum _{n=1}^{N}\left[{\mathrm{log}}_{2}\left(\beta \left[n\right]+{c}_{n}\beta \left[n\right]+Q\left[n\right]{\gamma}_{0}\right)-{F}_{n}^{l}\delta \left[n\right]-\frac{\beta \left[n\right]}{\mathrm{ln}2({\beta}^{l}\left[n\right]+Q\left[n\right]{\gamma}_{0})}\right]\hfill & \hfill \end{array}$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \mathrm{s}.\mathrm{t}.\phantom{\rule{0.277778em}{0ex}}{d}_{min}^{2}\le \left|\right|{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]{\left|\right|}^{2}\phantom{\rule{4pt}{0ex}}-2{({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{J}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\beta \left[n\right]\le |{\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]{\left|\right|}^{2}\phantom{\rule{4pt}{0ex}}-2{({\mathbf{q}}_{\mathrm{U}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right])}^{T}({\mathbf{q}}_{\mathrm{J}}\left[n\right]-{\mathbf{q}}_{\mathrm{J}}^{l}\left[n\right]),\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{2.em}{0ex}}\left(1\right),\left(2\right),\left(27\right).\hfill \end{array}$$

Problem (31) is now a convex optimization problem that can be cost-effectively solved by the interior-point method. Furthermore, the Taylor expansions in problems (28)–(30) indicate that the objective value of problem (26) is at least the same as that by solving problem (31). Note that all the obtained variables $\mathbf{P}$, $\mathbf{Q}$, ${\mathbf{q}}_{\mathrm{U}}$, and ${\mathbf{q}}_{\mathrm{J}}$ are utilized as the given variables for the next iteration.

#### 3.5. Overall Algorithm

In summary, the overall algorithm for obtaining the locally optimal solution to problem (13) is computed by the joint optimization of both the BS’s transmit power $\mathbf{P}$ and the UAV J’s jamming power $\mathbf{Q}$ as well as the two UAVs’ trajectories ${\mathbf{q}}_{\mathrm{U}}$, and ${\mathbf{q}}_{\mathrm{J}}$ variables, via alternatively solving subproblems (14), (17), (23) and (31) in an iterative way, respectively. The detailed procedure for solving problem (13) is summarized in Algorithm 1.

In the following, we analyze the computation complexity of Algorithm 1. In each iteration, the BS’s transmit power, UAV J’s jamming power, and the trajectories of UAVs U and J are optimized in sequence, based on the interior-point method by using existing solvers, such as CVX [33]. Therefore, the complexity for solving the four subproblems can be expressed by $O(\mathrm{log}N)$, $O({N}^{3.5}\mathrm{log}(1/\u03f5))$, $O({(3N)}^{3.5}\mathrm{log}(1/\u03f5))$, and $O({(3N)}^{3.5}\mathrm{log}(1/\u03f5))$, respectively, for the given solution precision of $\u03f5>0$ [34]. In addition, as the complexity for updating all variables in BCD iterations is in the order of $\mathrm{log}(1/\u03f5)$, the total computation complexity of the proposed algorithm is $O({N}^{3.5}{\mathrm{log}}^{2}(1/\u03f5))$. Due to the polynomial time complexity, Algorithm 1 is applicable to the aerial cooperative jamming for cellular-enabled UAV networks.

Algorithm 1 Proposed algorithm for solving problem (13) |

1: Initial $\mathbf{P}$, $\mathbf{Q}$, ${\mathbf{q}}_{\mathrm{U}}$, ${\mathbf{q}}_{\mathrm{J}}$, $\mathbf{\alpha},\mathbf{\beta}$ and $\mathbf{\delta}$. Let $l=0$. 2: repeat3: Solve problem (14) with given ${\mathbf{Q}}^{l}$, ${\mathbf{q}}_{\mathrm{U}}^{l}$, and ${\mathbf{q}}_{\mathrm{J}}^{l}$, and denote by ${\mathbf{P}}^{l+1}$ the optimal solution. 4: Solve problem (17) with given ${\mathbf{P}}^{l}$, ${\mathbf{q}}_{\mathrm{U}}^{l}$, and ${\mathbf{q}}_{\mathrm{J}}^{l}$, and denote by ${\mathbf{Q}}^{l+1}$ the optimal solution. 5: Solve problem (23) with given ${\mathbf{P}}^{l}$, ${\mathbf{Q}}^{l}$, ${\mathbf{q}}_{\mathrm{J}}^{l}$, ${\alpha}^{l}$ and ${\beta}^{l}$, and denote by ${\mathbf{q}}_{\mathrm{U}}^{l+1}$ the optimal solution. 6: Solve problem (31) with given ${\mathbf{P}}^{l}$, ${\mathbf{Q}}^{l}$, ${\mathbf{q}}_{\mathrm{U}}^{l}$, ${\beta}^{l}$ and ${\delta}^{l}$, and denote by ${\mathbf{q}}_{\mathrm{J}}^{l+1}$ the optimal solution. 7: Update $l=l+1$.8: until Converge to a pre-specified precision $\u03f5>0$. |

Next, the convergence of Algorithm 1 is discussed as follows. Let $\psi ({\mathbf{P}}^{l},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})$ denote the value of the objective function in problem (13) in the l-th iteration. Then, we have
where ${\psi}_{\mathbf{P}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})$ is defined as the obtained objective value of problem (14) and ${\mathbf{P}}^{l+1}$ is the optimal solution to problem (14). For the optimization of the jamming power $\mathbf{Q}$, the following equations hold,
where ${\psi}_{\mathbf{Q}}^{\mathrm{lb}}$ is denoted as the objective value of problem (17), (${j}_{1}$) holds since the first-order Taylor expansion in (16) is tight at the local point ${\mathbf{Q}}^{l}$ in problem (17), (${j}_{2}$) satisfies due to the optimal solution ${\mathbf{Q}}^{l+1}$ to problem (17), and (${j}_{3}$) is because the computed objective value of problem (17) is lower bounded by that of problem (15). For the two UAVs’ trajectories optimization, the similar derivation procedure as in (35) can be used, which are given as below,

$$\psi ({\mathbf{P}}^{l},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})\le {\psi}_{\mathbf{P}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l}),$$

$$\begin{array}{cc}\hfill \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})& \stackrel{\left({j}_{1}\right)}{=}{\psi}_{\mathbf{Q}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \stackrel{\left({j}_{2}\right)}{\le}{\psi}_{\mathbf{Q}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \stackrel{\left({j}_{3}\right)}{\le}\psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l}),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})& ={\psi}_{{\mathbf{q}}_{\mathrm{U}}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \le {\psi}_{{\mathbf{q}}_{\mathrm{U}}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \le \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l}),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l})& ={\psi}_{{\mathbf{q}}_{\mathrm{J}}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \le {\psi}_{{\mathbf{q}}_{\mathrm{J}}}^{\mathrm{lb}}({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l+1})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \le \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l+1}),\hfill \end{array}$$

With (34)–(37), we finally obtain that

$$\psi ({\mathbf{P}}^{l},{\mathbf{Q}}^{l},{\mathbf{q}}_{\mathrm{U}}^{l},{\mathbf{q}}_{\mathrm{J}}^{l})\le \psi ({\mathbf{P}}^{l+1},{\mathbf{Q}}^{l+1},{\mathbf{q}}_{\mathrm{U}}^{l+1},{\mathbf{q}}_{\mathrm{J}}^{l+1}).$$

## 4. Numerical Results

In this section, we verify our joint trajectories and powers optimization (denoted as 2T&P) algorithm through simulations. Three benchmark schemes are taken into account as a comparison:

- UAVs’ trajectories optimization without power control (denoted as 2T/NP);
- heuristic UAVs’ trajectories with power control (2HT/P);
- joint optimization of the UAV U’s trajectory and BS’s power control without aerial cooperative jamming from the UAV J (denoted as 1T&P), which is identical with the algorithm proposed in [18].

Specifically, the 2T/NP scheme sets the powers of the BS and the UAV U as $P\left[n\right]=\overline{P}$ and $Q\left[n\right]=\overline{Q},\forall n$, respectively, and the trajectories of the two UAVs are obtained by solving problems (23) and (31) iteratively until convergence. In the 2HT/P scheme, the UAV U flies directly to the top of the BS at its maximum speed, then stays hovering as long as possible, and finally travels directly to its destination at its maximum speed by the end of T. Different from UAV U, UAV J keeps hovering right above the eavesdropper with the largest achievable rate. Given heuristic trajectories in the 2HT/P, the powers $P\left[n\right]$ and $Q\left[n\right]$ can be obtained by solving problems (14) and (17), respectively. The initial UAV trajectory for the 2T&P and 2T/NP schemes are constructed by the heuristic UAV trajectories as in 2HT/P. The simulation parameters are specified in Table 1.

We first verify the convergence behaviour of the proposed Algorithm 1 versus the iteration numbers for different T in Figure 2. It is illustrated that the average secrecy rate increases quickly and converges within five iterations, and its performance increases significantly with T. This confirms that a locally optimal solution to problem (13) can be converged by using the proposed algorithm.

Figure 3 illustrates the optimized trajectories of the two UAVs by different schemes when T is sufficiently large, e.g., $T=300$ s. It is observed that the hovering locations of all algorithms for the UAV U are directly above the BS. This occurs because the locations of the eavesdroppers are not related to the UAV U’s trajectory due to the ground-to-air transmission, and thus the UAV U can obtain its maximum achievable rate hovering at the location on top of the BS. In addition, the the trajectories of the UAV U in 2T&P and 2T/NP show the curved paths in order to escape from the unintended interference caused by the UAV J. However, the trajectories of the UAV J present significant different. In particular, for our 2T&P scheme in Figure 3a, the UAV first flies along an arc-like path and reaches a certain point close to the eavesdropper ${\mathrm{E}}_{1}$ to avoid a collision with the UAV U; then, it keeps static at this hovering location for a permission period, and finally reaches its destination by the end of T, also in an arc-like path to prevent it causing much interference for the UAV U. Notice that the hovering location of the UAV J is closer to ${\mathrm{E}}_{1}$ compared to ${\mathrm{E}}_{2}$, as the channel quality of BS-to-${\mathrm{E}}_{1}$ link is much better than that of BS-to-${\mathrm{E}}_{2}$ link. The BS-to-${\mathrm{E}}_{2}$ link can also be degraded if the UAV J can guarantee that the secrecy of the worst-case, i.e., BS-to-${\mathrm{E}}_{1}$ link transmission, by taking advantage of the dominant air-to-ground links. Moreover, at their hovering locations, the UAVs can achieve the better secrecy rate by effectively balancing between enhancing the communication of the ground-to-air link and degrading the quality of the BS-to-${\mathrm{E}}_{i}$ channel. In contrast with the 2T&P scheme, we can observe that on its way to the final location, the UAV J flies in a big arc path to keep away from the UAV U in the 2T/NP scheme as shown in Figure 3c. This is because the BS’ s transmit power and UAV J’s jamming power in 2T/NP are fixed, and thus the UAV J has to fly as far as possible to avoid severe interference with the UAV U over the whole duration, T.

Note that there is a tradeoff between improving the average achievable secrecy rate of the UAV U and avoiding the interference induced by the UAV J. For 2HT/P in Figure 3b, with the pre-specified UAV trajectories, the BS and the UAV jammer can adjust their power allocations to enhance the secrecy performance. Specifically, the BS gradually increases its transmit power before the UAV U flies to its hovering location, while the UAV J properly decreases its jamming power when it reaches above ${\mathrm{E}}_{1}$ to suppress the interference to the UAV U. In contrast, a secure communication-aware UAV trajectory design provides additional flexibility to avoid interference between UAVs in our 2T&P scheme. Thus, the UAV J adaptively adjusts its jamming power and trajectory according to the BS’s transmit power and the location of the UAV U to further achieve the better secrecy rate.

Figure 4 illustrates the average secrecy rate versus T. It is expected that the average secrecy rates obtained by all schemes raise with T, and the proposed 2T&P scheme significantly outperforms other benchmark schemes owing to its joint optimization. Moreover, the proposed 2T&P scheme provides the significant gain as compared to the scheme in [18], i.e., 1T&P. This indicates that the advantage brought by the aerial cooperative jamming is more effective and important on notably improving the average secrecy rate. However, the 2T/NP presents the worst performance, which demonstrates that the power control also plays a key role in avoiding jamming from other UAVs, which is necessary in our cellular-enabled UAV communication networks with aerial cooperative jamming; otherwise, the secrecy rate can be significantly degraded as shown in Figure 4. Note that we expect that the proposed 2T&P algorithm can still achieve the best secrecy performance via the joint design, even if the number of the eavesdropper increases. This is because the joint design guarantees that the eavesdropper with the best channel condition can be effectively jammed by the UAV J; other eavesdroppers cannot wiretap confidential messages from the BS. The obtained results validate the advantages of introducing aerial cooperative jamming, and the joint optimization of UAV trajectories and power allocations.

## 5. Conclusions

Integrating UAVs into the forthcoming 5G cellular networks faces new security challenges. Thus, a new type of cooperative aerial jamming scheme for the cellular-enabled UAV secure communication networks has been investigated in this paper. In particular, the UAV receiver and the UAV jammer cooperate closely with each other to maximize the worst-case average secrecy rate by jointly optimizing their trajectories and the BS/UAV transmit/jamming power. An efficient iterative solution has been proposed to approximately tackle the secrecy rate maximization problem over a given flight period, by means of the BCD and SCA methods. The proposed algorithm is guaranteed to converge to a locally optimal solution with suitable computational complexity. We have demonstrated, by numerical results, that the friendly UAV jammer provides flexible mobility for interference with the ground eavesdroppers, as well as effective power control of preventing it from jamming the UAV receiver, and thereby improves the system secrecy performance. Furthermore, the proposed scheme significantly outperforms the benchmark schemes with simple heuristic trajectories and pre-configured powers. The current scenario can also be extended to the general case with multiple legitimate UAVs, where optimal communication scheduling between the BS and each UAV should be considered. In this case, the design for UAV trajectories needs to avoid collision between UAVs more effectively, and reconciles a tradeoff between maximizing the minimum secrecy rate among multiple UAVs and suppressing the interference from the UAV jammer, which is an interesting problem to be resolved in the future.

## Author Contributions

Conceptualization, methodology, and software, H.S. and B.D.; validation and investigation, Z.W. and X.L.; and writing—original draft preparation, B.D.; and writing—review and editing, H.S. and C.G.

## Funding

This work was partially supported by the National Natural Science Foundation of China (Nos. 61701064, 71874027), partially by the China Scholarship Council (No. 201808510008), partially by the Sichuan Science and Technology Program (No. 2018GZ0454), partially by the Chengdu Science and Technology Program (No. 2017-RK00-00363-ZF), and partially by the Chongqing Natural Science Foundation (cstc2019jcyj-msxmX0264).

## Acknowledgments

The authors the appreciate suggestions of the editors and reviewers, which are of great value to the paper.

## Conflicts of Interest

The authors declare no conflicts of interest.

## Appendix A. Appendix

We prove Lemma 1 via the definition of convex functions. First, since $f(x,y)={\mathrm{log}}_{2}\left(1+\frac{{K}_{1}}{x}+\frac{{K}_{2}}{y}\right)$ where $x>0$, $y>0$, ${K}_{1}>0$ and ${K}_{2}>0$, the first-order derivatives of $f(x,y)$ w.r.t. x and y are given by
where we let $G=1+\frac{{K}_{1}}{x}+\frac{{K}_{2}}{y}$ for brevity. Then, the Hessian of $f(x,y)$ is

$${f}_{x}(x,y)=-\frac{{K}_{1}}{{x}^{2}G\mathrm{ln}2},\phantom{\rule{2.em}{0ex}}{f}_{y}(x,y)=-\frac{{K}_{2}}{{y}^{2}G\mathrm{ln}2},$$

$${\nabla}^{2}f(x,y)=\left[\begin{array}{cc}\frac{2{K}_{1}xy+2{K}_{1}{K}_{2}x+{K}_{1}^{2}y}{{x}^{4}y{G}^{2}\mathrm{ln}2}& -\frac{{K}_{1}{K}_{2}}{{x}^{2}{y}^{2}{G}^{2}\mathrm{ln}2}\\ -\frac{{K}_{1}{K}_{2}}{{x}^{2}{y}^{2}{G}^{2}\mathrm{ln}2}& \frac{2{K}_{2}xy+2{K}_{1}{K}_{2}y+{K}_{2}^{2}x}{x{y}^{4}{G}^{2}\mathrm{ln}2}\end{array}\right]$$

For any $\mathbf{t}={[{t}_{1},{t}_{2}]}^{T}$, we have
where ${F}_{1}(x,y)=2{K}_{1}{t}_{1}^{2}x{y}^{3}(y+{K}_{2})$, ${F}_{2}(x,y)=2{K}_{2}{t}_{2}^{2}{x}^{3}y(x+{K}_{1})$ and ${F}_{3}(x,y)={({t}_{1}{K}_{1}{y}^{2}-{t}_{2}{K}_{2}{x}^{2})}^{2}$ for $x>0$, $y>0$, ${K}_{1}>0$ and ${K}_{2}>0$, which finally leads to the convexity of the function $f(x,y)$.

$${\mathbf{t}}^{T}{\nabla}^{2}f(x,y)\mathbf{t}=\frac{{F}_{1}(x,y)+{F}_{2}(x,y)+{F}_{3}(x,y)}{{x}^{4}{y}^{4}{G}^{2}\mathrm{ln}2}\ge 0$$

## References

- Moon, J.; Lee, H.; Song, C.; Lee, S.; Lee, I. Proactive eavesdropping with full-duplex relay and cooperative jamming. IEEE Trans. Wirel. Commun.
**2018**, 17, 6707–6719. [Google Scholar] [CrossRef] - Lu, H.; Zhang, H.; Dai, H.; Wu, W.; Wang, B. Proactive eavesdropping in UAV-aided suspicious communication systems. IEEE Trans. Veh. Technol.
**2019**, 68, 1993–1997. [Google Scholar] [CrossRef] - Li, Y.; Zhang, Y.; Cai, L. Optimal location of supplementary node in UAV surveillance system. J. Netw. Comput. Appl.
**2019**, 140, 23–39. [Google Scholar] [CrossRef] - Zhao, N.; Lu, W.; Sheng, M.; Chen, Y.; Tang, J.; Yu, F.R.; Wong, K. UAV-assisted emergency networks in disasters. IEEE Wirel. Commun.
**2019**, 26, 45–51. [Google Scholar] [CrossRef] - Tuna, G.; Nefzi, B.; Conte, G. Unmanned aerial vehicle-aided communications system for disaster recovery. J. Netw. Comput. Appl.
**2014**, 41, 27–36. [Google Scholar] [CrossRef] - Peng, K.; Du, J.; Lu, F.; Sun, Q.; Dong, Y.; Zhou, P.; Hu, M. A hybrid genetic algorithm on routing and scheduling for vehicle-assisted multi-drone parcel delivery. IEEE Access
**2019**, 7, 49191–49200. [Google Scholar] [CrossRef] - You, C.; Zhang, R. 3D trajectory optimization in Rician fading for UAV-enabled data harvesting. IEEE Wirel. Commun.
**2019**, 18, 3192–3207. [Google Scholar] [CrossRef] - Zeng, Y.; Zhang, R.; Lim, T.J. Throughput maximization for UAV-enabled mobile relaying systems. IEEE Wirel. Commun.
**2016**, 64, 4983–4996. [Google Scholar] [CrossRef] - Zeng, Y.; Wu, Q.; Zhang, R. Accessing from the Sky: A Tutorial on UAV Communications for 5G and Beyond. 2019. Available online: https://arxiv.org/abs/1903.05289 (accessed on 13 March 2019).
- Zeng, Y.; Zhang, R.; Lim, T.J. Wireless communications with unmanned aerial vehicles: Opportunities and challenges. IEEE Commun. Mag.
**2016**, 54, 36–42. [Google Scholar] [CrossRef] - Zeng, Y.; Lyu, J.; Zhang, R. Cellular-connected UAV: Potential, challenges, and promising technologies. IEEE Wirel. Commun.
**2019**, 26, 120–127. [Google Scholar] [CrossRef] - Wu, Q.; Zhang, R. Common throughput maximization in UAV-enabled OFDMA systems with delay consideration. IEEE Trans. Commun.
**2018**, 66, 6614–6627. [Google Scholar] [CrossRef] - Wu, Q.; Zeng, Y.; Zhang, R. Joint trajectory and communication design for multi-UAV enabled wireless networks. IEEE Trans. Wirel. Commun.
**2018**, 17, 2109–2121. [Google Scholar] [CrossRef] - Lyu, J.; Zeng, Y.; Zhang, R.; Lim, T.J. Placement optimization of UAV-mounted mobile base stations. IEEE Commun. Lett.
**2017**, 21, 604–607. [Google Scholar] [CrossRef] - Zhang, S.; Zeng, Y.; Zhang, R. Cellular-enabled UAV communication: A connectivity-constrained trajectory optimization perspective. IEEE Trans. Commun.
**2019**, 67, 2580–2604. [Google Scholar] [CrossRef] - Lin, X.; Yajnanarayana, V.; Muruganathan, S.D.; Gao, S.; Asplund, H.; Maattanen, H.; Bergstrom, M.; Euler, S.; Wang, Y.E. The sky is not the Limit: LTE for unmanned aerial vehicles. IEEE Commun. Mag.
**2018**, 56, 204–210. [Google Scholar] [CrossRef] - Der Bergh, B.V.; Chiumento, A.; Pollin, S. LTE in the sky: Trading off propagation benefits with interference costs for aerial nodes. IEEE Commun. Mag.
**2016**, 54, 44–50. [Google Scholar] [CrossRef] - Zhang, G.; Wu, Q.; Cui, M.; Zhang, R. Securing UAV communications via joint trajectory and power control. IEEE Trans. Wirel. Commun.
**2019**, 18, 1376–1389. [Google Scholar] [CrossRef] - Cui, M.; Zhang, G.; Wu, Q.; Ng, D.W.K. Robust trajectory and transmit power design for secure UAV communications. IEEE Trans. Veh. Technol.
**2018**, 67, 9042–9046. [Google Scholar] [CrossRef] - Li, A.; Wu, Q.; Zhang, R. UAV-enabled cooperative jamming for improving secrecy of ground wiretap channel. IEEE Wirel. Commun. Lett.
**2019**, 8, 181–184. [Google Scholar] [CrossRef] - Duo, B.; Wu, Q.; Zhang, R. Energy Efficiency Maximization for Full-Duplex UAV Secrecy Communication. 2019. Available online: https://arxiv.org/abs/1906.07346 (accessed on 18 June 2019).
- Wang, Q.; Chen, Z.; Li, H.; Li, S. Joint power and trajectory design for physical-layer secrecy in the UAV-aided mobile relaying system. IEEE Access
**2018**, 6, 62849–62855. [Google Scholar] [CrossRef] - Zhong, C.; Yao, J.; Xu, J. Secure UAV communication with cooperative jamming and trajectory control. IEEE Commun. Lett.
**2019**, 32, 286–289. [Google Scholar] [CrossRef] - Cai, Y.; Cui, F.; Shi, Q.; Zhao, M.; Li, G.Y. Dual-UAV enabled secure communications: Joint trajectory design and user scheduling. IEEE J. Sel. Areas Commun.
**2018**, 36, 1972–1985. [Google Scholar] [CrossRef] - Beck, A.; Tetruashvili, L. On the convergence of block coordinate descent type methods. SIAM J. Optim.
**2013**, 23, 2037–2060. [Google Scholar] [CrossRef] - Hong, M.; Razaviyayn, M.; Luo, Z.; Pang, J. A unified algorithmic framework for block-structured optimization involving big data: With applications in machine learning and signal processing. IEEE Sign. Process. Mag.
**2016**, 33, 57–77. [Google Scholar] [CrossRef] - Razaviyayn, M.; Hong, M.; Luo, Z. A unified convergence analysis of block successive minimization methods for nonsmooth optimization. SIAM J. Optim.
**2013**, 23, 1126–1153. [Google Scholar] [CrossRef] - Zeng, Y.; Zhang, R. Energy-efficient UAV communication with trajectory optimization. IEEE Trans. Wirel. Commun.
**2017**, 16, 3747–3760. [Google Scholar] [CrossRef] - Mukherjee, A.; Fakoorian, S.A.A.; Huang, J.; Swindlehurst, A.L. Principles of physical layer security in multiuser wireless networks: A survey. IEEE Commun. Surv. Tuts
**2014**, 16, 1550–1573. [Google Scholar] [CrossRef] - You, C.; Zhang, R. Hybrid Offline-Online Design for UAV-Enabled Data Harvesting in Probabilistic LoS Channel. 2019. Available online: https://arxiv.org/abs/1907.06181v1 (accessed on 14 July 2019).
- Gopala, P.K.; Lai, L.; El Gamal, H. On the secrecy capacity of fading channels. IEEE Trans. Inf. Theory
**2008**, 54, 4687–4698. [Google Scholar] [CrossRef] - Boyd, S.; Boyd, S.; Vandenberghe, L.; Press, C.U. Convex Optimization; Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
- Grant, M.; Boyd, S. CVX: Matlab Software for Disciplined Convex Programming, Version 2.1. 2018. Available online: http://cvxr.com/cvx (accessed on 14 October 2019).
- Ben-Tal, A.; Nemirovskiaei, A.S. Lectures on Modern Convex Optimization: Analysis, Algorithms, and Engineering Applications; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2001. [Google Scholar]

**Figure 3.**UAVs’ trajectories by different schemes for $T=300$ s. All trajectories are sampled every 5 s. The horizontal locations of the BS, eavesdroppers, UAVs’ initial and final locations are marked with ▲, ⚫, ☐ and ◇, respectively.

Notation | Physical Meaning | Simulation Value |
---|---|---|

${\mathbf{q}}_{\mathrm{U},0}$ | Initial horizontal location of the UAV U | ${[-800,-200]}^{T}$ m |

${\mathbf{q}}_{\mathrm{U},\mathrm{F}}$ | Final horizontal location of the UAV U | ${[800,-200]}^{T}$ m |

${\mathbf{q}}_{\mathrm{J},0}$ | Initial horizontal location of the the UAV J | ${[-800,200]}^{T}$m |

${\mathbf{q}}_{\mathrm{J},\mathrm{F}}$ | Final horizontal location of the UAV J | ${[800,200]}^{T}$ m |

${\mathbf{w}}_{\mathrm{B}}$ | Horizontal location of the BS | ${[0,0]}^{T}$ m |

${\mathbf{w}}_{{\mathrm{E}}_{1}}$ | Location of the first eavesdropper | ${[150,0]}^{T}$ m, |

${\mathbf{w}}_{{\mathrm{E}}_{2}}$ | Location of the second eavesdropper | ${[-200,0]}^{T}$ m |

H | Altitude of UAVs | 100 m |

${H}_{B}$ | Altitude of BS | 10 m |

${V}_{max}$ | Maximum speed of UAVs | 40 m/s |

${d}_{min}$ | Minimum safe distance between UAVs | 20 m |

${\delta}_{t}$ | Time slot length | 1 s |

${\rho}_{0}$ | Channel power gain at the reference distance | −60 dB |

${\sigma}^{2}$ | Noise power levels | −110 dBm |

$\overline{P}$ and $\widehat{P}$ | Average and peak power of UAV U | 20 dBm and 26 dBm |

$\overline{Q}$ and $\widehat{Q}$ | Average and peak power of UAV J | 10 dBm and 16 dBm |

$\u03f5$ | Accuracy threshold | ${10}^{-4}$ |

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).