Two dimensional Heat equation of a semi infinite strip

[barefeet]

Homework Statement

Consider
$$\frac{\partial u}{\partial t} = k\left( \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} \right) \\ 0<x<L\\ y>0$$
subject to the initial condition
IC: $u(x,y,0) = f(x,y)$

And solve with the following boundary conditions:
BC1: $\quad u(0,y,t) = 0$
BC2: $\quad u(L,y,t) = 0$
BC3: $\quad u(x,0,t) = 0$

Homework Equations

Already stated above:

The Attempt at a Solution

A solution is given as follows:
You can determine the Fourier sine transform in y:
$$\frac{\partial \overline{U}}{\partial t} = k\left( \frac{\partial^2 \overline{U}}{\partial x^2} - \omega^2 \overline{U} \right)$$
Then this eqaution can be solved with Fourier sine series using BC1 and BC2:
$$\overline{U} = \sum_{n=1}^{\infty} A_n sin(\frac{n \pi x}{L})$$
And the previous equation can be used to get an expression for $A_n$:
$$\frac{\partial A_n}{\partial t} = -kA_n[({\frac{n\pi}{L}}^2 + \omega^2] \\ A_n(\omega,t) = A_n(\omega,0) e^{-kt[({\frac{n\pi}{L}}^2 + \omega^2]}$$
With the initial condition IC1 you can get:
$$\overline{U}(x,\omega,0) = F(x,\omega) = \sum_{n=1}^{\infty} A_n(\omega,0) sin(\frac{n \pi x}{L}) \\ A_n(\omega,0) = \frac{2}{L} \int_0^L F(x,\omega) sin(\frac{n \pi x}{L}) dx$$

And now you can use the inverse Fourier sine transform to get $u(x,y,t)$:
$$u(x,y,t) = \int_0^\infty \overline{U}(x,\omega,t) sin(\omega y) d\omega$$
With $\overline{U}(x,\omega,t)$:
$$\overline{U}(x,\omega,t) = \sum_{n=1}^{\infty} A_n(\omega,t) sin(\frac{n \pi x}{L})$$
With $A_n(\omega,t)$:
$$A_n(\omega,t) = A_n(\omega,0) e^{-kt[({\frac{n\pi}{L}}^2 + \omega^2]}$$
With $A_n(\omega,0)$:
$$A_n(\omega,0) = \frac{2}{L} \int_0^L F(x,\omega) sin(\frac{n \pi x}{L}) dx$$
With $F(x,\omega)$:
$$F(x,\omega) = \frac{2}{\pi} \int_0^\infty f(x,y) sin(\omega y) dy$$


I think I understand the solution, but the problem is, I don't see how BC3 comes into play. I now have to do solve the same problem but with these conditions:
IC: $u(x,y,0) = f(x,y)$
BC1: $\quad u(0,y,t) = 0$
BC2: $\quad u(L,y,t) = 0$
BC3: $\quad \frac{\partial u}{\partial y}(x,0,t) = 0$

but in the derivation of the previous problem I only followed how IC1, BC1 and BC2 were used to derive the solution. How does BC3 matter?

 

[haruspex]

I'm no expert on transforms, but I notice that your equation for the inverse is such that if you substitute y=0 on the right the integral will always be zero. It follows that the way $\bar U$ is defined encapsulates the assumption that u(x,0, t) = 0. How is it defined?

 

[barefeet]

Thanks, I just noticed also that the definition of the Fourier sine transform has a boundary term in it:
$$S[\frac{d^2 f}{d x^2}] = \frac{2}{\pi} \omega f(0) - \omega^2 F(\omega)$$
And this of course explains the use of BC3.
In my second case then it would be preferrable to use the Fourier cosine transform defined as:
$$C[\frac{d^2 f}{d x^2}] = -\frac{2}{\pi} \frac{df}{dx}(0) - \omega^2 F(\omega)$$
And the rest would more or less follow just like the first problem

In general, how would you decide what the best approach is to tackle problems like these, whether to use sine or cosine transform and whether in x or y etc.? What BC's would make a certain approach easy? Do the IC's matter? Does the region/domain matter?
Could for example a double Fourier Transform be used in any of these two problems or would you run into practical problems?
Maybe some others who know Fourier Transforms well can shed some light on this as well.

 

[barefeet]

On a side note, I said in the first post that with $\overline{U}(x,\omega,t)$ being:
$$\overline{U}(x,\omega,t) = \sum_{n=1}^\infty A_n(\omega,t) sin(\frac{n\pi}{L}x)$$
you can get a differential equation for $A_n(\omega,t)$:
$$\frac{\partial A_n(\omega,t)}{\partial t} = -k A_n [ (\frac{n \pi}{L})^2 +\omega^2 ]$$
But how do you get from the sum:
$$\sum_{n=1}^\infty \frac{\partial A_n(\omega,t)}{\partial t} = \sum_{n=1}^\infty -k A_n [ (\frac{n \pi}{L})^2 +\omega^2 ]$$
to a term by term equation? I know it should be correct, but I forgot the proper way to prove that.

 

[barefeet]

Never mind the last post, I just realized you have to use the orthogonality of the sine functions.
But I haven't figured out a method for my general question:

In general, how would you decide what the best approach is to tackle problems like these, whether to use sine or cosine transform and whether in x or y etc.? What BC's would make a certain approach easy? Do the IC's matter? Does the region/domain matter?
Could for example a double Fourier Transform be used in any of these two problems or would you run into practical problems?