Undergrad Help solving a System of Linear Equations

Click For Summary
The discussion centers on solving a nonlinear equation involving coefficients b in the context of plane waves and sensor arrays. The equation must hold for all u and v within a specified interval, and the coefficients are constrained to have unit norm. A proposed solution suggests that all coefficients except one should be zero, with the active coefficient having unity modulus, effectively simplifying the sensor configuration. Participants debate the complexity of the problem, noting that numerical techniques may not apply due to the nature of the equation. The conversation emphasizes the need for a rigorous proof to validate the proposed solution form.
marcusl
Science Advisor
Messages
2,961
Reaction score
669
I have the following equation to solve for the coefficients b:
\sum\limits_{m,n=0}^N b_m b_n^* (x_{mn}+y_{mn}) e^{ ik (ux_{mn} + vy_{mn}) } = 0
which must be satisfied for all u and v in the interval [-1,1]. Here k is a constant, b is a vector of length N with unit norm
||b||^2=1,
and x and y are vectors of constants with
x_{mn}=x_m-x_n \text{ and } y_{mn}=y_m-y_n.
This equation arises in an analysis of plane waves incident on an array of sensors; the question (not homework) is to find weights on the various sensors such that the weighted element voltages sum to create an omni-directional sensitivity power pattern. I am happy to provide the derivation of how the physical system leads to this equation if it would be helpful.

Arguing from physical intuition, the sole solution appears to me that all b_m=0 except for one (call it b_0, it doesn't matter which we choose) that has unity modulus, b_0=e^{i\phi}. This works because x_{00}=y_{00}=0 and is equivalent physically to turning M-1 sensors off and receiving with just a single active sensor. Choosing the arbitray constant as \phi=0 results in
\mathbf{b}\rm=\array{[1&0&&0&...&0]}^T
where, again, the indexing is arbitrary so we can assign the active element to any element in the array.

Can anyone suggest a more rigorous argument?
 
Last edited:
Physics news on Phys.org
Your problem isn't linear in ##\mathbf{b}##.

Things that come to mind are inverting the FFT?
 
I see issues with an FFT. First, x and y don't ncessarily have regular spacing, so this expression is not a DFT. We could take a DFT of both sides, but I don't think that simplifies anything.

As for the title of my post--Oops, obviously the equation is nonlinear. I had started with an earlier version of the problem involving the electric field (rather than power) pattern
\sum\limits_{n=0}^{N-1} b_n e^{ -ik (ux_n + vy_n) } = \alpha e^{i\phi(u,v)}
then failed to notice that the title needed to change. Perhaps this linear form is easier to deal with, but it has a constant \alpha and a function \phi(u,v) that are arbitrary, so I wasn't sure what to do with it.

EDIT: corrected upper limit
 
Last edited:
Well, the linear form is a general problem of the ##A x = b## type where ##x_n = b_n## and ##b = \alpha e^{i\phi(u,v)}## discretely sampled. You could try one of many approaches to linear systems LU or QR or singular value decomposition. Depends of the size of ##N##. How badly do you want a solution?
 
Paul, these are numerical techniques that won't work when your A is a function and b is unspecified. I'm looking for a general demonstration or proof that the solution is of the form b=[1 0 0 ... 0].
 
marcusl said:
I'm looking for a general demonstration or proof that the solution is of the form b=[1 0 0 ... 0].
I'm confused. Aren't there many counter examples given ##\phi## is arbitrary? Proof, assume a solution not of this form. Compute the corresponding ##\phi##?
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 23 ·
Replies
23
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K