Proof of Theorem 2. The proof is made when the first leg is towards North (as previously).
Hence, , , , and .
Moreover, we assume .
From Theorem 1, we have to consider the four following cases for each leg:
the target is broadside to the antenna,
the target is endfire to the antenna,
the target has the same heading as the array (but is not endfire to it),
the other cases.
Note that if the target is in case (1) during the first leg, then in case (2) during the second one (provided that this situation is possible), the conclusion about observability will be the same as if the target is in case (2) during the first leg, then in case (1) during the second leg. To be convinced of this, we just have to reverse the time in the equation. This remark allows us to shorten the proof.
Case 1: the target is broadside to the antenna during the first leg.
Hence, , and during the first leg, which implies for . The ghost targets are also in the broadside, hence and for .
Can the target be endfire to the antenna? If so, the target has the same heading as the antenna during the second leg or, in other words, , and , which is equal to , is collinear with , whenever . The first condition cannot be satisfied since , and . There is no ghost.
We skip the case where the target is in case (3) during the second leg. This will be treated later. Therefore, we now have to consider the other cases during the second leg. There are two possibilities for the ghost targets: those whose trajectories are defined by (i) , and those whose trajectories are given by (ii) , both for .
The derivative of (i) is , hence .
,
which implies that . Since , . There is no ghost given by (i).
The derivative of (ii) is , hence .
.
We deduce that .
One ghost exists if is a positive quantity. If so, we then compute . There is one ghost at most.
Case 2: the target is endfire to the antenna during the first leg.
Hence, , and , which implies that for . During this first leg, the ghost targets are also endfire to the antenna, so for , and .
Again, we skip the case where the target is in case (3) during the second leg. This will be treated later. So, we now have to consider the other cases during the second leg. There are two possibilities for the ghost targets: those whose trajectories are defined by (i) and those whose trajectories are given by (ii) , both for .
The derivative of (i) is , hence .
.
We deduce that . There is no ghost.
Now, differentiating (ii) gives us , hence .
.
.
We deduce that . One ghost exists if is a negative quantity. If so, we then compute . There is one ghost at most.
Case 3: the target has the same heading as the array (but is not endfire to it)
As in case (2), , but here, the first component of is not zero. Hence, , and the target cannot be endfire to the antenna during the second leg. In this case, , hence .
Can the target be broadside to the antenna? The answer is positive if and is collinear to , when . The first condition implies that . Since , the second condition is satisfied if is collinear to . This is not the case when the first component of is zero, while the first component of is .
So, we now have to consider the other cases during the second leg. There are two possibilities for the ghost targets: those whose trajectories are defined by (i) and those whose trajectories are given by (ii) , both for .
The derivative of (i) is , hence or, in other words,
. We conclude that , i.e., there is no ghost.
If , then
.
This implies that , which must be rejected by assumption. There is no ghost.
The other cases:
In the other cases, the motion of ghost targets is defined during the first leg by
when
,
and during the second leg by
when
,
Hence, at time
, the position of a ghost target is
Of course, (A5) and (A6) are not compatible, and neither are (A7) and (A8).
Now, let us show that (A5) is not compatible with (A8):
Indeed, if
, then
Equation (A9) implies that
is an eigenvector of
, with the eigenvalue
. Since
is positive, this eigenvalue is equal to 1, i.e.,
. Hence,
is in the second leg.
Hence, the set of ghost targets is reduced to those whose positions at time τ are given by (A5) or (A6), and (A7). Now suppose that a ghost target satisfies (A6) and (A7). By the same computation, we conclude that is in the first leg, which is impossible since is in the second leg.
We have proven that (A5) and (A7) only are compatible. It follows that a ghost target verifies these two equalities (given by (A1) and (A3)):
.
Hence, .
Now taking the derivative of the two members of (A1) and of (A3), we obtain
, which is equivalent to
.
Since , .
Putting this value into (A1) or (A3), we finally get . The “ghost” is the target of interest. In conclusion, there is no ghost target. □